On the computational cost of disjunctive logic programming: Propositional case (Q1924780): Difference between revisions

@@ Property / cites work @@
+Generalized disjunctive well-founded semantics for logic programs.
+Normal rank
@@ Property / cites work @@
+Propositional semantics for disjunctive logic programs
+Normal rank
@@ Property / cites work @@
+General logical databases and programs: Default logic semantics and stratification
+Normal rank
@@ Property / cites work @@
+Negation by default and unstratifiable logic programs
+Normal rank
@@ Property / cites work @@
+Q4318639
@@ Property / cites work: Q4318639 / rank @@
+Normal rank
@@ Property / cites work @@
+The expressiveness of locally stratified programs
@@ Property / cites work: The expressiveness of locally stratified programs / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of model checking for circumscriptive formulae
+Normal rank
@@ Property / cites work @@
+The complexity of propositional closed world reasoning and circumscription
+Normal rank
@@ Property / cites work @@
+A survey of complexity results for non-monotonic logics
+Normal rank
@@ Property / cites work @@
+Horn clause queries and generalizations
@@ Property / cites work: Horn clause queries and generalizations / rank @@
+Normal rank
@@ Property / cites work @@
+Q3971264
@@ Property / cites work: Q3971264 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized closed world assumption is \(\Pi ^ 0_ 2\)-complete
+Normal rank
@@ Property / cites work @@
+Q4022222
@@ Property / cites work: Q4022222 / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional circumscription and extended closed-world reasoning are \(\Pi_ 2^ P\)-complete
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3983043
@@ Property / cites work: Q3983043 / rank @@
+Normal rank
@@ Property / cites work @@
+Negation as failure: careful closure procedure
@@ Property / cites work: Negation as failure: careful closure procedure / rank @@
+Normal rank
@@ Property / cites work @@
+On the relationship between circumscription and negation as failure
+Normal rank
@@ Property / cites work @@
+Complexity Results for Nonmonotonic Logics
@@ Property / cites work: Complexity Results for Nonmonotonic Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385525
@@ Property / cites work: Q4385525 / rank @@
+Normal rank
@@ Property / cites work @@
+Hard problems for simple default logics
@@ Property / cites work: Hard problems for simple default logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4016556
@@ Property / cites work: Q4016556 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of nonmonotonic rule systems. II
@@ Property / cites work: A theory of nonmonotonic rule systems. II / rank @@
+Normal rank
@@ Property / cites work @@
+How complicated is the set of stable models of a recursive logic program?
+Normal rank
@@ Property / cites work @@
+Autoepistemic logic
@@ Property / cites work: Autoepistemic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Circumscription - a form of non-monotonic reasoning
+Normal rank
@@ Property / cites work @@
+Q3939270
@@ Property / cites work: Q3939270 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3477931
@@ Property / cites work: Q3477931 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantical considerations on nonmonotonic logic
@@ Property / cites work: Semantical considerations on nonmonotonic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3983045
@@ Property / cites work: Q3983045 / rank @@
+Normal rank
@@ Property / cites work @@
+Three-valued nonmonotonic formalisms and semantics of logic programs
+Normal rank
@@ Property / cites work @@
+Weak generalized closed world assumption
@@ Property / cites work: Weak generalized closed world assumption / rank @@
+Normal rank
@@ Property / cites work @@
+A logic for default reasoning
@@ Property / cites work: A logic for default reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Inferring negative information from disjunctive databases
+Normal rank
@@ Property / cites work @@
+Q4131648
@@ Property / cites work: Q4131648 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3348436
@@ Property / cites work: Q3348436 / rank @@
+Normal rank
@@ Property / cites work @@
+The well-founded semantics for general logic programs
+Normal rank
@@ Property / cites work @@
+Bounded Query Classes
@@ Property / cites work: Bounded Query Classes / rank @@
+Normal rank
@@ Property / cites work @@
+Deduction in non-Horn databases
@@ Property / cites work: Deduction in non-Horn databases / rank @@
+Normal rank