Author:
Fujiwara Yasushi,Honiden Shinichi
Reference14 articles.
1. Birkhoff, G and Bartee, T. C., Modern applied algebra, McGraw-Hill, New York, 1970.
2. de Kleer, J., An assumption-based truth maintenance system, Artificial Intelligence 28, pp.127–162, 1986.
3. de Kleer, J., Extending the ATMS, Artificial Intelligence 28, pp.163–196, 1986.
4. Doyle, J., A truth maintenance system, Artificial Intelligence 12, pp.231–272, 1979.
5. Dixon, M and de Kleer, J., Massively parallel assumption-based truth maintenance, in Proc. of AAAI-88, 1, pp.199–204.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A unifying logical framework for reason maintenance;Symbolic and Quantitative Approaches to Reasoning and Uncertainty