Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Besnard P.: “Logics for automated reasoning in the presence of contradictions,” in: Proceedings of Artificial Intelligence: Methodology, systems and applications. North Holland, 1990.
2. Bauval A., and L. Cholvy: “Automated reasoning in case of inconsistency,” in: Proceedings of the First World Conference on Fundamentals of AI 1991.
3. Baral C., S. Kraus, J. Minker, and V.S. Subrahmanian: “Combining knowledge bases consisting of first order theories,” in: Computational Intelligence 8-1 (1992).
4. Cayrol C., R. Royer, and C. Saurel: “Management of preferences in assumption-based reasoning,” in: Proceedings of (IPMU) Conference. Palma de Mallorca, Spain, 1992.
5. Cholvy L.: “Querying an inconsistent database,” in: Proceedings of Artificial Intelligence: Methodology, systems and applications. North Holland, 1990.
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献