Optimal Tableaux for Conditional Logics with Cautious Monotonicity

Lutz Schröder, Dirk Pattinson, Daniel Hausmann. Optimal Tableaux for Conditional Logics with Cautious Monotonicity. In Helder Coelho, Rudi Studer, Michael Wooldridge, editors, ECAI 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings. Volume 215 of Frontiers in Artificial Intelligence and Applications, pages 707-712, IOS Press, 2010. [doi]

Authors

Lutz Schröder

This author has not been identified. Look up 'Lutz Schröder' in Google

Dirk Pattinson

This author has not been identified. Look up 'Dirk Pattinson' in Google

Daniel Hausmann

This author has not been identified. Look up 'Daniel Hausmann' in Google