The \(Q^*\) algorithm - a search strategy for a deductive question-answering system (Q1844090): Difference between revisions

@@ Property / cites work @@
+The Specialization of Programs by Theorem Proving
@@ Property / cites work: The Specialization of Programs by Theorem Proving / rank @@
+Normal rank
@@ Property / cites work @@
+Q5649989
@@ Property / cites work: Q5649989 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5623241
@@ Property / cites work: Q5623241 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5621960
@@ Property / cites work: Q5621960 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear resolution with selection function
@@ Property / cites work: Linear resolution with selection function / rank @@
+Normal rank
@@ Property / cites work @@
+MRPPS?An interactive refutation proof procedure system for question-answering
+Normal rank
@@ Property / cites work @@
+A Semantically Guided Deductive System for Automatic Theorem Proving
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank
@@ Property / cites work @@
+Automatic Theorem Proving With Renamable and Semantic Resolution
+Normal rank
@@ Property / cites work @@
+Experiments in automatic learning for a multipurpose hueristic program
+Normal rank
@@ Property / cites work @@
+Q5507984
@@ Property / cites work: Q5507984 / rank @@
+Normal rank