[CEUR Workshop Proceedings] Vol-192

© 2006 for the individual papers by the papers' authors. Copying permitted for private and scientific purposes. Re-publication of material on this page requires permission by the copyright owners.



ESCoR 2006
Empirically Successful Computerized Reasoning




Proceedings of the FLoC'06 Workshop on
Empirically Successful Computerized Reasoning

Seattle, USA, August 22, 2006.

Edited by

Geoff Sutcliffe *
Renate Schmidt #
Stephan Schulz +

* Department of Computer Science, University of Miami, P.O. Box 248154, Coral Gables, FL 33124, USA
# School of Computer Science, University of Manchester, Manchester M13 9PL, United Kingdom
+ Institut für Informatik 4, TU München, Boltzmannstr. 3, 85748 Garching b. München, Germany



Table of Contents

Complete proceedings
  1. Matt Kaufmann and J Strother Moore
    Maintaining the ACL2 Theorem Proving System
  2. Virgile Prevosto and Uwe Waldmann
    SPASS+T
  3. Petr Pudlák
    Search for faster and shorter proofs using machine generated lemmas
  4. Jia Meng and Lawrence Paulson
    Lightweight Relevance Filtering for Machine-Generated Resolution
  5. Jia Meng and Lawrence Paulson
    Translating Higher-Order Problems to First-Order Clauses
  6. Johan Bos
    Three Stories on Automated Reasoning for Natural Language Understanding
  7. Michael Wessel and Ralf Moeller
    A Flexible DL-based Architecture for Deductive Information Systems
  8. Gerd Beuster, Niklas Henrich and Markus Wagner
    Real World Verification - Experiences from the Verisoft Email Client
  9. Florian Rabe
    Towards Determining the Subset Relation between Propositional Modal Logics
  10. Gonçalo Lopes and Luís Moniz Pereira
    Prospective Logic Programming with ACORDA
  11. Matthias Baaz , Stefan Hetzl, Alexander Leitsch , Clemens Richter and Hendrik Spohr
    System Description: The Cut-Elimination System CERES
  12. Boontawee Suntisrivaraporn, Franz Baader and Carsten Lutz
    CEL - A Short System Demonstration
submitted by R. Schmidt, July 17, 2006