Towards logic programs with ordered and unordered disjunction
From MaRDI portal
Publication:3100239
Recommendations
Cited in
(16)- scientific article; zbMATH DE number 1738693 (Why is no real title available?)
- On logic programming interpretations of Dislog: Programming long-distance dependencies in logic
- Logic Programming
- Logic Programming and Nonmonotonic Reasoning
- Answer sets and qualitative decision making
- Translating LPOD and CR-\(\mathrm{Prolog}_2\) into standard answer set programs
- Aggregates and Preferences in Logic Programming
- scientific article; zbMATH DE number 5043325 (Why is no real title available?)
- scientific article; zbMATH DE number 1629815 (Why is no real title available?)
- A logical characterisation of ordered disjunction
- Theory and Applications of Models of Computation
- Dealing with explicit preferences and uncertainty in answer set programming
- Nested preferences in answer set programming
- Strong Equivalence of Logic Programs with Ordered Disjunction: A Logical Perspective
- 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
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)
