Modular Paracoherent Answer Sets (Q2938513): Difference between revisions

@@ Property / cites work @@
+Propositional semantics for disjunctive logic programs
+Normal rank
@@ Property / cites work @@
+Paraconsistent logic programming
@@ Property / cites work: Paraconsistent logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Modular Nonmonotonic Logic Programming Revisited
@@ Property / cites work: Modular Nonmonotonic Logic Programming Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+On the computational cost of disjunctive logic programming: Propositional case
+Normal rank
@@ Property / cites work @@
+On the partial semantics for disjunctive deductive databases
+Normal rank
@@ Property / cites work @@
+Magic Sets and their application to data integration
+Normal rank
@@ Property / cites work @@
+Q3983043
@@ Property / cites work: Q3983043 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning with inconsistencies in hybrid MKNF knowledge bases
+Normal rank
@@ Property / cites work @@
+Modularity Aspects of Disjunctive Stable Models
@@ Property / cites work: Modularity Aspects of Disjunctive Stable Models / rank @@
+Normal rank
@@ Property / cites work @@
+Q3477931
@@ Property / cites work: Q3477931 / 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 @@
+Logical Weak Completions of Paraconsistent Logics
@@ Property / cites work: Logical Weak Completions of Paraconsistent Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Equilibrium logic
@@ Property / cites work: Equilibrium logic / rank @@
+Normal rank
@@ Property / cites work @@
+Quantified Equilibrium Logic and Foundations for Answer Set Programs
+Normal rank
@@ Property / cites work @@
+Approved Models for Normal Logic Programs
@@ Property / cites work: Approved Models for Normal Logic Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3983045
@@ Property / cites work: Q3983045 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3348437
@@ Property / cites work: Q3348437 / rank @@
+Normal rank
@@ Property / cites work @@
+Paraconsistent Stable Semantics for Extended Disjunctive Programs
+Normal rank
@@ Property / cites work @@
+Depth-First Search and Linear Graph Algorithms
@@ Property / cites work: Depth-First Search and Linear Graph Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+The well-founded semantics for general logic programs
+Normal rank
@@ Property / cites work @@
+A three-valued semantics for deductive databases and logic programs
+Normal rank