GNT
From MaRDI portal
swMATH367MaRDI QIDQ13127FDOQ13127
Author name not available (Why is that?)
Official website: http://www.tcs.hut.fi/Software/gnt/
Cited In (24)
- 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?)
- 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
- Disjunctive logic programming with types and objects: the \(\mathrm{DLV}^{+}\) system
- Hermann Minkowski's approach to physics
- A general framework for equivalences in answer-set programming by countermodels in the logic of here-and-there
- Towards logic programs with ordered and unordered disjunction
- Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There
- Logic Programming and Nonmonotonic Reasoning
- Cmodels
- Smodels
- NoMoRe
- Turner's logic of universal causation, propositional logic, and logic programming
- DLPEQ
- lpeq
- Logic Programming and Nonmonotonic Reasoning
- Testing and debugging techniques for answer set solver development
- Efficient parallel ASP instantiation via dynamic rewriting
This page was built for software: GNT
