Qualitative process theory
- 1 December 1984
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 24 (1-3), 85-168
- https://doi.org/10.1016/0004-3702(84)90038-9
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Qualitative analysis of MOS circuitsArtificial Intelligence, 1984
- A Temporal Logic for Reasoning about Processes and Plans*Cognitive Science, 1982
- Non-monotonic logic IArtificial Intelligence, 1980
- A logic for default reasoningArtificial Intelligence, 1980
- Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysisArtificial Intelligence, 1977
- A Model-Driven Question-Answering System for Mixed-Initiative Computer-Assisted ConstructionIEEE Transactions on Systems, Man, and Cybernetics, 1973
- Modeling simultaneous actions and continuous processesArtificial Intelligence, 1973
- Strips: A new approach to the application of theorem proving to problem solvingArtificial Intelligence, 1971