Octopus: combining learning and parallel search (Q861370): Difference between revisions

@@ Property / DOI @@
-.1007/s10817-004-3243-2
@@ Property / DOI: 10.1007/s10817-004-3243-2 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+SETHEO
@@ Property / describes a project that uses: SETHEO / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SicoTHEO
@@ Property / describes a project that uses: SicoTHEO / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Roo
@@ Property / describes a project that uses: Roo / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HERBY
@@ Property / describes a project that uses: HERBY / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SPTHEO
@@ Property / describes a project that uses: SPTHEO / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Peers-mcd
@@ Property / describes a project that uses: Peers-mcd / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PARTHENON
@@ Property / describes a project that uses: PARTHENON / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+METEOR
@@ Property / describes a project that uses: METEOR / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Aquarius
@@ Property / describes a project that uses: Aquarius / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+OTTER
@@ Property / describes a project that uses: OTTER / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+EQP
@@ Property / describes a project that uses: EQP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Bliksem
@@ Property / describes a project that uses: Bliksem / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TPTP
@@ Property / describes a project that uses: TPTP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TGTP
@@ Property / describes a project that uses: TGTP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PLAGIATOR
@@ Property / describes a project that uses: PLAGIATOR / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SPASS
@@ Property / describes a project that uses: SPASS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Octopus
@@ Property / describes a project that uses: Octopus / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+DISCOUNT
@@ Property / describes a project that uses: DISCOUNT / 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/s10817-004-3243-2
+Normal rank
@@ Property / OpenAlex ID @@
+W1998720940
@@ Property / OpenAlex ID: W1998720940 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2701741
@@ Property / cites work: Q2701741 / rank @@
+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
@@ Property / cites work @@
+Theorem proving with abstraction
@@ Property / cites work: Theorem proving with abstraction / rank @@
+Normal rank
@@ Property / cites work @@
+A paradigm for reasoning by analogy
@@ Property / cites work: A paradigm for reasoning by analogy / rank @@
+Normal rank
@@ Property / cites work @@
+Learning by understanding analogies
@@ Property / cites work: Learning by understanding analogies / rank @@
+Normal rank
@@ Property / cites work @@
+Q3817655
@@ Property / cites work: Q3817655 / rank @@
+Normal rank
@@ Property / cites work @@
+A taxonomy of parallel strategies for deduction
@@ Property / cites work: A taxonomy of parallel strategies for deduction / rank @@
+Normal rank
@@ Property / cites work @@
+Distributed deduction by clause-diffusion: Distributed contraction and the Aquarius prover
+Normal rank
@@ Property / cites work @@
+Q4539630
@@ Property / cites work: Q4539630 / 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 @@
+Q3491009
@@ Property / cites work: Q3491009 / rank @@
+Normal rank
@@ Property / cites work @@
+PARTHENON: A parallel theorem prover for non-horn clauses
+Normal rank
@@ Property / cites work @@
+SPS-parallelism+SETHEO=SPTHEO
@@ Property / cites work: SPS-parallelism+SETHEO=SPTHEO / rank @@
+Normal rank
@@ Property / cites work @@
+Q4891458
@@ Property / cites work: Q4891458 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S10817-004-3243-2
@@ Property / DOI: 10.1007/S10817-004-3243-2 / rank @@
+Normal rank