Upside-down meta-interpretation of the model elimination theorem-proving procedure for deduction and abduction (Q1344881): Difference between revisions

@@ Property / describes a project that uses @@
+OTTER
@@ Property / describes a project that uses: OTTER / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient bottom-up computation of queries on stratified databases
+Normal rank
@@ Property / cites work @@
+Proving Theorems with the Modification Method
@@ Property / cites work: Proving Theorems with the Modification Method / rank @@
+Normal rank
@@ Property / cites work @@
+Q3786007
@@ Property / cites work: Q3786007 / rank @@
+Normal rank
@@ Property / cites work @@
+An efficient strategy for non-Horn deductive databases
+Normal rank
@@ Property / cites work @@
+Q3489479
@@ Property / cites work: Q3489479 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear resolution for consequence finding
@@ Property / cites work: Linear resolution for consequence finding / rank @@
+Normal rank
@@ Property / cites work @@
+A Simplified Format for the Model Elimination Theorem-Proving Procedure
+Normal rank
@@ Property / cites work @@
+Q4139711
@@ Property / cites work: Q4139711 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3821629
@@ Property / cites work: Q3821629 / rank @@
+Normal rank
@@ Property / cites work @@
+Refutation search for Horn sets by a subgoal-extraction method
+Normal rank
@@ Property / cites work @@
+Q3491006
@@ Property / cites work: Q3491006 / rank @@
+Normal rank
@@ Property / cites work @@
+A Probabilistic Causal Model for Diagnostic Problem Solving Part I: Integrating Symbolic Causal Inference with Numeric Probabilistic Inference
+Normal rank
@@ Property / cites work @@
+A Probabilistic Causal Model for Diagnostic Problem Solving Part II: Diagnostic Strategy
+Normal rank
@@ Property / cites work @@
+Non-Horn clause logic programming without contrapositives
+Normal rank
@@ Property / cites work @@
+A sequent-style model elimination strategy and a positive refinement
+Normal rank
@@ Property / cites work @@
+An algorithm to compute circumscription
@@ Property / cites work: An algorithm to compute circumscription / rank @@
+Normal rank
@@ Property / cites work @@
+Generating relevant models
@@ Property / cites work: Generating relevant models / rank @@
+Normal rank
@@ Property / cites work @@
+Q5541351
@@ Property / cites work: Q5541351 / rank @@
+Normal rank
@@ Property / cites work @@
+The Alexander Method - a technique for the processing of recursive axioms in deductive databases
+Normal rank
@@ Property / cites work @@
+Refutation graphs
@@ Property / cites work: Refutation graphs / rank @@
+Normal rank
@@ Property / cites work @@
+A Prolog technology theorem prover: Implementation by an extended Prolog compiler
+Normal rank
@@ Property / cites work @@
+A Prolog-like inference system for computing minimum-cost abductive explanations in natural-language interpretation
+Normal rank
@@ Property / cites work @@
+Q3746920
@@ Property / cites work: Q3746920 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4296171
@@ Property / cites work: Q4296171 / rank @@
+Normal rank