Non-Horn clause logic programming (Q1402738): Difference between revisions

@@ Property / cites work @@
+A linear-time algorithm for testing the truth of certain quantified Boolean formulas
+Normal rank
@@ Property / cites work @@
+Q3919057
@@ Property / cites work: Q3919057 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4138187
@@ Property / cites work: Q4138187 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040797
@@ Property / cites work: Q4040797 / rank @@
+Normal rank
@@ Property / cites work @@
+Depth-first iterative-deepening: An optimal admissible tree search
+Normal rank
@@ Property / cites work @@
+Q4051550
@@ Property / cites work: Q4051550 / rank @@
+Normal rank
@@ Property / cites work @@
+SETHEO: A high-performance theorem prover
@@ Property / cites work: SETHEO: A high-performance theorem prover / rank @@
+Normal rank
@@ Property / cites work @@
+Renaming a Set of Clauses as a Horn Set
@@ Property / cites work: Renaming a Set of Clauses as a Horn Set / rank @@
+Normal rank
@@ Property / cites work @@
+Q3339245
@@ Property / cites work: Q3339245 / rank @@
+Normal rank
@@ Property / cites work @@
+A Simplified Format for the Model Elimination Theorem-Proving Procedure
+Normal rank
@@ Property / cites work @@
+Near-Horn prolog and beyond
@@ Property / cites work: Near-Horn prolog and beyond / rank @@
+Normal rank
@@ Property / cites work @@
+Q4366603
@@ Property / cites work: Q4366603 / rank @@
+Normal rank
@@ Property / cites work @@
+A simplified problem reduction format
@@ Property / cites work: A simplified problem reduction format / rank @@
+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 @@
+The search efficiency of theorem proving strategies
+Normal rank
@@ Property / cites work @@
+A comparison of three PROLOG extensions
@@ Property / cites work: A comparison of three PROLOG extensions / rank @@
+Normal rank
@@ Property / cites work @@
+Near-Horn Prolog and the ancestry family of procedures
+Normal rank
@@ Property / cites work @@
+A Prolog technology theorem prover: Implementation by an extended Prolog compiler
+Normal rank
@@ Property / cites work @@
+A Prolog technology theorem prover: A new exposition and implementation in Prolog
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0004-3702(97)00007-6
+Normal rank
@@ Property / OpenAlex ID @@
+W2001027846
@@ Property / OpenAlex ID: W2001027846 / rank @@
+Normal rank