Qualitative Reasoning with Modelica Models.

Matthew Evans Klenk, Johan de Kleer, Daniel G. Bobrow, Bill Janssen

Browse the full AAAI paper archive.