Search the FAQ Archives

3 - A - B - C - D - E - F - G - H - I - J - K - L - M
N - O - P - Q - R - S - T - U - V - W - X - Y - Z
faqs.org - Internet FAQ Archives

Artificial Intelligence FAQ: Bibliography 4/6 [Monthly posting]
Section - [4-20] Nonmonotonic Reasoning and Truth Maintenance Systems (TMS)

( Part1 - Part2 - Part3 - Part4 - Part5 - Part6 - Part7 - Single Page )
[ Usenet FAQs | Web FAQs | Documents | RFC Index | Restaurant inspections ]


Top Document: Artificial Intelligence FAQ: Bibliography 4/6 [Monthly posting]
Previous Document: [4-19] Probabilistic Reasoning
Next Document: [4-21] Robotics and Computer Vision
See reader questions & answers on this topic! - Help others by sharing your knowledge

   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.

User Contributions:

Comment about this article, ask questions, or add new information about this topic:

CAPTCHA




Top Document: Artificial Intelligence FAQ: Bibliography 4/6 [Monthly posting]
Previous Document: [4-19] Probabilistic Reasoning
Next Document: [4-21] Robotics and Computer Vision

Part1 - Part2 - Part3 - Part4 - Part5 - Part6 - Part7 - Single Page

[ Usenet FAQs | Web FAQs | Documents | RFC Index ]

Send corrections/additions to the FAQ Maintainer:
crabbe@usna.edu





Last Update March 27 2014 @ 02:11 PM