Possibilistic uncertainty handling for answer set programming

DOI10.1007/S10472-006-9029-YzbMATH Open1105.68104OpenAlexW2040340501MaRDI QIDQ854974FDOQ854974

Authors: Pascal Nicolas, Laurent Garcia, Igor Stéphan, Claire Lefèvre 

Publication date: 20 December 2006

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10472-006-9029-y

Recommendations

• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• Semantics for possibilistic answer set programs: uncertain rules versus rules with uncertain conclusions
• Semantics for Possibilistic Disjunctive Programs
• Characterizing and extending answer set semantics using possibility theory
• Dealing with explicit preferences and uncertainty in answer set programming

zbMATH Keywords

uncertaintyanswer set programmingnonmonotonic reasoninglogic programmingpossibility theory

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• The nomore + + Approach to Answer Set Solving
• Fuzzy sets as a basis for a theory of possibility
• Title not available (Why is that?)
• Nonmonotonic reasoning, preferential models and cumulative logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• The DLV system for knowledge representation and reasoning
• Possibility theory, probability theory and multiple-valued logics: a clarification
• Logic programs with stable model semantics as a constraint programming paradigm
• Autoepistemic logic
• Title not available (Why is that?)
• A logic for default reasoning
• Title not available (Why is that?)
• Linear-time algorithms for testing the satisfiability of propositional horn formulae
• Logic programming and knowledge representation
• Weak nonmonotonic probabilistic logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Logic Programming and Nonmonotonic Reasoning
• Annotated nonmonotonic rule systems
• Preferred answer sets for extended logic programs
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• Logic Programming and Nonmonotonic Reasoning
• Logic Programming
• General logical databases and programs: Default logic semantics and stratification
• Graded hypothesis theories
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Hierarchical constraint logic programming
• Logic Programming

Cited In (24)

• The possibilistic Horn non-clausal knowledge bases
• Possibilistic nested logic programs and strong equivalence
• Semantics for possibilistic answer set programs: uncertain rules versus rules with uncertain conclusions
• Reasoning and learning in the setting of possibility theory -- overview and perspectives
• Characterizing and extending answer set semantics using possibility theory
• Reducing fuzzy answer set programming to model finding in fuzzy logics
• Logic programming
• A core language for fuzzy answer set programming
• Title not available (Why is that?)
• Aggregated fuzzy answer set programming
• Answer set programming for computing decisions under uncertainty
• Dealing with explicit preferences and uncertainty in answer set programming
• Using possibilistic logic for modeling qualitative decision: answer set programming algorithms
• Handling uncertainty and defeasibility in a possibilistic logic setting
• Fuzzy autoepistemic logic and its relation to fuzzy answer set programming
• An introduction to fuzzy answer set programming
• The PITA system: tabling and answer subsumption for reasoning under uncertainty
• Semantics for possibilistic disjunctive programs
• Semantics for Possibilistic Disjunctive Programs
• Dealing Automatically with Exceptions by Introducing Specificity in ASP
• Possibilistic nested logic programs
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• Repairing inconsistent answer set programs using rules of thumb: a gene regulatory networks case study
• Logic Programming

Uses Software

• Cmodels
• Smodels

This page was built for publication: Possibilistic uncertainty handling for answer set programming

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