Massively parallel Assumption-based Truth Maintenance
- 1 January 1988
- book chapter
- Published by Springer Nature
- p. 131-142
- https://doi.org/10.1007/3-540-50701-9_24
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Extending the ATMSArtificial Intelligence, 1986
- An assumption-based TMSArtificial Intelligence, 1986
- The complexity of theorem-proving proceduresPublished by Association for Computing Machinery (ACM) ,1971