| 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