scientific article; zbMATH DE number 1926616
From MaRDI portal
Publication:4707748
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?)
- scientific article; zbMATH DE number 1222411 (Why is no real title available?)
- scientific article; zbMATH DE number 1267566 (Why is no real title available?)
- scientific article; zbMATH DE number 1292288 (Why is no real title available?)
- scientific article; zbMATH DE number 1884387 (Why is no real title available?)
- 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:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4707748)
