Non-monotonic logic. I (Q1140441): Difference between revisions

@@ Property / cites work @@
+Q3252705
@@ Property / cites work: Q3252705 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4196401
@@ Property / cites work: Q4196401 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3667969
@@ Property / cites work: Q3667969 / rank @@
+Normal rank
@@ Property / cites work @@
+On a Question of Frege's about Right-Ordered Groups
+Normal rank
@@ Property / cites work @@
+STRIPS: A new approach to the application of theorem proving to problem solving
+Normal rank
@@ Property / cites work @@
+Q5624688
@@ Property / cites work: Q5624688 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5685660
@@ Property / cites work: Q5685660 / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionism. An introduction
@@ Property / cites work: Intuitionism. An introduction / rank @@
+Normal rank
@@ Property / cites work @@
+Q4698331
@@ Property / cites work: Q4698331 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5509675
@@ Property / cites work: Q5509675 / rank @@
+Normal rank
@@ Property / cites work @@
+Outline of a Theory of Truth
@@ Property / cites work: Outline of a Theory of Truth / rank @@
+Normal rank
@@ Property / cites work @@
+Q4137143
@@ Property / cites work: Q4137143 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4166736
@@ Property / cites work: Q4166736 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5633670
@@ Property / cites work: Q5633670 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5586197
@@ Property / cites work: Q5586197 / rank @@
+Normal rank
@@ Property / cites work @@
+A Human Oriented Logic for Automatic Theorem-Proving
+Normal rank
@@ Property / cites work @@
+Q5817389
@@ Property / cites work: Q5817389 / 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 @@
+Q5551124
@@ Property / cites work: Q5551124 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5596725
@@ Property / cites work: Q5596725 / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+Q5663383
@@ Property / cites work: Q5663383 / rank @@
+Normal rank
@@ Property / cites work @@
+Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis
+Normal rank
@@ Property / cites work @@
+Q5572326
@@ Property / cites work: Q5572326 / rank @@
+Normal rank