Diagnosis based on explicit means-end models
Open Access
- 31 January 1996
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 80 (1) , 29-93
- https://doi.org/10.1016/0004-3702(94)00043-3
Abstract
No abstract availableKeywords
This publication has 55 references indexed in Scilit:
- MODELING GOALS AND FUNCTIONS OF COMPLEX INDUSTRIAL PLANTSApplied Artificial Intelligence, 1994
- Structural estimation with the hybrid phenomena theoryAnnual Review in Automatic Programming, 1991
- Knowledge-based real time control: The use of abstraction to satisfy deadlinesAnnual Review in Automatic Programming, 1991
- Dynamic across-time measurement interpretationArtificial Intelligence, 1991
- CAMBIO: software for modelling and simulation of bioprocessesBioinformatics, 1991
- Model-based alarm analysis using MFMAnnual Review in Automatic Programming, 1991
- Architectural foundations for real-time performance in intelligent agentsReal-Time Systems, 1990
- Constraints—A language for expressing almost-hierarchical descriptionsArtificial Intelligence, 1980
- New Algorithms for the Synthesis and Analysis of Fault TreesIndustrial & Engineering Chemistry Fundamentals, 1980
- Strips: A new approach to the application of theorem proving to problem solvingArtificial Intelligence, 1971