Formale Methoden und Deduktion Prof. Dr. J. Avenhaus

Publications of Jörg Denzinger

Since for most of my contributions to books or conferences I had to transfer my copyright to the publisher, I cannot make them directly available through my web pages. But I can send them to you upon request. Please excuse this inconvenience!

The publications in each category (contributions to books and journals, papers in conference proceedings, internal reports) are ordered with respect to publication date, newest ones first.

• Dahn, I. ; Denzinger, J.:
  Cooperating Theorem Provers,
  in W. Bibel, P.H. Schmitt (eds.): Automated Deduction. A basis for applications. Vol. II: Systems and Implementation Techniques, Kluwer Academic Publishers, 1998, pp. 383-416.
• Denzinger, J. ; Fuchs, M.:
  A Comparison of Equality Reasoning Heuristics,
  in W. Bibel, P.H. Schmitt (eds.): Automated Deduction. A basis for applications. Vol. II: Systems and Implementation Techniques, Kluwer Academic Publishers, 1998, pp. 361-382.
• Denzinger, J. ; Kronenburg, M. ; Schulz, S.:
  DISCOUNT. A Distributed and Learning Equational Prover,
  Journal of Automated Reasoning 18(2), 1997, pp. 189-198.
• Denzinger, J.; Schulz, S.:
  Recording and Analyzing Knowledge-Based Distributed Deduction Processes,
  Journal of Symbolic Computation Vol. 21, 1996, pp. 523-541.
  • Abstract
• Denzinger, J.:
  Verteiltes, wissensbasiertes Gleichheitsbeweisen durch Teamwork (in German),
  in J. Müller (ed.): Verteilte Künstliche Intelligenz, BI-Verlag, 1993, pp. 311-321.

• Denzinger, J. ; Fuchs, D.:
  Cooperation of Heterogeneous Provers,
  Proc. IJCAI-99, Stockholm, Morgan Kaufmann, 1999, pp. 10-15.
  • Abstract
• Denzinger, J. ; Offermann, T.:
  On Cooperation between Evolutionary Algorithms and other Search Paradigms,
  Proc. CEC-99, Washington, IEEE Press, 1999, pp. 2317-2324.
  • Abstract
• Denzinger, J. ; Löchner, B. ; Scheffler, S.:
  Unterstützung der Lehre durch Visualisierung von wissensbasierten Suchalgorithmen mit Java (in German),
  Proc. Java-Informations-Tage 98, Frankfurt, Springer, 1998, pp. 180-191.
  • Abstract
• Denzinger, J. ; Fuchs, D.:
  Enhancing Conventional Search Systems with Multi-Agent Techniques: a Case Study,
  Proc. ICMAS-98, Paris, IEEE-Press, 1998, pp. 419-420.
• Denzinger, J. ; Fuchs, Matt. ; Fuchs, Marc: High Performance ATP Systems by Combining Several AI Methods,
  Proc. IJCAI-97, Nagoya, Morgan Kaufmann, 1997, pp. 102-107.
  • Abstract
  • Extended version
• Denzinger, J. ; Lind, J.:
  TWlib - a Library for Distributed Search Applications,
  Proc. ICS'96-AI, Kaohsiung, 1996, pp. 101-108.
  • Abstract
  • Download full paper (57 Kbytes)
• Denzinger, J. ; Fuchs, M. :
  Experiments in Learning Prototypical Situations for Variants of the Pursuit Game,
  Proc. ICMAS-96, Kyoto, 1996, pp. 48-55.
  • Abstract
  • Extended version
• Denzinger, J. ; Schulz, S.:
  Learning Domain Knowledge to Improve Theorem Proving,
  Proc. CADE-13, New Brunswick, Springer, LNAI 1104, 1996, pp. 62-76.
  • Abstract
• Denzinger, J.:
  Completion and Equational Theorem Proving using Taxonomic Constraints,
  Proc. KI-96, Dresden, LNAI 1137, 1996, pp. 29-42.
  • Abstract
  • Extended version
• Denzinger, J. ; Kronenburg, M.:
  Planning for distributed theorem proving: The teamwork approach,
  Proc. KI-96, Dresden, Springer LNAI 1137, 1996, pp. 43-56.
  • Abstract
• Denzinger, J. ; Fuchs, D.:
  Referees for Teamwork,
  Proc. FLAIRS-96, Key West, 1996, pp. 454-458.
  • Abstract
  • Download full paper (31 Kbytes)
• Avenhaus, J. ; Denzinger, J. ; Fuchs, M.:
  DISCOUNT: A system for distributed equational deduction,
  Proc. RTA-95, Kaiserslautern, LNCS 914, 1995, pp. 397-402.
• Denzinger, J.:
  Knowledge-Based Distributed Search Using Teamwork,
  Proc. ICMAS-95, San Francisco, 1995, pp. 81-88.
  • Abstract
