1999 |
12 | EE | 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 | EE | Dirk Fuchs,
Marc Fuchs:
Cooperation between Top-Down and Bottom-Up Theorem Provers.
J. Artif. Intell. Res. (JAIR) 10: 169-198 (1999) |
7 | EE | Thomas Baar,
Bernd Fischer,
Dirk Fuchs:
Integrating Deduction Techniques in a Software Reuse Application.
J. UCS 5(3): 52-72 (1999) |
1998 |
6 | EE | 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 | EE | Dirk Fuchs:
Requirement-Based Cooperative Theorem Proving.
JELIA 1998: 139-153 |
3 | EE | 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 |