Towards logic programs with ordered and unordered disjunction
From MaRDI portal
Recommendations
Cited in
(16)- Dealing with explicit preferences and uncertainty in answer set programming
- Answer sets and qualitative decision making
- scientific article; zbMATH DE number 1629815 (Why is no real title available?)
- Nested preferences in answer set programming
- A logical characterisation of ordered disjunction
- scientific article; zbMATH DE number 1738693 (Why is no real title available?)
- Translating LPOD and CR-\(\mathrm{Prolog}_2\) into standard answer set programs
- scientific article; zbMATH DE number 1931680 (Why is no real title available?)
- A logical characterization of the preferred models of logic programs with ordered disjunction
- Strong Equivalence of Logic Programs with Ordered Disjunction: A Logical Perspective
- On logic programming interpretations of Dislog: Programming long-distance dependencies in logic
- Logic Programming
- Logic Programming and Nonmonotonic Reasoning
- Aggregates and Preferences in Logic Programming
- scientific article; zbMATH DE number 5043325 (Why is no real title available?)
- Theory and Applications of Models of Computation
This page was built for publication: Towards logic programs with ordered and unordered disjunction
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3100239)