A circumscriptive theorem prover (Q1123640): Difference between revisions

@@ Property / cites work @@
+Q3919057
@@ Property / cites work: Q3919057 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3830545
@@ Property / cites work: Q3830545 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2726291
@@ Property / cites work: Q2726291 / rank @@
+Normal rank
@@ Property / cites work @@
+Nonmonotonic logic and temporal projection
@@ Property / cites work: Nonmonotonic logic and temporal projection / rank @@
+Normal rank
@@ Property / cites work @@
+Circumscription - a form of non-monotonic reasoning
+Normal rank
@@ Property / cites work @@
+Ordering conjunctive queries
@@ Property / cites work: Ordering conjunctive queries / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/0004-3702(89)90026-x
+Normal rank
@@ Property / OpenAlex ID @@
+W2557892554
@@ Property / OpenAlex ID: W2557892554 / rank @@
+Normal rank