The open logic and its relation to circumscription (Q1297717): Difference between revisions

@@ Property / cites work @@
+An open logic system
@@ Property / cites work: An open logic system / 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 @@
+Circumscription - a form of non-monotonic reasoning
+Normal rank
@@ Property / cites work @@
+Q5551124
@@ Property / cites work: Q5551124 / rank @@
+Normal rank
@@ Property / cites work @@
+A modal nonmonotonic logic
@@ Property / cites work: A modal nonmonotonic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Equality and Domain Closure in First-Order Databases
+Normal rank
@@ Property / cites work @@
+A circumscriptive theorem prover
@@ Property / cites work: A circumscriptive theorem prover / 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 @@
+Q3865928
@@ Property / cites work: Q3865928 / rank @@
+Normal rank
@@ Property / cites work @@
+A logical framework for default reasoning
@@ Property / cites work: A logical framework for default reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q3198878
@@ Property / cites work: Q3198878 / rank @@
+Normal rank
@@ Property / cites work @@
+Nonmonotonic inference based on expectations
@@ Property / cites work: Nonmonotonic inference based on expectations / rank @@
+Normal rank