Bibliography on the Teamwork Method
This is the complete bibliography of our reports and publications about
the teamwork method. Due to copyright and other reasons not all the papers
are electronically available. But if you are interested in these
papers just send us an email
with your postal adddress and the title of the paper you wish to receive.
Journals and Books
- Denzinger, J.: Verteiltes, wissensbasiertes Gleichheitsbeweisen durch
Teamwork, in J. Müller (ed.): Verteilte Künstliche
Intelligenz, BI-Verlag, 1993, pp. 311-321.
- Denzinger, J.; Schulz, S.: Recording and Analyzing Knowledge-Based
Distributed Deduction Processes, Journal of Symbolic
Computation Vol. 21, 1996, pp. 523-541.
- 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. ; Dahn, I.:
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.
Conference Proceedings
- Avenhaus, J.; Denzinger, J.: Distributing equational theorem
proving, Proc. RTA'93, Montreal, LNCS 690, 1993, pp. 62-76.
Extended version as SEKI-Report SR-93-06, University of Kaiserslautern,
1993.
- Denzinger, J.; Fuchs, M.: Goal oriented equational theorem proving
using team work, Proc. KI'94, Saarbrücken, LNAI 861, 1994,
pp. 343-354.
Extended version as SEKI-Report SR-94-04, University of Kaiserslautern, 1994.
- Denzinger, J.; Schulz, S.: Recording, Analyzing and Presenting
Distributed Deduction
Processes, Proc. PASCO'94, Linz, 1994, pp. 114-123.
- Fuchs, M.: Learning proof heuristics by adapting parameters,
Proc. 12th MI, Morgan Kaufmann, 1995, pp. 235-243.
Also as SEKI-Report
SR-95-02, University of Kaiserslautern, 1995.
- Denzinger, J.: Knowledge-Based Distributed Search Using Teamwork,
Proc. ICMAS-95, San Francisco, 1995, pp. 81-88.
- Denzinger, J.; Fuchs, D.: Referees for Teamwork, Proc.
FLAIRS-96, Key West, 1996, pp. 454-458.
- Fuchs, M.: Powerful Search Heuristics Based on Weighted Symbols,
Level and Features, Proc. FLAIRS-96, Key West, 1996, pp. 449-453.
- Denzinger, J.; Schulz, S.: Learning Domain Knowledge to Improve
Theorem Proving, Proc. CADE-13, New Brunswick, Springer, LNAI 1104,
1996, pp. 62-76.
- Fuchs, M.: Experiments in the Heuristic Use of Past Proof
Experience, Proc. CADE-13, New Brunswick, Springer, LNAI 1104, 1996,
pp. 523-537.
Extended version as SEKI-Report SR-95-10, University of
Kaiserslautern, 1995.
- Denzinger, J.; Kronenburg, M.: Planning for distributed theorem
proving: The teamwork approach,
Proc. KI-96, Dresden, Springer LNAI 1137, 1996, pp. 43-56.
- Denzinger, J. ; Lind, J.:
TWlib - a Library for Distributed Search Applications,
Proc. ICS'96-AI, Kaohsiung, 1996, pp. 101-108.
- Denzinger, J. ; Fuchs, Matt. ; Fuchs, Marc: High Performance ATP
Systems by Combining Several AI Methods, Proc. IJCAI-97, Morgan
Kaufmann, 1997, pp. 102-107.
Extended version as SEKI-Report SR-96-09, University of Kaiserslautern,
1996.
Internal Reports
- Denzinger, J.: Distributed Knowledge-based Deduction using the Team
Work Method, SEKI-Report SR-91-12, University of Kaiserslautern,
1991.
- Fuchs, M.: The application of goal-oriented heuristics for proving
equational theorems via the unfailing Knuth-Bendix completion procedure.
A case study: lattice ordered groups, SEKI-Report SR-94-02,
University of Kaiserslautern, 1994.
- 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.
- Denzinger, J.; Kronenburg, M.: Planning for distributed theorem
proving: The team work approach,
SEKI-Report SR-94-09, University of Kaiserslautern, 1994.
- Fuchs, M.: Exploiting past proof Experience, LSA-Report
LSA-95-08E, University of Kaiserslautern, 1995.
Download full paper (76 Kbytes)
- Fuchs, M. : Towards Full Automation of Deduction: A Case Study,
SEKI-Report SR-96-07, University of Kaiserslautern, 1996.
- 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.
- Fuchs, D.: Coupling Saturation-Based Provers by Exchanging
Positive/Negative Information, SEKI-Report SR-97-07, University of
Kaiserslautern, 1997.
For other publications of our group follow this
link.
If you have questions, problems or suggestions send email to
denzinge@informatik.uni-kl.de