Closed world assumption for disjunctive reasoning (Q5959358): Difference between revisions

@@ Property / cites work @@
+Q3939270
@@ Property / cites work: Q3939270 / rank @@
+Normal rank
@@ Property / cites work @@
+Argumentation-based abduction in disjunctive logic programming
+Normal rank
@@ Property / cites work @@
+Semantics of (disjunctive) logic programs based on partial evaluation
+Normal rank
@@ Property / cites work @@
+Q4016556
@@ Property / cites work: Q4016556 / rank @@
+Normal rank
@@ Property / cites work @@
+Static semantics for normal and disjunctive logic programs
+Normal rank
@@ Property / cites work @@
+An extension to linear resolution with selection function
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+An abductive approach to disjunctive logic programming
+Normal rank
@@ Property / cites work @@
+On the computational cost of disjunctive logic programming: Propositional case
+Normal rank
@@ Property / cites work @@
+Propositional circumscription and extended closed-world reasoning are \(\Pi_ 2^ P\)-complete
+Normal rank
@@ Property / cites work @@
+Q3983045
@@ Property / cites work: Q3983045 / rank @@
+Normal rank