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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ 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
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf02917057
+Normal rank
@@ Property / OpenAlex ID @@
+W1999415591
@@ Property / OpenAlex ID: W1999415591 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1297717