qualitative calculus consistency

Publications for keyword "qualitative calculus consistency"
2010
Dominik L├╝cke and Till Mossakowski, A much better polynomial time approximation of consistency in the LR calculus, in: Proceedings of the 5th Starting AI Researcher Symposium (STAIRS 2010), pages 175-185, IOS Press; Amsterdam; http://www.iospress.nl, 2010
download
[URL]