[CEUR Workshop Proceedings] 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


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