Tableaux 2003. Position Papers And Tutorial (Rome, 9-12 September 2003)

This volume collects formally refereed papers that were accepted as “position papers” at the International Conference on Analytic Tableaux and Related Methods (TABLEAUX 2003) held on September 9-12, 2003 in Rome, Italy. Position papers present emerging trends and reports on work in progress. The volume contains also the abstracts of the tutorials offered at the conference. The research papers and system descriptions presented at the conference are published in “Automated Reasoning with Analytic Tableaux and Related Methods – International Conference, TABLEAUX 2003” (LNAI 2796, Springer 2003).Contributions by Seiki Akama, Alessandro Avellone, Magnus Björk, Agata Ciabattoni, Guido Fiorino, Martin Giese, Reiner Hähnle, Gerhard Lakemeyer, Carla Limongelli, Zohar Manna, Jair Minoro Abe, Ugo Moscato, Tetsuya Murai, Andrea Orlandini, Regimantas Pliuskevicius, Aida Pliuskeviciene, Valentina Poggioni, Henry B. Sipma, Jan von Plato, Dan E. Willard, Calogero G. Zarba