Formale Methoden und Deduktion Prof. Dr. J. Avenhaus

Journals and Books

• 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.
• Yamada, T. ; Avenhaus, J. ; Loria-Saenz, C. ; Middeldorp, A.: Logicality of Conditional Rewrite Systems, to appear in Theoretical Computer Science.

Conference Proceedings

• 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. ; Löchner, B. ; Scheffler, S.: Unterstützung der Lehre durch Visualisierung von wissensbasierten Suchalgorithmen mit Java, Proc. Java-Informations-Tage 98, Frankfurt, Springer, 1998, pp. 180-191.
• Fuchs, D.: Coupling Saturation-Based Provers by Exchanging Positive/Negative Information, Proc. RTA-98, Tsukuba, Japan, LNCS 1379, 1998, pp. 317-331.
  Extended version as SEKI-Report SR-97-07, University of Kaiserslautern, 1997.
  • Abstract
  • Download full paper (110 Kbytes)
• Fuchs, D.: Cooperation between Top-Down and Bottom-Up Theorem Provers by Subgoal Clause Transfer, Proc. AISC-98, Plattsburgh, NY, LNAI 1476, 1998, pp. 157-169.
  Extended version as SEKI-Report SR-98-01, University of Kaiserslautern, 1998.
  • Abstract
  • Download full paper (77 Kbytes)
• Fuchs, D.: Requirement-Based Cooperative Theorem Proving, Proc. JELIA-98, Dagstuhl, Germany, LNAI 1489, 1998, pp. 139-153.
  Extended version as SEKI-Report SR-98-02, University of Kaiserslautern, 1998.
  • Abstract
  • Download full paper (90 Kbytes)
• Fuchs, M.: A Feature-based Learning Method for Theorem Proving, Proc. AAAI-98, Madison, AAAI Press, 1998, to appear.
• Fuchs, M.: Crossover versus Mutation: An Empiric and Theoretic Case Study, Proc. 3rd International Conference on Genetic Programming (GP-98), Madison, Morgan Kaufmann, 1998, to appear.
• Gotzhein, R.; Kronenburg, M.; Peper, C.: Reuse in Requirements Engineering: Discovery and Application of a Real-Time Requirements Pattern, Proc. 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT'98), Lyngby, Denmark, 1998.

Internal Reports

• Eschbach, R.; Deiß, T. ; Kronenburg, M.: A Framework for the Analysis of Formal Description Techniques for Timed Systems, SFB 501 Report No. 05/98, University of Kaiserslautern, 1998.
  • Abstract
  • Download full paper (88 Kbytes)
• Fuchs, D.: 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)
• Kronenburg, M.; Deiß, T.; Eschbach, R.: Temporal Logics as Examples of Formal Description Techniques for Timed Systems, SFB 501 Report No. 07/98, University of Kaiserslautern, 1998.
  • Abstract
  • Download full paper (159 Kbytes)

Impressum

AG Formale Methoden und Deduktion

Fachbereich Informatik

Technische Universität Kaiserslautern