Non-horn magic sets to incorporate top-down inference into bottom-up theorem proving (Q5234700): Difference between revisions

@@ Property / describes a project that uses @@
+MGTP
@@ Property / describes a project that uses: MGTP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TPTP
@@ Property / describes a project that uses: TPTP / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/3-540-63104-6_18
+Normal rank
@@ Property / OpenAlex ID @@
+W2098536959
@@ Property / OpenAlex ID: W2098536959 / rank @@
+Normal rank
@@ Property / cites work @@
+On the power of magic
@@ Property / cites work: On the power of magic / rank @@
+Normal rank
@@ Property / cites work @@
+Minimal model generation with positive unit hyper-resolution tableaux
+Normal rank
@@ Property / cites work @@
+An efficient strategy for non-Horn deductive databases
+Normal rank
@@ Property / cites work @@
+SATCHMORE: SATCHMO with RElevancy
@@ Property / cites work: SATCHMORE: SATCHMO with RElevancy / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249902
@@ Property / cites work: Q4249902 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3821629
@@ Property / cites work: Q3821629 / 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 @@
+Upside-down meta-interpretation of the model elimination theorem-proving procedure for deduction and abduction
+Normal rank
@@ Property / cites work @@
+The TPTP problem library. CNF release v1. 2. 1
@@ Property / cites work: The TPTP problem library. CNF release v1. 2. 1 / rank @@
+Normal rank