Matthias Fuchs's Home Page

• Distributed Theorem Proving
• Learning of Search Heuristics for Theorem Proving

• 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.
  • Abstract
  • Download full paper (80 Kbytes)
• Denzinger,J. ; Fuchs, M. : Goal oriented equational theorem proving using team work, Proc. KI'94, Saarbrücken, LNAI 861, 1994, pp. 343-354.
  Also as SEKI-Report SR-94-04, University of Kaiserslautern, 1994.
  • Abstract
  • Download full paper (85 Kbytes)
• Fuchs, M. : Exploiting past proof Experience, LSA-Report LSA-95-08E, University of Kaiserslautern, 1995.
  Download full paper (76 Kbytes)
• Fuchs, M. : Learning proof heuristics by adapting parameters, Proc. 12th ML, Morgan Kaufmann, 1995, pp. 235-243.
  Also as SEKI-Report SR-95-02, University of Kaiserslautern, 1995.
  • Abstract
  • Download full paper (150 Kbytes)
• Fuchs, M. : Experiments in the Heuristic Use of Past Proof Experience, SEKI-Report SR-95-10, University of Kaiserslautern, 1995.
  • Abstract
  • Download full paper (160 Kbytes)
• Fuchs, M.: Powerful Search Heuristics Based on Weighted Symbols, Level and Features, Proc. FLAIRS '96, Key West, FL, USA, 1996, pp. 449-453.
• Fuchs, M. ; Abecker, A. : Optimized Nearest-Neighbor Classifiers Using Generated Instances, Proc. KI-96, Dresden, LNAI 1137, 1996, pp. 71-84.
  Extended Version as LSA-Report LSA-96-02E, University of Kaiserslautern, 1996.
  Download full paper (66 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)
• 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)
• 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, 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.: Automatic Selection of Search-Guiding Heuristics, Proc. FLAIRS-97, Daytona Beach, ISBN 0-9620-1739-6, 1997, pp. 1-5.
• 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, to appear in Proc. 2nd International Conference on Case-based Reasoning (ICCBR-97), Providence, LNAI, 1997.
• 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, M.: Flexible Re-enactment of Proofs, to appear in Proc. EPIA-97, Coimbra, LNAI, 1997.
  Extended version as SEKI-Report SR-97-01, University of Kaiserslautern, 1997.
  • Abstract
  • Download full paper (70 Kbytes)
• Fuchs, M.: Instance-based Learning by Searching, to appear in Proc. IASTED International Conference on Intelligent Information Systems (IIS-97), Grand Bahama Island, IEEE Press, 1997.