Possibilistic nested logic programs and strong equivalence
From MaRDI portal
Publication:2344722
DOI10.1016/j.ijar.2015.01.004zbMath1311.68154MaRDI 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
92C50: Medical applications (general)
68T37: Reasoning under uncertainty in the context of artificial intelligence
68N17: Logic programming
Related Items
Cites Work
- 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.
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
