A selective semantics for logic programs with preferences

DOI10.1007/978-3-642-33353-8_17MaRDI QIDQ2915073zbMATH OpenOpenAlexFDO

Authors Alfredo Gabaldon

Publication date 21 September 2012

Published in Logics in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-33353-8_17

Mathematics Subject Classification ID

Logic programming (68N17) Semantics in the theory of computing (68Q55)

Recommendations

• Preferred answer sets for extended logic programs
• On the semantics of logic programs with preferences
• On the Semantics of Logic Programs with Preferences
• Preferred first-order answer set programs
• A semantic framework for preference handling in answer set programming

Cites work

• scientific article; zbMATH DE number 1696794 (Why is no real title available?)
• scientific article; zbMATH DE number 25190 (Why is no real title available?)
• scientific article; zbMATH DE number 1222413 (Why is no real title available?)
• scientific article; zbMATH DE number 741348 (Why is no real title available?)
• scientific article; zbMATH DE number 1761422 (Why is no real title available?)
• scientific article; zbMATH DE number 1931648 (Why is no real title available?)
• scientific article; zbMATH DE number 1407674 (Why is no real title available?)
• Knowledge Representation, Reasoning and Declarative Problem Solving
• On the correctness of unfold/fold transformation of normal and extended logic programs
• On the existence of stable models of non-stratified logic programs
• Preferred answer sets for extended logic programs
• Prioritized logic programming and its application to commonsense reasoning
• Semantics of (disjunctive) logic programs based on partial evaluation

Cited in

(12)

• A semantic framework for preference handling in answer set programming
• Computing preferred answer sets by meta-interpretation in Answer Set Programming
• On the semantics of logic programs with preferences
• Preferred first-order answer set programs
• A Preference-Based Semantics for CTD Reasoning
• Two alternatives for handling preferences in qualitative choice logic
• Preference logic grammars
• Sequence Semantics for Modelling Reason-based Preferences
• The choice-preferred semantics for relevance-oriented acceptance of admissible sets of arguments
• Logic programming with solution preferences
• Parameterized ceteris paribus preferences over atomic conjunctions under conservative semantics
• Accepting the natural order of rules in a logic program with preferences

This page was built for publication: A selective semantics for logic programs with preferences

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