Clausal logic and logic programming in algebraic domains (Q1854478): Difference between revisions

@@ Property / cites work @@
+Domain theory in logical form
@@ Property / cites work: Domain theory in logical form / rank @@
+Normal rank
@@ Property / cites work @@
+Q4843177
@@ Property / cites work: Q4843177 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic programming and knowledge representation
@@ Property / cites work: Logic programming and knowledge representation / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753679
@@ Property / cites work: Q2753679 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3915037
@@ Property / cites work: Q3915037 / rank @@
+Normal rank
@@ Property / cites work @@
+A Direct Proof of the Hofmann-Mislove Theorem
@@ Property / cites work: A Direct Proof of the Hofmann-Mislove Theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q4016556
@@ Property / cites work: Q4016556 / rank @@
+Normal rank
@@ Property / cites work @@
+Inheritance comes of age: applying nonmonotonic techniques to problems in industry
+Normal rank
@@ Property / cites work @@
+Q4391451
@@ Property / cites work: Q4391451 / 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 @@
+Reasoning with power defaults
@@ Property / cites work: Reasoning with power defaults / rank @@
+Normal rank
@@ Property / cites work @@
+Q3959414
@@ Property / cites work: Q3959414 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4195918
@@ Property / cites work: Q4195918 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994458
@@ Property / cites work: Q3994458 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3313252
@@ Property / cites work: Q3313252 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4325268
@@ Property / cites work: Q4325268 / rank @@
+Normal rank
@@ Property / cites work @@
+Defaults in domain theory
@@ Property / cites work: Defaults in domain theory / rank @@
+Normal rank