A Selective Semantics for Logic Programs with Preferences

DOI10.1007/978-3-642-33353-8_17zbMath1361.68032OpenAlexW31976332MaRDI QIDQ2915073

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

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

Cites Work

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

This page was built for publication: A Selective Semantics for Logic Programs with Preferences