KSL-94-16 + redirect page
CML: A Compositional Modeling Language + Has identifier
CML: A Compositional Modeling Language + Ksl tr id
CML: A Compositional Modeling Language + Number
| CML: A Compositional Modeling Language |
Bibtype
techreport
Has publishing details
September,1994
Has title
CML: A Compositional Modeling Language
Has where published
KSL-94-16
Has year
1994
Title
CML: A Compositional Modeling Language
Year
1994
Abstract
This document presents a detailed specific … This document presents a detailed specification of a compositional modeling language, CML, which is a general declarative modeling language for logically specifying the symbolic and mathematical properties of the structure and behavior of physical systems. CML is intended to facilitate model sharing between research groups, many of which have long been using similar languages. These languages are based primarily on the language originally defined by Qualitative Process theory and include the languages used for the Qualitative Physics Compiler (QPC), compositional model formulation, and the Device Modeling Environment (DME). CML is an attempt to synthesize and provide a clean redesign of these languages. ovide a clean redesign of these languages.
Address
Stanford, CA, USA +
Author
Brian Falkenhainer and Adam Farquhar and Daniel G. Bobrow and Richard Fikes and Kenneth D. Forbus and Thomas R. Gruber and Yumi Iwasaki and Benjamin Kuipers +
Has author
Brian Falkenhainer and Adam Farquhar and Daniel G. Bobrow and Richard Fikes and Kenneth D. Forbus and Thomas R. Gruber and Yumi Iwasaki and Benjamin Kuipers +
Has identifier
CML: A Compositional Modeling Language +
Institution
Knowledge Systems, AI Laboratory +
Ksl tr id
CML: A Compositional Modeling Language +
Month
September +
Number
CML: A Compositional Modeling Language +
Process note
NO +
Categories KSL Technical Report +, Publication +, Technical Report +
|
