Author:
Baader, Franz; Bauer, Andreas; Baumgartner, Peter; Cregan, Anne; Gabaldon, Alfredo; Ji, Krystian; Lee, Kevin; Rajaratnam, David; Schwitter, Rolf
Date of Publication:
2009-07-03
Conference Name:
TABLEAUX 2009 - The 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Oslo, Norway
Author:
Gabaldon, Alfredo; Lakemeyer, Gerhard
Date of Publication:
2007-07-22
Conference Name:
22nd AAAI Conference on Artificial Intelligence, USA