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 available as publication "Research Report CS/00/01" from the School of Computer Science, St Andrews.

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

Tutorials

Paul Cohen, Ian Gent and Toby Walsh (Massachusetts, St Andrews and York)

Empirical Methods for Artificial Intelligence and Computer Science

Beata Konikowska (Warsaw)

Rasiowa-Sikorski Deduction Systems: Foundations and Applications in Computer Science Logics