Dirk Fuchs

发表

Cooperation between Top-Down and Bottom-Up Theorem Provers

Marc Fuchs, Dirk Fuchs, Marc Fuchs, 2011, J. Artif. Intell. Res..

On the Use of Subgoal Clauses in Bottom-up and Top-down Calculi

Dirk Fuchs, Dirk Fuchs, 1999, Fundam. Informaticae.

Abstraction-Based Relevancy Testing for Model Elimination

Marc Fuchs, Dirk Fuchs, 1999, CADE.

Generating Lemmas for Tableau-based Proof Search Using Genetic Programming

Matthias Fuchs, Marc Fuchs, Dirk Fuchs, 1999, GECCO.

Cooperation Between Top-Down and Bottom-Up Theorem Provers by Subgoal Clause Transfer

Dirk Fuchs, 1998, AISC.

CODE: A Powerful Prover for Problems of Condensed Detachment

Matthias Fuchs, Dirk Fuchs, 1997, CADE.

Inference Rights for Controlling Search in Generating Theorem Provers

Dirk Fuchs, 1997, EPIA.

Cooperation of Heterogeneous Provers

Jörg Denzinger, Dirk Fuchs, 1999, IJCAI.

Coupling Saturation-Based Provers by Exchanging Positive/Negative Information

Dirk Fuchs, Dirk Fuchs, 1998, RTA.

Goal Lift-up: A Technique for Combining Connection-Tableau-Based Proof Procedures

Dirk Fuchs, 1998 .

Cooperation in heterogeneous theorem prover networks

Dirk Fuchs, 2000, DISKI.

Enhancing conventional search systems with multi-agent techniques: a case study

Jörg Denzinger, Dirk Fuchs, 1998, Proceedings International Conference on Multi Agent Systems (Cat. No.98EX160).

Requirement-Based Cooperative Theorem Proving

Dirk Fuchs, 1998, JELIA.

Integrating Deduction Techniques in a Software Reuse Application

Thomas Baar, Bernd Fischer, Dirk Fuchs, 1999, J. Univers. Comput. Sci..

Cooperation in Theorem Proving by Loosely Coupled Heuristics

Jörg Denzinger, Dirk Fuchs, J. Denzinger, 1999 .

Knowledge-based Cooperation between Theorem Provers by Techs

Jörg Denzinger, Dirk Fuchs, 1999 .