On compact representations of propositional circumscription (Q1391128): Difference between revisions

@@ Property / Wikidata QID @@
+Q58006975
@@ Property / Wikidata QID: Q58006975 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of model checking for circumscriptive formulae
+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 @@
+Propositional circumscription and extended closed-world reasoning are \(\Pi_ 2^ P\)-complete
+Normal rank
@@ Property / cites work @@
+An algorithm to compute circumscription
@@ Property / cites work: An algorithm to compute circumscription / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385525
@@ Property / cites work: Q4385525 / rank @@
+Normal rank
@@ Property / cites work @@
+Some computational aspects of circumscription
@@ Property / cites work: Some computational aspects of circumscription / rank @@
+Normal rank
@@ Property / cites work @@
+On the computability of circumscription
@@ Property / cites work: On the computability of circumscription / rank @@
+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 @@
+Computing circumscriptive databases
@@ Property / cites work: Computing circumscriptive databases / rank @@
+Normal rank
@@ Property / cites work @@
+Minimal consequence in sentential logic
@@ Property / cites work: Minimal consequence in sentential logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3983045
@@ Property / cites work: Q3983045 / rank @@
+Normal rank
@@ Property / cites work @@
+A generalization of collapsible cases of circumscription
+Normal rank
@@ Property / cites work @@
+A logic for default reasoning
@@ Property / cites work: A logic for default reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+The well-founded semantics for general logic programs
+Normal rank
@@ Property / cites work @@
+Some consequences of non-uniform conditions on uniform classes
+Normal rank
@@ Property / cites work @@
+Deduction in non-Horn databases
@@ Property / cites work: Deduction in non-Horn databases / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1391128