A selective semantics for logic programs with preferences

DOI10.1007/978-3-642-33353-8_17zbMATH Open1361.68032OpenAlexW31976332MaRDI QIDQ2915073FDOQ2915073

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

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

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Title not available (Why is that?)
• Title not available (Why is that?)
• Prioritized logic programming and its application to commonsense reasoning
• Preferred answer sets for extended logic programs
• On the correctness of unfold/fold transformation of normal and extended logic programs
• Title not available (Why is that?)
• Title not available (Why is that?)
• Semantics of (disjunctive) logic programs based on partial evaluation
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the existence of stable models of non-stratified logic programs

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)