Is intractability of nonmonotonic reasoning a real drawback? (Q1391905): Difference between revisions

@@ Property / Wikidata QID @@
+Q58006985
@@ Property / Wikidata QID: Q58006985 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3493324
@@ Property / cites work: Q3493324 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantical and computational aspects of Horn approximations
+Normal rank
@@ Property / cites work @@
+The size of a revised knowledge base
@@ Property / cites work: The size of a revised knowledge base / rank @@
+Normal rank
@@ Property / cites work @@
+Is intractability of nonmonotonic reasoning a real drawback?
+Normal rank
@@ Property / cites work @@
+On compact representations of propositional circumscription
+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 @@
+Linear-time algorithms for testing the satisfiability of propositional horn formulae
+Normal rank
@@ Property / cites work @@
+On the Complexity of Timetable and Multicommodity Flow Problems
+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 @@
+Complexity Results for Nonmonotonic Logics
@@ Property / cites work: Complexity Results for Nonmonotonic Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Incomplete deductive databases
@@ Property / cites work: Incomplete deductive databases / 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 @@
+Reasoning with models
@@ Property / cites work: Reasoning with models / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of a functional approach to knowledge representation
+Normal rank
@@ Property / cites work @@
+Closed-world databases and circumscription
@@ Property / cites work: Closed-world databases and circumscription / rank @@
+Normal rank
@@ Property / cites work @@
+Q3939270
@@ Property / cites work: Q3939270 / rank @@
+Normal rank
@@ Property / cites work @@
+Off-line reasoning for on-line efficiency: knowledge bases
+Normal rank
@@ Property / cites work @@
+Computing circumscriptive databases
@@ Property / cites work: Computing circumscriptive databases / rank @@
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+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 @@
+Decidability and definability with circumscription
+Normal rank
@@ Property / cites work @@
+Q3742689
@@ Property / cites work: Q3742689 / rank @@
+Normal rank
@@ Property / cites work @@
+The well-founded semantics for general logic programs
+Normal rank
@@ Property / cites work @@
+The decision problem for database dependencies
@@ Property / cites work: The decision problem for database dependencies / rank @@
+Normal rank
@@ Property / cites work @@
+Deduction in non-Horn databases
@@ Property / cites work: Deduction in non-Horn databases / rank @@
+Normal rank
@@ Property / cites work @@
+Some consequences of non-uniform conditions on uniform classes
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1391905