A theory of interactions: unifying qualitative and quantitative algebraic reasoning
- 31 October 1991
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 51 (1-3) , 39-94
- https://doi.org/10.1016/0004-3702(91)90108-v
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Understanding complex dynamics by visual and symbolic reasoningArtificial Intelligence, 1991
- Qualitative physics using dimensional analysisArtificial Intelligence, 1990
- Qualitative simulationArtificial Intelligence, 1986
- Qualitative analysis of MOS circuitsArtificial Intelligence, 1984
- Qualitative process theoryArtificial Intelligence, 1984
- Commonsense reasoning about causality: Deriving behavior from structureArtificial Intelligence, 1984
- A qualitative physics based on confluencesArtificial Intelligence, 1984
- Propagation of constraints applied to circuit synthesisInternational Journal of Circuit Theory and Applications, 1980
- Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysisArtificial Intelligence, 1977
- Algebraic simplificationCommunications of the ACM, 1971