A general framework for reason maintenance
- 31 August 1991
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 50 (3) , 289-329
- https://doi.org/10.1016/0004-3702(91)90017-e
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- A rational reconstruction of nonmonotonic truth maintenance systemsArtificial Intelligence, 1990
- A model for belief revisionArtificial Intelligence, 1988
- Nonmonotonic logic and temporal projectionArtificial Intelligence, 1987
- Problem solving with the ATMSArtificial Intelligence, 1986
- Extending the ATMSArtificial Intelligence, 1986
- An assumption-based TMSArtificial Intelligence, 1986
- Contexts and Data Dependencies: A SynthesisPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1983
- Non-monotonic logic IArtificial Intelligence, 1980
- A truth maintenance systemArtificial Intelligence, 1979
- AMORD explicit control of reasoningACM SIGPLAN Notices, 1977