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.

The 6th International Workshop on the Implementation of Logics

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

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.)