Formale Methoden und Deduktion Prof. Dr. J. Avenhaus

Journals and Books

• Denzinger, J.; Schulz, S.: Recording and Analyzing Knowledge-Based Distributed Deduction Processes, Journal of Symbolic Computation Vol. 21, 1996, pp. 523-541.

Conference Proceedings

• Denzinger,J.: Completion and Equational Theorem Proving using Taxonomic Constraints, Proc. KI-96, Dresden, LNAI 1137, 1996, pp. 29-42.
  Extended version as SEKI-Report SR-95-11, University of Kaiserslautern, 1995.
  • Abstract
  • Download full paper (70 Kbytes)
• Denzinger, J.; Fuchs, D.: Referees for Teamwork, Proc. FLAIRS-96, Key West, 1996, pp. 454-458.
• Denzinger, J. ; Fuchs, M. : Experiments in Learning Prototypical Situations for Variants of the Pursuit Game, Proc. ICMAS-96, Kyoto, 1996, pp. 48-55.
  Extended version as LSA-Report LSA-96-04E, University of Kaiserslautern, 1996.
  • Download full paper (75 Kbytes)
• 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.; Schulz, S.: Learning Domain Knowledge to Improve Theorem Proving, Proc. CADE-13, New Brunswick, Springer, LNAI 1104, 1996, pp. 62-76.
• Fettig, R.; Löchner, B.: Unification of Higher-Order Patterns in a Simply Typed Lambda-Calculus with Finite Products and Terminal Type, Proc. RTA'96, New Brunswick, Springer, LNCS 1103, 1996, pp. 347-361.
• Fuchs, M.: Powerful Search Heuristics Based on Weighted Symbols, Level and Features, Proc. FLAIRS-96, Key West, 1996, pp. 449-453.
• Fuchs, M.: Evolving Strategies Using the Nearest-Neighbor Rule and a Genetic Algorithm, Proc. First International Conference on Genetic Programming (GP-96), Stanford, MIT Press, 1996, pp. 485-490.
• 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.
  • Abstract
  • Download full paper (160 Kbytes)
• Fuchs, M. ; Abecker, A.: Optimized Nearest-Neighbor Classifiers Using Generated Instances, Proc. KI-96, Dresden, LNAI 1137, 1996, pp. 71-83.
  Extended Version as LSA-Report LSA-96-02E, University of Kaiserslautern, 1996.
  • Download full paper (66 Kbytes)

Internal Reports

• 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)
• Fuchs, D.: Inference Rights for Controlling Search in Generating Theorem Provers, SEKI-Report SR-96-12, University of Kaiserslautern, 1996.
  • Abstract
  • Download full paper (77 Kbytes)
• Fuchs, M.: Towards Full Automation of Deduction: A Case Study, SEKI-Report SR-96-07, University of Kaiserslautern, 1996.
  • Abstract
  • Download full paper (90 Kbytes)
• Fuchs, M. : Evolving Combinators, SEKI-Report SR-96-08, University of Kaiserslautern, 1996.
  • Abstract
  • Download full paper (68 Kbytes)
• Fuchs, M.: Experiments in the Automatic Selection of Problem-solving Strategies, LSA-Report LSA-96-09E, University of Kaiserslautern, 1996.
  • Download full paper (63 Kbytes)
• Gotzhein, R. ; Kronenburg, M. ; Peper, C.: Specifying and Reasoning about Generic Real-Time Requirements - A Case Study, SFB 501 Report No. 15/96, University of Kaiserslautern, 1996.
  • Download full paper (721 Kbytes)
• Kronenburg, M. ; Gotzhein, R. ; Peper, C.: A Tailored Real Time Temporal Logic for Specifying Requirements of Building Automation Systems, SFB 501 Report No. 16/96, University of Kaiserslautern, 1996.
  • Download full paper (83 Kbytes)
• Kühler, U.; Wirth, C.-P.: Conditional Equational Specifications of Data Types with Partial Operations for Inductive Theorem Proving, SEKI-Report SR-96-11, University of Kaiserslautern, 1996.
  • Abstract
  • Download full paper (97 Kbytes)

Impressum

AG Formale Methoden und Deduktion

Fachbereich Informatik

Technische Universität Kaiserslautern