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

Proceedings of

# The 6th International Workshop on the Implementation of Logics

### Organized at the 13th International Conference on Logic for Programming, Artificial Intelligence and Reasoning

Phnom Penh, Cambodia, 12th - 17th November 2006

Edited by
Chris Benzmüller (University of Cambridge, England)
Bernd Fischer (University of Southampton, England)
Geoff Sutcliffe (University of Miami, USA)

## Table of Contents

1. Algorithms and Data Structures for First-Order Equational Deduction
   Stephan Schulz
2. Term Indexing for the LEO-II Prover
   Frank Theiß and Christoph Benzmüller
3. Integrating External Deduction Tools with ACL2
   Matt Kaufmann, J Strother Moore, Sandip Ray and Erik Reeber
4. Efficiently Checking Propositional Resolution Proofs in Isabelle/HOL
   Tjark Weber
5. Implementing an Instantiation-based Theorem Prover for First-order Logic
   Konstantin Korovin
6. Tableau Decision Procedure for Propositional Intuitionistic Logic
   Guido Fiorino, Alessandro Avellone and Ugo Moscato
7. LIFT-UP: Lifted First-Order Planning Under Uncertainty
   Steffen Hölldobler and Olga Skvortsova
8. Multiple Preprocessing for Systematic SAT Solvers
   Anbulagan and John Slaney

- Complete Proceedings
  Chris Benzmüller, Bernd Fischer and Geoff Sutcliffe (eds.)

submitted by Geoff Sutcliffe, 6-Nov-2006
published on CEUR-WS.org, 7-Nov-2006
corrected error in author list, 7-Nov-2006
corrected Benzmüller's affiliation, 8-Nov-2006