Qualitative Reasoning with Modelica Models. Matthew Klenk, J. d. K. & Daniel Bobrow, B. J. In Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, Quebec City, Quebec, Canada, 2014.
Paper bibtex @inproceedings{klenk.aaai.2014,
author={Matthew Klenk, Johan de Kleer, Daniel Bobrow, Bill Janssen},
booktitle={Proceedings of the Twenty-Eighth AAAI Conference on Artificial
Intelligence},
title={Qualitative Reasoning with Modelica Models},
year={2014},
%venuetype={Conference},
address={Quebec City, Quebec, Canada},
url={http://www.matthewklenk.com/papers/QR-with-Modelica.pdf}
}