GNT
From MaRDI portal
Software:13127
swMATH367MaRDI QIDQ13127FDOQ13127
Author name not available (Why is that?)
Cited In (19)
- Look-back techniques for ASP programs with aggregates
- Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers
- Title not available (Why is that?)
- Title not available (Why is that?)
- Experimenting with Look-Back Heuristics for Hard ASP Programs
- Logic Programming and Nonmonotonic Reasoning
- Normal Form Nested Programs
- Experimenting with parallelism for the instantiation of ASP programs
- An astrolabe of the year 1420
- Answer set programming based on propositional satisfiability
- Turner’s Logic of Universal Causation, Propositional Logic, and Logic Programming
- Disjunctive logic programming with types and objects: the \(\mathrm{DLV}^{+}\) system
- Hermann Minkowski's approach to physics
- Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There
- Logic Programming and Nonmonotonic Reasoning
- Title not available (Why is that?)
- Logic Programming and Nonmonotonic Reasoning
- A general framework for equivalences in Answer-Set Programming by countermodels in the logic of Here-and-There
- Testing and debugging techniques for answer set solver development
This page was built for software: GNT
