DATMS: A Framework for Distributed Assumption Based Reasoning
- 1 January 1989
- book chapter
- Published by Elsevier
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- Nonmonotonic logic and temporal projectionArtificial Intelligence, 1987
- Frameworks for Cooperation in Distributed Problem SolvingIEEE Transactions on Systems, Man, and Cybernetics, 1981
- Non-monotonic logic IArtificial Intelligence, 1980
- Circumscription—A form of non-monotonic reasoningArtificial Intelligence, 1980
- A logic for default reasoningArtificial Intelligence, 1980
- A truth maintenance systemArtificial Intelligence, 1979
- Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysisArtificial Intelligence, 1977