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