Towards logic programs with ordered and unordered disjunction

zbMATH Open1226.68019MaRDI QIDQ3100239FDOQ3100239

Nuno P. Lopes, Philipp Kärger, Axel Polleres, Daniel Olmedilla

Publication date: 23 November 2011

Full work available at URL: https://www.mat.unical.it/ASPOCP08/

Recommendations

• A logical characterization of the preferred models of logic programs with ordered disjunction
• A logical characterisation of ordered disjunction
• scientific article; zbMATH DE number 1931680
• Nested preferences in answer set programming
• Answer sets and qualitative decision making

zbMATH Keywords

preferenceslogic programmingdisjunctive logic programs with ordered disjunction (DLPOD)principle of ordered disjunction

Mathematics Subject Classification ID

Logic programming (68N17)

Cited In (11)

• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• A Logical Characterization of the Preferred Models of Logic Programs with Ordered Disjunction
• Title not available (Why is that?)
• Dealing with explicit preferences and uncertainty in answer set programming
• Strong Equivalence of Logic Programs with Ordered Disjunction: A Logical Perspective
• Title not available (Why is that?)

Uses Software

• GNT
• Smodels

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)