On the complexity of propositional knowledge base revision, updates, and counterfactuals (Q1199919): Difference between revisions

@@ Property / cites work @@
+On the logic of theory change: Partial meet contraction and revision functions
+Normal rank
@@ Property / cites work @@
+Saturation, nonmonotonic reasoning and the closed-world assumption
+Normal rank
@@ Property / cites work @@
+Linear-time algorithms for testing the satisfiability of propositional horn formulae
+Normal rank
@@ Property / cites work @@
+Propositional circumscription and extended closed-world reasoning are \(\Pi_ 2^ P\)-complete
+Normal rank
@@ Property / cites work @@
+Q5750466
@@ Property / cites work: Q5750466 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3107917
@@ Property / cites work: Q3107917 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / 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 @@
+Counterfactuals
@@ Property / cites work: Counterfactuals / rank @@
+Normal rank
@@ Property / cites work @@
+A circumscriptive theorem prover
@@ Property / cites work: A circumscriptive theorem prover / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about action. I: A possible worlds approach
+Normal rank
@@ Property / cites work @@
+Complexity Results for Nonmonotonic Logics
@@ Property / cites work: Complexity Results for Nonmonotonic Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4028799
@@ Property / cites work: Q4028799 / rank @@
+Normal rank
@@ Property / cites work @@
+Updates and subjunctive queries
@@ Property / cites work: Updates and subjunctive queries / rank @@
+Normal rank
@@ Property / cites work @@
+New developments in structural complexity theory
@@ Property / cites work: New developments in structural complexity theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385525
@@ Property / cites work: Q4385525 / rank @@
+Normal rank
@@ Property / cites work @@
+\(P^{NP[O(\log n)]}\) and sparse turing-complete sets for NP
+Normal rank
@@ Property / cites work @@
+Q5751985
@@ Property / cites work: Q5751985 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4028812
@@ Property / cites work: Q4028812 / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional knowledge base revision and minimal change
+Normal rank
@@ Property / cites work @@
+The complexity of optimization problems
@@ Property / cites work: The complexity of optimization problems / rank @@
+Normal rank
@@ Property / cites work @@
+Closed-world databases and circumscription
@@ Property / cites work: Closed-world databases and circumscription / rank @@
+Normal rank
@@ Property / cites work @@
+Modal logic for default reasoning
@@ Property / cites work: Modal logic for default reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Circumscription - a form of non-monotonic reasoning
+Normal rank
@@ Property / cites work @@
+Nonmonotonic Logic II
@@ Property / cites work: Nonmonotonic Logic II / rank @@
+Normal rank
@@ Property / cites work @@
+Non-monotonic logic. I
@@ Property / cites work: Non-monotonic logic. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q3939270
@@ Property / cites work: Q3939270 / rank @@
+Normal rank
@@ Property / cites work @@
+LTUR: A simplified linear-time unit resolution algorithm for Horn formulae and computer implementation
+Normal rank
@@ Property / cites work @@
+Semantical considerations on nonmonotonic logic
@@ Property / cites work: Semantical considerations on nonmonotonic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3493313
@@ Property / cites work: Q3493313 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4028815
@@ Property / cites work: Q4028815 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of facets (and some facets of complexity)
+Normal rank
@@ Property / cites work @@
+An algorithm to compute circumscription
@@ Property / cites work: An algorithm to compute circumscription / 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 @@
+Q5551124
@@ Property / cites work: Q5551124 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4035685
@@ Property / cites work: Q4035685 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4131648
@@ Property / cites work: Q4131648 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded Query Classes
@@ Property / cites work: Bounded Query Classes / rank @@
+Normal rank
@@ Property / cites work @@
+Q3995235
@@ Property / cites work: Q3995235 / rank @@
+Normal rank
@@ Property / cites work @@
+Circumscriptive semantics for updating knowledge bases
+Normal rank
@@ Property / cites work @@
+Deduction in non-Horn databases
@@ Property / cites work: Deduction in non-Horn databases / rank @@
+Normal rank