The following pages link to (Q4375823):
Displaying 8 items.
- Enhancing disjunctive logic programming systems by SAT checkers (Q814529) (← links)
- Disjunctive \(LP+\) integrity constraints = stable model semantics. (Q1353944) (← links)
- Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation (Q1363783) (← links)
- On the computational cost of disjunctive logic programming: Propositional case (Q1924780) (← links)
- DiMo -- discrete modelling using propositional logic (Q2118304) (← links)
- Expressiveness of stable model semantics for disjunctive logic programs with functions (Q4371993) (← links)
- Stable classes and operator pairs for disjunctive programs (Q5101462) (← links)
- Logic Programming and Nonmonotonic Reasoning (Q5424876) (← links)