Nested preferences in answer set programming

MaRDI QIDQ2892660zbMATH OpenFDO

Authors Roberto Confalonieri, Juan Carlos Nieves

Publication date 19 June 2012

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL http://iospress.metapress.com/content/809238858n527453/fulltext.html

zbMATH Keywords

answer set programmingpreference handlingnested preferences

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Towards logic programs with ordered and unordered disjunction
• Answer sets and qualitative decision making
• A framework for compiling preferences in logic programs
• A logical characterization of the preferred models of logic programs with ordered disjunction
• Nested expressions in logic programs

Cited in

(10)

• The possibilistic Horn non-clausal knowledge bases
• Possibilistic nested logic programs and strong equivalence
• Answer sets and qualitative decision making
• A computational framework for conceptual blending
• Upward refinement operators for conceptual blending in the description logic \(\mathcal{EL}^{++}\)
• A logical characterisation of ordered disjunction
• Towards logic programs with ordered and unordered disjunction
• Dealing with explicit preferences and uncertainty in answer set programming
• A logical characterization of the preferred models of logic programs with ordered disjunction
• Choice logics and their computational properties

Describes a project that uses

Uses Software

• CP-nets

This page was built for publication: Nested preferences in answer set programming

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