On logical foundations of the ATMS
- 25 January 2006
- book chapter
- Published by Springer Nature
- p. 125-135
- https://doi.org/10.1007/bfb0037033
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- An extended basic ATMSPublished by Springer Nature ,1989
- Massively parallel Assumption-based Truth MaintenancePublished by Springer Nature ,1988
- Extending the ATMSArtificial Intelligence, 1986
- An assumption-based TMSArtificial Intelligence, 1986
- Foundations of Logic ProgrammingPublished by Springer Nature ,1984
- A truth maintenance systemArtificial Intelligence, 1979
- The Semantics of Predicate Logic as a Programming LanguageJournal of the ACM, 1976