Cited in
(27)- Towards logic programs with ordered and unordered disjunction
- Logic Programming and Nonmonotonic Reasoning
- Efficient parallel ASP instantiation via dynamic rewriting
- Disjunctive logic programming with types and objects: the \(\mathrm{DLV}^{+}\) system
- Normal Form Nested Programs
- Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There
- Logic Programming and Nonmonotonic Reasoning
- Answer set programming based on propositional satisfiability
- Look-back techniques for ASP programs with aggregates
- Experimenting with parallelism for the instantiation of ASP programs
- ASPeRiX
- PLATYPUS
- ASSAT
- Cmodels
- Smodels
- NoMoRe
- Hermann Minkowski's approach to physics
- DLPEQ
- lpeq
- Logic Programming and Nonmonotonic Reasoning
- Testing and debugging techniques for answer set solver development
- Experimenting with Look-Back Heuristics for Hard ASP Programs
- A general framework for equivalences in answer-set programming by countermodels in the logic of here-and-there
- Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers
- scientific article; zbMATH DE number 5079838 (Why is no real title available?)
- Turner's logic of universal causation, propositional logic, and logic programming
- An astrolabe of the year 1420
This page was built for software: GNT
