Arild Waaler

Position: Professor : Kontor: 3404, etg. 03, Informatikkbygningen: Phone # +47 22840055 : E-mail: arild (at) ifi.uio.no: Group: Object-orientation, modelling, and languages

Incremental Closure of Variable Splitting Tableaux, Christian Mahesh Hansen, Roger Antonsen, Arild Waaler. Position paper at Tableaux 2007, Aix en Provence, France.

Publications Espen H. Lian, Einar Broch Johnsen, Arild Waaler: Confluent Term Rewriting for Only-knowing Logics. STAIRS 2010:162-174

Chair: Arild Waaler, Professor, University of Oslo 15.30-16.00 Ontologies and databases Ian Horrocks, Professor, Oxford University, UK 16.00-16.30

Programme Committee. Nils Sandsmark, POSC Caesar (Chair) nils.sandsmark@… Arild Waaler, University of Oslo (Co-Chair) arild@… Roar Fjellheim, Computas raf@…