• Denzinger, J. ; Fuchs, M.:
  Goal oriented equational theorem proving using team work,
  Proc. KI'94, Saarbrücken, LNAI 861, 1994, pp. 343-354.
  • Abstract
  • Extended version
• Avenhaus, J. ; Denzinger, J.:
  Distributing equational theorem proving,
  Proc. RTA'93, Montreal, LNCS 690, 1993, pp. 62-76.
  • Abstract
  • Extended version
• Denzinger, J. ; Müller, J.:
  EQTHEOPOGLES - A Completion Theorem Prover for PL1EQ, Proc. GWAI-89, Eringerfeld, Springer IFB 216, 1989, pp. 92-101.
• Avenhaus, J. ; Denzinger, J. ; Müller, J.:
  EQTHEOPOGLES - An efficient theorem prover based on Rewrite-techniques ,
  Proc. RTA-89, Chapel Hill, LNCS 355, 1989, pp. 538-541.

• Denzinger, J. ; Fuchs, M. ; Goller, C. ; Schulz, S.:
  Learning from Previous Proof Experience: A Survey,
  AR-Report AR-99-4, TU München, 1999.
  • Abstract
  • Download full paper (187 Kbytes)
• Denzinger, J. ; Fuchs, D.:
  Cooperation in Theorem Proving by Loosely Coupled Heuristics,
  SEKI-Report SR-97-03, University of Kaiserslautern, 1997.
  • Abstract
  • Download full paper (101 Kbytes)
• Denzinger, J. ; Fuchs, D.:
  Knowledge-based Cooperation between Theorem Provers by TECHS,
  SEKI-Report SR-97-11, University of Kaiserslautern, 1997.
  • Abstract
  • Download full paper (80 Kbytes)
• Denzinger, J. ; Scholz, S.:
  Using Teamwork for the Distribution of Approximately Solving the Traveling Salesman Problem with Genetic Algorithms,
  SEKI-Report SR-97-04, University of Kaiserslautern, 1997.
  • Abstract
  • Download full paper (109 Kbytes)
• Denzinger, J. ; Fuchs, M.:
  Experiments in Learning Prototypical Situations for Variants of the Pursuit Game
  LSA-Report LSA-96-04E, University of Kaiserslautern, 1996.
  • Download full paper (75 Kbytes)
• Bergmann, R. ; Denzinger, J.:
  Intelligente Suche im Internet mit Lernenden Systemen,
  LSA-96-07, Center for Learning Systems and Applications (LSA), University of Kaiserslautern, 1997.
  • Download full paper (672Kbytes)
• Denzinger, J. ; Fuchs, Matt. ; Fuchs, Marc:
  High Performance ATP Systems by Combining Several AI Methods,
  SEKI-Report SR-96-09, University of Kaiserslautern, 1996.
  • Abstract
  • Download full paper (97 Kbytes)
• Denzinger, J.:
  Completion and Equational Theorem Proving using Taxonomic Constraints ,
  SEKI-Report SR-95-11, University of Kaiserslautern, 1995.
  • Abstract
  • Download full paper (70 Kbytes)
• Denzinger, J. ; Schulz, S.:
  Analysis and Representation of Equational Proofs Generated by a Distributed Completion Based Proof System, SEKI-Report SR-94-05, University of Kaiserslautern, 1994.
  • Abstract
  • Download full paper (252 Kbytes)
• Denzinger, J. ; Fuchs, M.:
  Goal oriented equational theorem proving using team work,
  SEKI-Report SR-94-04, University of Kaiserslautern, 1994.
  • Abstract
  • Download full paper (85 Kbytes)
• Avenhaus, J. ; Denzinger, J.:
  Distributing equational theorem proving,
  SEKI-Report SR-93-06, University of Kaiserslautern, 1993.
  • Abstract
  • Download full paper (88 Kbytes)
• Sonntag, I. ; Denzinger, J.:
  Extending automatic theorem proving by planning,
  SEKI-Report SR-93-02, University of Kaiserslautern, 1993.
  • Abstract
  • Download full paper (106 Kbytes)
• Avenhaus, J. ; Denzinger, J. ; Hoffmann, T.:
  Efficient AC1-Matching using Constraints, SEKI-Report SR-92-03, University of Kaiserslautern, 1992.
• Denzinger, J.:
  Distributed Knowledge-based Deduction using the Teamwork Method,
  SEKI-Report SR-91-12, University of Kaiserslautern, 1991.
• Denzinger, J. ; Gramlich, B.:
  Efficient AC-Matching using Constraint Propagation,
  SEKI-Report SR-88-15, University of Kaiserslautern, 1988.

Impressum

AG Formale Methoden und Deduktion

Fachbereich Informatik

Technische Universität Kaiserslautern