Reference16 articles.
1. A. Bauval and L. Cholvy: Automated reasoning in case of inconsistency. In: M. De Glas, D. Gabbay(eds) Proc. of WOCFAI'91, 1–5 july 1991, Paris, France, pp. 81–93
2. Ph. Besnard: Logic for automated reasoning in the presence of contradictions. In: North-Holland, Ph. Jorrand, V. Sgurev (eds.): Artificial Intelligence IV Methodology, Systems, Applications. Proc. of AIMSA'90, Albena, Bulgaria, 19–22 September, 1990, pp. 33–43
3. L. Cholvy: Querying an inconsistent database. In: North-Holland, Ph. Jorrand, V. Sgurev (eds.): Artificial Intelligence IV Methodology, Systems, Applications. Proc. of AIMSA'90, Albena, Bulgaria, 19–22 September, 1990, pp. 81–93
4. J. De Kleer: An assumption-based truth maintenance system. Artificial Intelligence 28(1), 127–162 (1986)
5. J. Doyle: A truth maintenance system. Artificial Intelligence, 12(3), 231–272(1979)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Logic programs with tests;Logic Program Synthesis and Transformation — Meta-Programming in Logic;1994