QPC: A Compiler from Physical Models into Qualitative Differential Equations

James M. Crawford, Adam Farquhar, Benjamin Kuipers. QPC: A Compiler from Physical Models into Qualitative Differential Equations. In AAAI. pages 365-372, 1990.

Abstract

Abstract is missing.