On the duality of abduction and model generation in a framework for model generation with equality (Q1314425): Difference between revisions

@@ Property / cites work @@
+On the Relationship Between Abduction and Deduction
+Normal rank
@@ Property / cites work @@
+Q5688896
@@ Property / cites work: Q5688896 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3786007
@@ Property / cites work: Q3786007 / rank @@
+Normal rank
@@ Property / cites work @@
+SLDNFA: An abductive procedure for abductive logic programs
+Normal rank
@@ Property / cites work @@
+Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
+Normal rank
@@ Property / cites work @@
+Short note preferred extensions are partial stable models
+Normal rank
@@ Property / cites work @@
+Q5581665
@@ Property / cites work: Q5581665 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4012259
@@ Property / cites work: Q4012259 / rank @@
+Normal rank
@@ Property / cites work @@
+Making prolog more expressive
@@ Property / cites work: Making prolog more expressive / rank @@
+Normal rank
@@ Property / cites work @@
+An Efficient Unification Algorithm
@@ Property / cites work: An Efficient Unification Algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+About the rewriting systems produced by the Knuth-Bendix completion algorithm
+Normal rank
@@ Property / cites work @@
+Q3198891
@@ Property / cites work: Q3198891 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5537599
@@ Property / cites work: Q5537599 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient ground completion
@@ Property / cites work: Efficient ground completion / rank @@
+Normal rank
@@ Property / cites work @@
+The Semantics of Predicate Logic as a Programming Language
+Normal rank