A First-Order Stochastic Modeling Language for Diagnosis.

Chayan Chakrabarti Roshan Rammohan George F. Luger

Published in: FLAIRS Conference (2005)

Keyphrases

modeling language
metamodel
model based diagnosis
higher order
medical diagnosis
formal semantics
design rationale
business process modeling
first order logic
declarative language
code generation
information systems
fault diagnosis
language constructs
uml profile