Gringo
From MaRDI portal
Cited in
(only showing first 100 items - show all)- ASPeRiX
- GNT
- sCASP
- PLATYPUS
- C-SPARQL
- NP-SPEC
- ASSAT
- LUPS
- Best-effort inductive logic programming via fine-grained cost-based hypothesis generation. The Inspire system at the inductive logic programming competition
- Cmodels
- Smodels
- Lparse
- DLV
- DLV-EX
- What is answer set programming to propositional satisfiability
- RPOLY
- Reactive multi-context systems: heterogeneous reasoning in dynamic environments
- Conflict-driven answer set solving: from theory to practice
- Magic sets for disjunctive Datalog programs
- DELORES
- ASPIDE
- Prolog
- wamcc
- B-Prolog
- Potassco
- plasp
- NoMoRe
- clasp
- GASP
- CCGbank
- PhyloWS
- Terminyzer
- DualGrounder: lazy instantiation via clingo multi-shot framework
- Inductive learning of answer set programs for autonomous surgical task planning. Application to a training task for surgeons
- oClingo
- Towards an answer set programming methodology for constructing programs following a semi-automatic approach -- extended and revised version
- WASP
- STeLP
- dynASP
- Clingcon
- Clingo
- D-FLAT
- AspCcgTk
- Cplus2ASP
- BWare
- Commonsense visual sensemaking for autonomous driving -- on generalised neurosymbolic online abduction integrating vision and semantics
- New models for generating hard random Boolean formulas and disjunctive logic programs
- A parallel memory-efficient epistemic logic program solver: harder, better, faster
- Vicious circle principle, aggregates, and formation of sets in ASP based languages
- Verifying strong equivalence of programs in the input language of \textsc{gringo}
- The return of \textit{xorro}
- iClingo
- Backdoors to tractable answer set programming
- claspfolio 2
- Infinitary equilibrium logic and strongly equivalent logic programs
- Complexity results for answer set programming with bounded predicate arities and implications
- Enhancing DLV instantiator by backjumping techniques
- ASPMT2SMT
- ROSoClingo
- OOASP
- Domain expansion for ASP-programs with external sources
- XSB
- Automated reasoning with restricted intensional sets
- Arguing correctness of ASP programs with aggregates
- Semantics for conditional literals via the SM operator
- A machine learning system to improve the performance of ASP solving based on encoding selection
- Writing declarative specifications for clauses
- Symbolic system synthesis using answer set programming
- Accurate computation of sensitizable paths using answer set programming
- Extending the metabolic network of Ectocarpus siliculosus using answer set programming
- Flexible combinatory categorial grammar parsing using the CYK algorithm and answer set programming
- Constraint answer set programming systems
- BEE
- Reformulating the situation calculus and the event calculus in the general theory of stable models and in answer set programming
- Look-back techniques for ASP programs with aggregates
- The intelligent grounder of DLV
- Toward Question Answering in Travel Domains
- Parsing Combinatory Categorial Grammar via Planning in Answer Set Programming
- Multi-criteria optimization in answer set programming
- The D-FLAT system for dynamic programming on tree decompositions
- Tableau calculi for logic programs under answer set semantics
- Terminating evaluation of logic programs with finite three-valued models
- Detecting inconsistencies in large biological networks with answer set programming
- scientific article; zbMATH DE number 5914356 (Why is no real title available?)
- Dynamic magic sets and super-coherent answer set programs
- Speed-up techniques for negation in grounding
- aspcud
- Integrating grounding in the search process for answer set computing
- Datalog
- htd
- nomore++
- Harvey
- Lpopt
- The Significance of Memory Costs in Answer Set Solver Implementation
- IDP3
- Pathway Commons
- IDP
- GidL
- A decidable subclass of finitary programs
- Disjunctive ASP with functions: decidable queries and effective computation
This page was built for software: Gringo
