Modular specifications with supernormal defaults (Q1924749): Difference between revisions

@@ Property / cites work @@
+Q3490987
@@ Property / cites work: Q3490987 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4202917
@@ Property / cites work: Q4202917 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3995236
@@ Property / cites work: Q3995236 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4028783
@@ Property / cites work: Q4028783 / rank @@
+Normal rank
@@ Property / cites work @@
+A circumscriptive theorem prover
@@ Property / cites work: A circumscriptive theorem prover / 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 @@
+A logical framework for default reasoning
@@ Property / cites work: A logical framework for default reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Compiling a default reasoning system into Prolog
@@ Property / cites work: Compiling a default reasoning system into Prolog / rank @@
+Normal rank
@@ Property / cites work @@
+Q3348437
@@ Property / cites work: Q3348437 / rank @@
+Normal rank
@@ Property / cites work @@
+An algorithm to compute circumscription
@@ Property / cites work: An algorithm to compute circumscription / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus for the construction of modular prolog programs
+Normal rank