The qualitative process engine: A study in assumption-based truth maintenance (1987)

Cached

Download Links

by Kenneth D Forbus
Venue:In Qualitative Reasoning Workshop Abstracts. Qualitative Reasoning Group, University of Illinois at Urbana-Champaign
Citations:4 - 0 self

Documents Related by Co-Citation

661 Qualitative process theory – Kenneth D. Forbus - 1984
5 QPE : Using Assumption-based Truth Maintenance for Qualitative Simulation – K Forbus - 1988
4 Electronic "How Things Work" articles: Two early prototypes – Berman Amador, Derose Borning, Neville Finkelstein, Notkin Norge, Salisbury Salesin, Sun Sherman, Weld, Winkenbach - 1993
2 et al. Kelp Forest Modeling Project. http://web.nps.navy.mil/ ~ brutzman/kelp – D Brutzman - 1998
3 Naive physics manifesto I: Ontology for liquids – Patrick Hayes - 1985
2 Engineering Animation – Jack
4 Implementation of the SmartAHS using SHIFT simulation environment – M. Kourjanski, A. Göllü, A. Gollu, F. Hertschuh - 1997
2 Modeling and simulation semantics for hybrid dynamic physical systems – P J Mosterman, G Biswas - 1998
4 Mosterman and Gautam Biswas. Formal speci cations for hybrid dynamical systems – J Pieter - 1997
7 Erann Gat – Barney Pell, Douglas E Bernard, Steve A Chien - 1997
9 Relevance Reasoning to Guide Compositional Modeling – Alon Y. Levy, Yumi Iwasaki, Hiroshi Motoda - 1992
3 Harel and Amnon Naamad. The STATEMATE Semantics of Satecharts – David - 1996
11 Kleer, “Readings in Qualitative Reasoning about Physical Systems – D S Weld, J de - 1990
18 Game AI: The state of the industry. Game Developer Magzine – S Woodcock, J E Laird, D Pottinger - 2000
34 Selfexplanatory simulations: Scaling up to large models – K D Forbus, B Falkenhainer - 1990
10 Fundamentals of Numerical Computing – L Shampine, R J Allen, P S - 1996
4 Self-explanatory simulation for an electronic encylopedia – F G Amador - 1994
7 Automated Modeling of Chemical Plants with Application to Hazard and Operability Studies – C A Catino - 1993
32 Fast Context Switching in Real-time Propositional Reasoning – Pandurang Nayak, Urang Nayak, Brian C. Williams - 1997