A logical characterisation of ordered disjunction

MaRDI QIDQ3011299zbMATH OpenFDO

Authors Pedro Cabalar

Publication date 28 June 2011

Full work available at URL https://arxiv.org/abs/1011.4833, http://iospress.metapress.com/content/nt6644605u474778/fulltext.html

zbMATH Keywords

answer set programmingequilibrium logiclogic programs with ordered disjunctionpreferences

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

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

Cited in

(7)

• Towards logic programs with ordered and unordered disjunction
• scientific article; zbMATH DE number 500947 (Why is no real title available?)
• Translating LPOD and CR-\(\mathrm{Prolog}_2\) into standard answer set programs
• A logical characterization of the preferred models of logic programs with ordered disjunction
• Strong Equivalence of Logic Programs with Ordered Disjunction: A Logical Perspective
• Explaining preferences and preferring explanations
• scientific article; zbMATH DE number 5039823 (Why is no real title available?)

This page was built for publication: A logical characterisation of ordered disjunction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3011299)