Pages that link to "Item:Q5424885"
From MaRDI portal
The following pages link to Logic Programming and Nonmonotonic Reasoning (Q5424885):
Displaying 7 items.
- GNT (Q13127) (← links)
- Enhancing disjunctive logic programming systems by SAT checkers (Q814529) (← links)
- Answer set programming based on propositional satisfiability (Q861709) (← links)
- Disjunctive logic programming with types and objects: the \(\mathrm{DLV}^{+}\) system (Q2372203) (← links)
- Logic Programming and Nonmonotonic Reasoning (Q5424868) (← links)
- Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There (Q5504650) (← links)
- Normal Form Nested Programs (Q5900402) (← links)