Publisher
Springer Berlin Heidelberg
Reference30 articles.
1. C. E. Alchourŕon, P. Gärdenfors, and D. Makinson. On the logic of theory change: partial meet contraction and revision functions. Journal of Symbolic Logic, 50(2):510–530, 1985.
2. J. J. Alferes, J. A. Leite, L. M. Pereira, H. Przymusinska, and T. Przymusinski. Dynamic logic programming. In: Proceedings of the 6th International Conference on Principles of Knowledge Representation and Reasoning, pages 98–109, Morgan Kaufmann, 1998.
3. A. Borgida. Language features for flexible handling of exceptions in information systems. ACM Transactions on Database Systems, 10:565–603, 1985.
4. F. Buccafurri, T. Eiter, G. Gottlob and L. Leone. Enhancing model checking in verification by AI techniques. Artificial Intelligence, 112(1, 2):57–104, 1999.
5. C.V. Damásio and L.M. Pereira. Abduction over 3-valued extended logic programs. In: Proceedings of the 3rd International Conference on Logic Programming and Nonmonotonic Reasoning, LNAI, 928, pages 29–42, Springer, 1995.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Disjunctive Abduction;New Generation Computing;2019-04
2. Solving logic program conflict through strong and weak forgettings;Artificial Intelligence;2006-06
3. Equivalence of Logic Programs Under Updates;Logics in Artificial Intelligence;2004
4. Disjunctive Explanations;Logic Programming;2002
5. Abduction in Logic Programming;Computational Logic: Logic Programming and Beyond;2002