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.

[Full Paper]