Reasoning About Assumptions in Graphs of Models
- 1 January 1990
- book chapter
- Published by Elsevier
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- Temporal unification and the temporal partial orderPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- A qualitative physics based on confluencesArtificial Intelligence, 1984
- Qualitative Process TheoryPublished by Defense Technical Information Center (DTIC) ,1984
- Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysisArtificial Intelligence, 1977
- The MACSYMA systemPublished by Association for Computing Machinery (ACM) ,1971