Using possibilistic logic for modeling qualitative decision: answer set programming algorithms

DOI10.1016/j.ijar.2013.11.002zbMath1316.68173OpenAlexW2043671500MaRDI QIDQ2353982

Roberto Confalonieri, Henri Prade

Publication date: 10 July 2015

Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ijar.2013.11.002

zbMATH Keywords

answer set programmingpossibilistic answer set programmingqualitative decision under uncertainty

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37) Logic programming (68N17)

Related Items (4)

Upward refinement operators for conceptual blending in the description logic \(\mathcal{EL}^{++}\) ⋮ A computational framework for conceptual blending ⋮ Possibilistic nested logic programs and strong equivalence ⋮ The possibilistic Horn non-clausal knowledge bases

Uses Software

• Smodels
• ASPIDE

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Possibilistic logic: a retrospective and prospective view
• Qualitative choice logic
• Using arguments for making and explaining decisions
• Possibilistic uncertainty handling for answer set programming
• Abduction from logic programs: Semantics and complexity
• Extending and implementing the stable model semantics
• On the computational cost of disjunctive logic programming: Propositional case
• Dealing with explicit preferences and uncertainty in answer set programming
• Answer sets and qualitative decision making
• Argumentation and Answer Set Programming
• Answer Set Programming for Computing Decisions Under Uncertainty
• Handling Exceptions in Logic Programming without Negation as Failure
• Encoding Preference Queries to an Uncertain Database in Possibilistic Answer Set Programming
• Answer Sets and Qualitative Optimization
• Dealing Automatically with Exceptions by Introducing Specificity in ASP
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Abductive logic programs with penalization: semantics, complexity and implementation
• The DLV system for knowledge representation and reasoning
• Abductive Logic Programming
• ANSWER SET PROGRAMMING AND COMBINATORIAL MULTICRITERIA DECISION MAKING
• Artificial Intelligence: Methodology, Systems, and Applications
• Decision-theoretic foundations of qualitative possibility theory

This page was built for publication: Using possibilistic logic for modeling qualitative decision: answer set programming algorithms