CML: A Compositional Modeling Language

From Tetherless World Wiki

Jump to: navigation, search

Citation: 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. (1994) CML: A Compositional Modeling Language. In KSL-94-16, September,1994.

Publication techreport ( Edit )
type Technical Report
bibtype techreport
Bibtex basics
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
title CML: A Compositional Modeling Language
number KSL-94-16
institution Knowledge Systems, AI Laboratory
address Stanford, CA, USA
year 1994
month September
Bibtex more
Access Paper
abstract 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.

KSL Technical Report ID: KSL-94-16
Facts about CML: A Compositional Modeling LanguageRDF feed
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  +
Bibtype techreport  +
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 KSL-94-16  +
Has publishing details September,1994  +
Has title CML: A Compositional Modeling Language  +
Has where published KSL-94-16  +
Has year 1994  +
Institution Knowledge Systems, AI Laboratory  +
Ksl tr id KSL-94-16  +
Month September  +
Number KSL-94-16  +
Process note NO  +
Title CML: A Compositional Modeling Language  +
Year 1994  +
Personal tools