 | 2011 |
|---|
| 14 |       | Marc Fuchs,
Dirk Fuchs:
Cooperation between Top-Down and Bottom-Up Theorem Provers
CoRR abs/1105.5458: (2011) |
| 2000 |
|---|
| 13 |  | Dirk Fuchs:
Cooperation in heterogeneous theorem prover networks.
Infix 2000: 1-262 |
| 1999 |
|---|
| 12 | | Marc Fuchs,
Dirk Fuchs:
Abstraction-Based Relevancy Testing for Model Elimination.
CADE 1999: 344-358 |
| 11 | | Marc Fuchs,
Dirk Fuchs,
Matthias Fuchs:
Generating Lemmas for Tableau-based Proof Search Using Genetic Programming.
GECCO 1999: 1027-1032 |
| 10 | | Jörg Denzinger,
Dirk Fuchs:
Cooperation of Heterogeneous Provers .
IJCAI 1999: 10-15 |
| 9 | | Dirk Fuchs:
On the Use of Subgoal Clauses in Bottom-up and Top-down Calculi.
Fundam. Inform. 39(1-2): 123-143 (1999) |
| 8 | | Dirk Fuchs,
Marc Fuchs:
Cooperation between Top-Down and Bottom-Up Theorem Provers.
J. Artif. Intell. Res. (JAIR) 10: 169-198 (1999) |
| 7 | | Thomas Baar,
Bernd Fischer,
Dirk Fuchs:
Integrating Deduction Techniques in a Software Reuse Application.
J. UCS 5(3): 52-72 (1999) |
| 1998 |
|---|
| 6 | | Dirk Fuchs:
Cooperation Between Top-Down and Bottom-Up Theorem Provers by Subgoal Clause Transfer.
AISC 1998: 157-169 |
| 5 | | Jörg Denzinger,
Dirk Fuchs:
Enhancing Conventional Search Systems with Multi-Agent Techniques: A Case Study.
ICMAS 1998: 419-420 |
| 4 | | Dirk Fuchs:
Requirement-Based Cooperative Theorem Proving.
JELIA 1998: 139-153 |
| 3 | | Dirk Fuchs:
Coupling Saturation-Based Provers by Exchanging Positive/Negative Information.
RTA 1998: 317-331 |
| 1997 |
|---|
| 2 | | Dirk Fuchs,
Matthias Fuchs:
CODE: A Powerful Prover for Problems of Condensed Detachment.
CADE 1997: 260-263 |
| 1 | | Dirk Fuchs:
Inference Rights for Controlling Search in Generating Theorem Provers.
EPIA 1997: 25-36 |
Data released under the ODC-BY 1.0 license — See also our legal information page