Possibilistic nested logic programs and strong equivalence (Q2344722): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ijar.2015.01.004
+Normal rank
@@ Property / OpenAlex ID @@
+W1964021485
@@ Property / OpenAlex ID: W1964021485 / rank @@
+Normal rank
@@ Property / cites work @@
+A logic programming framework for possibilistic argumentation: Formalization and logical properties
+Normal rank
@@ Property / cites work @@
+Answer sets for consistent query answering in inconsistent databases
+Normal rank
@@ Property / cites work @@
+Knowledge Representation, Reasoning and Declarative Problem Solving
+Normal rank
@@ Property / cites work @@
+Probabilistic reasoning with answer sets
@@ Property / cites work: Probabilistic reasoning with answer sets / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizing and extending answer set semantics using possibility theory
+Normal rank
@@ Property / cites work @@
+Semantics for possibilistic answer set programs: uncertain rules versus rules with uncertain conclusions
+Normal rank
@@ Property / cites work @@
+Logic Programming and Nonmonotonic Reasoning
@@ Property / cites work: Logic Programming and Nonmonotonic Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q2892660
@@ Property / cites work: Q2892660 / rank @@
+Normal rank
@@ Property / cites work @@
+Dealing with explicit preferences and uncertainty in answer set programming
+Normal rank
@@ Property / cites work @@
+Using possibilistic logic for modeling qualitative decision: answer set programming algorithms
+Normal rank
@@ Property / cites work @@
+Q4296748
@@ Property / cites work: Q4296748 / rank @@
+Normal rank
@@ Property / cites work @@
+On the computational cost of disjunctive logic programming: Propositional case
+Normal rank
@@ Property / cites work @@
+Bilattices and the semantics of logic programming
@@ Property / cites work: Bilattices and the semantics of logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q3983043
@@ Property / cites work: Q3983043 / rank @@
+Normal rank
@@ Property / cites work @@
+Database Preferences Queries – A Possibilistic Logic Approach with Symbolic Priorities
+Normal rank
@@ Property / cites work @@
+Q4798001
@@ Property / cites work: Q4798001 / rank @@
+Normal rank
@@ Property / cites work @@
+A core language for fuzzy answer set programming
@@ Property / cites work: A core language for fuzzy answer set programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4514010
@@ Property / cites work: Q4514010 / rank @@
+Normal rank
@@ Property / cites work @@
+Strongly equivalent logic programs
@@ Property / cites work: Strongly equivalent logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Nested expressions in logic programs
@@ Property / cites work: Nested expressions in logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatizable logical foundation for lattice-ordered qualitative linguistic approach for reasoning with words
+Normal rank
@@ Property / cites work @@
+Possibilistic uncertainty handling for answer set programming
+Normal rank
@@ Property / cites work @@
+Q5398065
@@ Property / cites work: Q5398065 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics for Possibilistic Disjunctive Programs
@@ Property / cites work: Semantics for Possibilistic Disjunctive Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Applications of intuitionistic logic in Answer Set Programming
+Normal rank
@@ Property / cites work @@
+Stable inference as intuitionistic validity
@@ Property / cites work: Stable inference as intuitionistic validity / rank @@
+Normal rank
@@ Property / cites work @@
+Q4812975
@@ Property / cites work: Q4812975 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming and Nonmonotonic Reasoning
@@ Property / cites work: Logic Programming and Nonmonotonic Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Strong equivalence made easy: nested expressions and weight constraints
+Normal rank
@@ Property / cites work @@
+Logic and structure.
@@ Property / cites work: Logic and structure. / rank @@
+Normal rank
@@ Property / cites work @@
+An introduction to fuzzy answer set programming
@@ Property / cites work: An introduction to fuzzy answer set programming / rank @@
+Normal rank