Dirk Fuchs' Home Page
Address:
Dirk Fuchs
AG Effiziente Algorithmen
Universität Kaiserslautern
Fachbereich Informatik
Postfach 3049
67653 Kaiserslautern, Germany
Tel: ++49 631 205 2555
Fax: ++49 631 205 3558
Email:
dfuchs@informatik.uni-kl.de
Gebäude 34, 410
Research Projects:
Publications:
- Denzinger, J.: Fuchs, D.: Referees for Teamwork, Proc.
FLAIRS-96, Key West, 1996, pp. 454-458.
- Denzinger, J. ; Fuchs, D.: Cooperation in Theorem Proving by Loosely
Coupled Heuristics, SEKI-Report SR-97-03, University of
Kaiserslautern, 1997.
- Fuchs, D. ; Fuchs, Marc:
Self-Modifying Theorem Provers,
Proc. FLAIRS-97, Daytona Beach, ISBN 0-9620-1739-6, 1997, pp. 176-180.
- Fuchs, D. ; Fuchs, Matthias:
CODE: A Powerful Prover for Problems of Condensed Detachment,
Proc. CADE-14, Townsville, 1997, pp. 260-263.
- Fuchs, Matthias; Fuchs, D.; Fuchs, Marc.:
Solving Problems of Combinatory Logic with Genetic Programming,
Proc. GP-97, Stanford University, USA, 1997, pp. 111-118.
- Fuchs, D.:
Inference Rights for Controlling Search n Generating Theorem Provers
, Proc. EPIA-97, Coimbra, LNAI 1323, 1997, pp. 25-36.
Extended version as SEKI-Report SR-96-12, University of Kaiserslautern,
1996.
- Denzinger, J. ; Fuchs, D.:
Knowledge-based Cooperation between Theorem Provers by TECHS,
SEKI-Report SR-97-11, University of Kaiserslautern, 1997.
- Fuchs, D.:
Coupling Saturation-Based Provers by Exchanging Positive/Negative
Information,
Proc. RTA-98, Tsukuba, Japan, LNCS 1379, 1998, pp. 317-331.
Extended version as SEKI-Report SR-97-07, University of Kaiserslautern,
1997.
- Fuchs, D.:
Cooperation between Top-Down and Bottom-Up Theorem Provers by Subgoal
Clause Transfer,
SEKI-Report SR-98-01, University of Kaiserslautern, 1998.
- Fuchs, D.:
Requirement-Based Cooperative Theorem Proving,
SEKI-Report SR-98-02, University of Kaiserslautern, 1998.