Tech Reports

ULCS-03-018

Proceedings of the Fourth Workshop on the Implementation of Logics

Boris Konev and Renate Schmidt

Abstract

Following a series of successful workshops held in conjunction with the LPAR conference, the Fourth Workshop on the Implementation of Logics was held in conjunction with the Tenth International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2003), in Almaty, Kazakhstan, in September 2003.

Nine submissions were received of which seven were selected for presentation at the workshop. An invited talk was given by Stephan Schulz from the Technische Universitaet Muenchen and RISC Linz.

We thank 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.