| |
| * | 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 | EE | 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 | |
| 1 | Thomas Baar | [7] |
| 2 | Jörg Denzinger | [5] [10] |
| 3 | Bernd Fischer | [7] |
| 4 | Marc Fuchs | [8] [11] [12] |
| 5 | Matthias Fuchs | [2] [11] |