Tech Reports

ULCS-05-003

Proceedings of the Fifth Workshop on the Implementation of Logics

Boris Konev and Stephan Schulz (Editors)

Abstract

We proudly present the papers selected for the Fifth Workshop on the Implementation of Logics held in conjunction with the Eleventh International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2004), in Montevideo, Uruguay.

We thank the authors who submitted their high-quality work and the program committee who performed the task of reviewing the submissions. We also thank the organisers of LPAR without whom this workshop would certainly not exist.

For each technical report listed here, copyright and all intellectual property rights remain with the respective authors. Copyright is effective from the year of publication in each case. By downloading a file from this page, you agree to use it only for purposes of research and scholarship. Any other use of this material or storage of it in any medium or its sale or distribution in any form is expressly forbidden without prior written permission from the authors concerned.