Formale Methoden und Deduktion Prof. Dr. J. Avenhaus

Journals and Books

• Avenhaus, J. ; Madlener, K.: Theorem Proving in Hierarchical Clausal Specifications, in Du, Ko (eds.): Advances in Algorithms, Languages, and Complexity, Kluwer, 1997, pp. 1-51.
• Denzinger, J. ; Kronenburg, M. ; Schulz, S.: DISCOUNT. A Distributed and Learning Equational Prover, Journal of Automated Reasoning 18(2), 1997, pp. 189-198.
• Hillenbrand, T. ; Buch, A. ; Vogt, R. ; Löchner, B.: WALDMEISTER. High Performance Equational Deduction, Journal of Automated Reasoning 18(2), 1997, pp. 265-270.

Conference Proceedings

• Avenhaus, J. ; Loria-Saenz, C. ; Middledorp, A. ; Yamada, T.: Logicality of Conditional Rewrite Systems, Proc. CARP/FASE, LNCS 1214, 1997, pp. 141-152.
• 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.
  • Abstract
  • Download full paper (97 Kbytes)
• Fuchs, D.: Inference Rights for Controlling Search in 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.
  • Abstract
  • Download full paper (77 Kbytes)
• 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, Matt.: CODE: A Powerful Prover for Problems of Condensed Detachment, Proc. CADE-14, Townville, LNAI 1249, 1997, pp. 260-263.
• Fuchs, D. ; Fuchs, Marc ; Fuchs, Matt.: Solving Problems of Combinatory Logic with Genetic Programming, Proc. GP-97, Stanford, Morgan Kaufmann, 1997, pp. 111-118.
• Fuchs, Marc ; Fuchs, Matt.: Case-Based Reasoning for Automated Deduction, Proc. FLAIRS-97, Daytona Beach, ISBN 0-9620-1739-6, 1997, pp. 6-10.
• Fuchs, Marc ; Fuchs, Matt.: Applying Case-based Reasoning to Automated Deduction, Proc. 2nd International Conference on Case-based Reasoning (ICCBR-97), Providence, LNAI 1266, 1997, pp. 23-32.
• Fuchs, Matt.: Automatic Selection of Search-Guiding Heuristics, Proc. FLAIRS-97, Daytona Beach, ISBN 0-9620-1739-6, 1997, pp. 1-5.
• Fuchs, Matt.: Evolving Combinators, Proc. CADE-97, Townsville, LNAI 1249, 1997, pp. 416-430.
  Extended version as SEKI-Report SR-96-08, University of Kaiserslautern, 1996.
  • Abstract
  • Download full paper (68 Kbytes)
• Fuchs, Matt.: Flexible Re-enactment of Proofs, Proc. EPIA-97, Coimbra, LNAI 1323, 1997, pp. 13-24.
  Extended version as SEKI-Report SR-97-01, University of Kaiserslautern, 1997.
  • Abstract
  • Download full paper (70Kbytes)
• Fuchs, Matt.: Instance-based Learning by Searching, Proc. IASTED International Conference on Intelligent Information Systems (IIS-97), Grand Bahama Island, IEEE Press, 1997, pp. 189-193.
• Kühler, U.; Wirth, C.-P.: Conditional Equational Specifications of Data Types with Partial Operations for Inductive Theorem Proving, Proc. RTA-97, LNCS 1232, 1997, pp.38-52.
  Extended Version as SEKI-Report SR-96-11, University of Kaiserslautern, 1996.
  • Abstract
  • Download full paper (97 Kbytes)
• Peper, C.; Gotzhein, R.; Kronenburg, M.: A Generic Approach to the Formal Specification of Requirements, 1st IEEE International Conference on Formal Engineering Methods (ICFEM`97), Hiroshima, 1997

Internal Reports

• Deiß, T.; Hillenbrand, T.: A Case Study on the Use of SDL, SFB 501 Report No. 03/97, University of Kaiserslautern, 1997.
  • Abstract
  • Download full paper (65 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)
• Fuchs, D.: Coupling Saturation-Based Provers by Exchanging Positive/Negative Information, SEKI-Report SR-97-07, University of Kaiserslautern, 1997.
  • Abstract
  • Download full paper (110 Kbytes)
• Fuchs, Marc: Flexible Proof-Replay with Heuristics, LSA-97-03E, Center for Learning Systems and Applications (LSA), University of Kaiserslautern, 1997.
  • Download full paper (118 Kbytes)
• Fuchs, Matt. ; Forster, S.: Investigating the Use of Nearest-Neighbor Interpolation for Cancer Research, LSA-97-02E, Center for Learning Systems and Applications (LSA), University of Kaiserslautern, 1997.
  • Download full paper (56 Kbytes)
• Kronenburg, M.; Deiß, T. ; Zeckzer, D.: A Catalogue of Criteria for Evaluating Formal Methods and Its Application, SFB 501 Report No. 04/97, University of Kaiserslautern, 1997.
  • Abstract
  • Download full paper (148 Kbytes)
• Peper, C.; M. Kronenburg, M.; Gotzhein, R.: Formal Specification of Real-Time Requirements for Building Automation Systems, SFB 501 Report No. 01/97, University of Kaiserslautern, 1997.
  • Download full paper (76 Kbytes)

Impressum

AG Formale Methoden und Deduktion

Fachbereich Informatik

Technische Universität Kaiserslautern