Reference25 articles.
1. Johan de Kleer. An Assumption-Based TMS. Artificial Intelligence, 28(1), pp. 127–162, 1986.
2. Didier Dubois, Jérôme Lang, and Henri Prade. A Possibilistic Assumption-Based Truth Maintenance System with Uncertain Justifications, and its Application to Belief Revision. In J. P. Martins and M. Reinfrank, editors, Truth Maintenance Systems, volume 515 of Lecture Notes in Artificial Intelligence, pp. 87–106. Springer-Verlag, August 1990.
3. Jon Doyle. A Truth Maintenance System. Artificial Intelligence, 12, pp. 231–272, 1979.
4. Charles Elkan. A Rational Reconstruction of Nonmonotonic Truth Maintenance Systems. Artificial Intelligence, 43(2), pp. 219–234, 1990.
5. Yasushi Fujiwara and Shinichi Honiden. Relating the TMS to Autoepistemic Logic. In IJCAI-89. Eleventh International Joint Conference on Artificial Intelligence, volume 2, pp. 1199–1205, 1989.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献