The following pages link to GNT (Q13127):
Displaying 19 items.
- Answer set programming based on propositional satisfiability (Q861709) (← links)
- Hermann Minkowski's approach to physics (Q1018002) (← links)
- An astrolabe of the year 1420 (Q1279522) (← links)
- Disjunctive logic programming with types and objects: the \(\mathrm{DLV}^{+}\) system (Q2372203) (← links)
- Turner’s Logic of Universal Causation, Propositional Logic, and Logic Programming (Q2851270) (← links)
- Look-back techniques for ASP programs with aggregates (Q2895770) (← links)
- A general framework for equivalences in Answer-Set Programming by countermodels in the logic of Here-and-There (Q3008405) (← links)
- (Q3100235) (← links)
- (Q3100239) (← links)
- (Q3413498) (← links)
- Experimenting with parallelism for the instantiation of ASP programs (Q3527693) (← links)
- Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers (Q3527695) (← links)
- Testing and debugging techniques for answer set solver development (Q3585183) (← links)
- Logic Programming and Nonmonotonic Reasoning (Q5424873) (← links)
- Logic Programming and Nonmonotonic Reasoning (Q5424886) (← links)
- Logic Programming and Nonmonotonic Reasoning (Q5424892) (← links)
- Experimenting with Look-Back Heuristics for Hard ASP Programs (Q5425402) (← links)
- Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There (Q5504650) (← links)
- Normal Form Nested Programs (Q5900402) (← links)
