Formale Methoden und Deduktion
Prof. Dr. J. Avenhaus

Dirk Fuchs: Publications

J. Denzinger, D. Fuchs:
Referees for Teamwork,
Proc. FLAIRS-96, Key West, 1996, pp. 454-458.
D. Fuchs, J. Denzinger:
Cooperation in Theorem Proving by Loosely Coupled Heuristics,
SEKI-Report SR-97-03, University of Kaiserslautern, 1997.
- Abstract
- Download full paper (101 Kbytes)
D. Fuchs, M. Fuchs:
Self-Modifying Theorem Provers,
Proc. FLAIRS-97, Daytona Beach, ISBN 0-9620-1739-6, 1997, pp. 176-180.
D. Fuchs, Matthias Fuchs:
CODE: A Powerful Prover for Problems of Condensed Detachment,
Proc. CADE-14, Townsville, 1997, pp. 260-263.
Matthias Fuchs, D. Fuchs, M. Fuchs:
Solving Problems of Combinatory Logic with Genetic Programming,
Proc. GP-97, Stanford University, USA, 1997, pp. 111-118.
D. Fuchs:
Inference Rights for Controlling Search in Generating Theorem Provers,
Proc. EPIA-97, Coimbra, Springer LNAI 1323, 1997, pp. 25-36.
Extended version as SEKI-Report SR-96-12, University of Kaiserslautern, 1996
- Abstract
- Download full paper (77 Kbytes)
D. Fuchs, J. Denzinger:
Knowledge-based Cooperation between Theorem Provers by TECHS,
SEKI-Report SR-97-11, University of Kaiserslautern, 1997.
- Abstract
- Download full paper (80 Kbytes)
D. Fuchs:
Coupling Saturation-Based Provers by Exchanging Positive/Negative Information,
Proc. RTA-98, Tsukuba, Japan, Springer LNCS 1379, 1998, pp. 317-331.
Extended version as SEKI-Report SR-97-07, University of Kaiserslautern, 1997
- Abstract
- Download full paper (110 Kbytes)
J. Denzinger, D. Fuchs:
Enhancing Conventional Search Systems with Multi-Agent Techniques: a Case Study,
Proc. ICMAS-98, Paris, IEEE Computer Society, 1998, pp. 419-420.
D. Fuchs:
Cooperation between Top-Down and Bottom-Up Theorem Provers by Subgoal Clause Transfer,
Proc. AISC-98, Plattsburgh, USA, Springer LNAI 1476, 1998, pp. 157-169.
Extended version as SEKI-Report SR-98-01, University of Kaiserslautern, 1998
- Abstract
- Download full paper (77 Kbytes)
D. Fuchs:
Requirement-Based Cooperative Theorem Proving,
Proc. JELIA-98, Dagstuhl, Germany, Springer LNAI 1489, 1998, pp. 139-153.
Extended version as SEKI-Report SR-98-02, University of Kaiserslautern, 1998
- Abstract
- Download full paper (77 Kbytes)
D. Fuchs:
Goal Lift-up: A Technique for Combining Connection-Tableau-Based Proof Procedures ,
SEKI-Report SR-98-06, University of Kaiserslautern, 1998.
- Abstract
- Download full paper (105 Kbytes)
D. Fuchs:
On the Use of Subgoal Clauses in Bottom-up and Top-down Calculi,
Fundamenta Informaticae, 1999, to appear.
M. Fuchs, D. Fuchs, Matthias Fuchs:
Generating Lemmas for Tableau-based Proof Search Using Genetic Programming,
Proc. GECCO-99, 1999, to appear.
T. Baar, B. Fischer, D. Fuchs:
Integrating Deduction Techniques in a Software Reuse Application,
Journal of Universal Computer Science (JUCS) 5(3), 1999, pp. 52-72.
D. Fuchs, M. Fuchs:
Cooperation between Top-down and Bottom-up Theorem Provers,
Journal of Artificial Intelligence Research (JAIR), 10, 1999, pp. 169-198.
M. Fuchs, D. Fuchs:
Abstraction-Based Relevancy Testing for Model Elimination,
Proc. CADE-16, 1999, to appear.
J. Denzinger , D. Fuchs:
Cooperation of Heterogeneous Provers,
Proc. IJCAI-99, 1999, to appear.

Impressum

AG Formale Methoden und Deduktion

Fachbereich Informatik

Technische Universität Kaiserslautern

Letzte Änderung: Wednesday, 26-Oct-05 08:59:20 GMT
www-aven@informatik.uni-kl.de

Formale Methoden und Deduktion Prof. Dr. J. Avenhaus

Dirk Fuchs: Publications

Formale Methoden und Deduktion
Prof. Dr. J. Avenhaus