[19] Nonmonotonic Reasoning and Truth Maintenance Systems (TMS)

   Matthew L. Ginsberg, "Readings in Nonmonotonic Reasoning", 
   Morgan Kaufmann, San Mateo, CA, 1987.

   Reiter, Ray, "Nonmonotonic Reasoning", Annual Review of Computer
   Science, 2:147-186, 1987. (Appears in Ginsberg.)

   Doyle, J., "Truth Maintenance Systems", Artificial Intelligence,
   12(3):231-272, 1979.

   Reiter, Raymond and de Kleer, Johan, "Foundations of Assumption-Based
   Truth Maintenance Systems: Preliminary Report", Proceedings of AAAI-87,
   pages 183-188.

   J.P. Martins, "The Truth, The Whole Truth And Nothing But the Truth:
   An Indexed Bibliography to the Literature of TMS's", AI Magazine
   (Special Issue), AAAI, 1990.

   De Kleer, J., "An assumption-based TMS", Artificial Intelligence
   28:127-162, 1986.
   De Kleer, J., "Extending the ATMS", Artificial Intelligence
   28:163-196, 1986.
   De Kleer, J., "Problem Solving with the ATMS", Artificial Intelligence
   28:197-224, 1986. 

   De Kleer, J., "A comparison of ATMS and CSP techniques", IJCAI 1989,
   pages 290-296.

   Kenneth D. Forbus and Johan de Kleer, "Building Problem Solvers",
   MIT Press, Cambridge, MA 1994, 700 pages, $50. ISBN 0-262-06157-0.
   [Good textbook.]

   Proceedings of AAAI 1988.

   Alex Kean and George Tsiknis, "Assumption based Reasoning and Clause
   Management Systems", Computational Intelligence 8(1):1-24, 1992.

   Alex Kean and George Tsiknis, "Clause Management Systems (CMS)",
   Computational Intelligence 9(1):11-40, 1993.
 
   Martins, Joao, & Shapiro, Stuart C., "A Model for Belief Revision,"
   Artificial Intelligence 35:25-79 1988. 

   Martins & Reinfrank (eds), "Truth Maintenance Systems", published
   by Springer Verlag in their 'Lecture Notes in Computer Science'
   series, 1991.

   Reinfrank, M., Dressler, O. and Brewka, G., On the Relation
   Between Truth Maintenance and Autoepistemic Logic, IJCAI 1989.

   Selman, B. and Levesque, H.J., "Abductive and Default Reasoning: A
   Computational Core", Proceedings of AAAI-90.