See also
*References
Other references
* Bridgeland, D. M. & Huhns, M. N., Distributed Truth Maintenance. Proceedings of. AAAI–90: Eighth National Conference on Artificial Intelligence, 1990. * J. de Kleer (1986). An assumption-based TMS. ''Artificial Intelligence'', 28:127–162. * J. Doyle. A Truth Maintenance System. AI. Vol. 12. No 3, pp. 251–272. 1979. * U. Junker and K. Konolige (1990). Computing the extensions of autoepistemic and default logics with a truth maintenance system. In ''Proceedings of the Eighth National Conference on Artificial Intelligence (AAAI'90)'', pages 278–283.External links