Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Dirk Fuchs
2010 – today
- 2011
[i1]Marc Fuchs, Dirk Fuchs: Cooperation between Top-Down and Bottom-Up Theorem Provers. CoRR abs/1105.5458 (2011)
2000 – 2009
- 2000
- [b1]Dirk Fuchs: Cooperation in heterogeneous theorem prover networks. DISKI 231, Infix 2000, ISBN 978-3-89838-231-1, pp. 1-262
1990 – 1999
- 1999
- [j3]Dirk Fuchs: On the Use of Subgoal Clauses in Bottom-up and Top-down Calculi. Fundam. Inform. 39(1-2): 123-143 (1999)
- [j2]Dirk Fuchs, Marc Fuchs: Cooperation between Top-Down and Bottom-Up Theorem Provers. J. Artif. Intell. Res. (JAIR) 10: 169-198 (1999)
- [j1]Thomas Baar, Bernd Fischer, Dirk Fuchs: Integrating Deduction Techniques in a Software Reuse Application. J. UCS 5(3): 52-72 (1999)
- [c9]Marc Fuchs, Dirk Fuchs: Abstraction-Based Relevancy Testing for Model Elimination. CADE 1999: 344-358
- [c8]Marc Fuchs, Dirk Fuchs, Matthias Fuchs: Generating Lemmas for Tableau-based Proof Search Using Genetic Programming. GECCO 1999: 1027-1032
- [c7]
- 1998
- [c6]Dirk Fuchs: Cooperation Between Top-Down and Bottom-Up Theorem Provers by Subgoal Clause Transfer. AISC 1998: 157-169
- [c5]Jörg Denzinger, Dirk Fuchs: Enhancing Conventional Search Systems with Multi-Agent Techniques: A Case Study. ICMAS 1998: 419-420
- [c4]
- [c3]Dirk Fuchs: Coupling Saturation-Based Provers by Exchanging Positive/Negative Information. RTA 1998: 317-331
- 1997
- [c2]Dirk Fuchs, Matthias Fuchs: CODE: A Powerful Prover for Problems of Condensed Detachment. CADE 1997: 260-263
- [c1]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:11 CEST by the dblp team