Disjunctive logic programming: A survey and assessment
From MaRDI portal
Recommendations
Cited in
(22)- Semantics and expressiveness of disjunctive ordered logic
- The Fusemate logic programming system
- Disjunctive logic programs, answer sets, and the cut rule
- DiMo -- discrete modelling using propositional logic
- Disjunctive logic programming with types and objects: the \(\mathrm{DLV}^{+}\) system
- Complexity results for answer set programming with bounded predicate arities and implications
- scientific article; zbMATH DE number 2089454 (Why is no real title available?)
- scientific article; zbMATH DE number 5079838 (Why is no real title available?)
- Disjunctive logic programming and autoepistemic logic
- scientific article; zbMATH DE number 1267566 (Why is no real title available?)
- Computing answers for disjunctive logic programs
- A comparative study of well-founded semantics for disjunctive logic programs
- On logic programming interpretations of Dislog: Programming long-distance dependencies in logic
- Comparisons and computation of well-founded semantics for disjunctive logic programs
- Logic Programming and Nonmonotonic Reasoning
- scientific article; zbMATH DE number 5043340 (Why is no real title available?)
- A backjumping technique for disjunctive logic programming
- On measuring inconsistency in definite and indefinite databases with denial constraints
- On combining ontologies and rules
- Non-deterministic approximation fixpoint theory and its application in disjunctive logic programming
- Reasoning under minimal upper bounds in propositional logic
- Disjunctive databases for representing repairs
This page was built for publication: Disjunctive logic programming: A survey and assessment
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4707748)
