GNT
From MaRDI portal
Software:13127
No author found.
Related Items
Look-back Techniques for ASP Programs with Aggregates ⋮ Disjunctive logic programming with types and objects: the \(\mathrm{DLV}^{+}\) system ⋮ Answer set programming based on propositional satisfiability ⋮ Logic Programming and Nonmonotonic Reasoning ⋮ Logic Programming and Nonmonotonic Reasoning ⋮ Logic Programming and Nonmonotonic Reasoning ⋮ Experimenting with parallelism for the instantiation of ASP programs ⋮ Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A general framework for equivalences in Answer-Set Programming by countermodels in the logic of Here-and-There ⋮ Experimenting with Look-Back Heuristics for Hard ASP Programs ⋮ Testing and debugging techniques for answer set solver development ⋮ Hermann Minkowski's approach to physics ⋮ Normal Form Nested Programs ⋮ An astrolabe of the year 1420 ⋮ Turner’s Logic of Universal Causation, Propositional Logic, and Logic Programming ⋮ Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There
This page was built for software: GNT
