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]
@inproceedings{SchroderPH10,
title = {Optimal Tableaux for Conditional Logics with Cautious Monotonicity},
author = {Lutz Schröder and Dirk Pattinson and Daniel Hausmann},
year = {2010},
doi = {10.3233/978-1-60750-606-5-707},
url = {http://dx.doi.org/10.3233/978-1-60750-606-5-707},
tags = {logic},
researchr = {https://researchr.org/publication/SchroderPH10},
cites = {0},
citedby = {0},
pages = {707-712},
booktitle = {ECAI 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings},
editor = {Helder Coelho and Rudi Studer and Michael Wooldridge},
volume = {215},
series = {Frontiers in Artificial Intelligence and Applications},
publisher = {IOS Press},
isbn = {978-1-60750-605-8},
}