Possibilistic nested logic programs and strong equivalence

DOI10.1016/j.ijar.2015.01.004zbMath1311.68154OpenAlexW1964021485MaRDI QIDQ2344722

Helena Lindgren, Juan Carlos Nieves

Publication date: 18 May 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.2015.01.004

zbMATH Keywords

uncertain informationanswer set programmingpossibilistic reasoning

Mathematics Subject Classification ID

Medical applications (general) (92C50) Reasoning under uncertainty in the context of artificial intelligence (68T37) Logic programming (68N17)

Related Items (1)

The possibilistic Horn non-clausal knowledge bases

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A core language for fuzzy answer set programming
• A logic programming framework for possibilistic argumentation: Formalization and logical properties
• Possibilistic uncertainty handling for answer set programming
• An axiomatizable logical foundation for lattice-ordered qualitative linguistic approach for reasoning with words
• On the computational cost of disjunctive logic programming: Propositional case
• Dealing with explicit preferences and uncertainty in answer set programming
• Nested expressions in logic programs
• Using possibilistic logic for modeling qualitative decision: answer set programming algorithms
• Semantics for possibilistic answer set programs: uncertain rules versus rules with uncertain conclusions
• An introduction to fuzzy answer set programming
• Semantics for Possibilistic Disjunctive Programs
• Probabilistic reasoning with answer sets
• Bilattices and the semantics of logic programming
• Stable inference as intuitionistic validity
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Characterizing and extending answer set semantics using possibility theory
• Applications of intuitionistic logic in Answer Set Programming
• Answer sets for consistent query answering in inconsistent databases
• Strong equivalence made easy: nested expressions and weight constraints
• Logic Programming and Nonmonotonic Reasoning
• Logic Programming and Nonmonotonic Reasoning
• Database Preferences Queries – A Possibilistic Logic Approach with Symbolic Priorities
• Strongly equivalent logic programs
• Logic and structure.

This page was built for publication: Possibilistic nested logic programs and strong equivalence