International Conference

TABLEAUX 2000

Automated Reasoning with
Analytic Tableaux and Related Methods

University of St Andrews, Scotland

4-7 July, 2000

Position papers

(Position papers are not published in the conference proceedings, but will be available at the conference and thereafter as publication "Research Report CS/00/01" from the School of Computer Science, St Andrews. They are selected mainly as being interesting work in progress but not yet ready for publication as completed original research. Their authors will present their papers at the conference.)

Labelled Modal Sequents	Guido Governatori & Antonino Rotolo
Minimal Model Generation with Factorization and Constrained Search	Miyuki Koshimura, Megumi Kita & Ryuzo Hasegawa
Inference for Non-Horn Regular Multiple-Valued Logics	James Lu, Neil Murray & Erik Rosenthal
A Decision Procedure for the Relevant Logic ER	Noriaki Yoshiura & Naoki Yonezaki
Termination in Intuitionistic Connection-Driven Search	Arild Waaler
IPAL: An Interactive Prover for Algorithmic Logic	Anna Zalewska