Abduction for knowledge assimilation in deductive databases
暂无分享,去创建一个
[1] Paolo Mancarella,et al. Database Updates through Abduction , 1990, VLDB.
[2] Robert A. Kowalski,et al. Abduction Compared with Negation by Failure , 1989, ICLP.
[3] Pascal Van Hentenryck. A slick procedure for integrity checking in deductive databases , 1994 .
[4] Phan Minh Dung,et al. An Argumentation-Theoretic Foundations for Logic Programming , 1995, J. Log. Program..
[5] Carlo Zaniolo,et al. Stable models and non-determinism in logic programs with negation , 1990, PODS.
[6] Hendrik Decker,et al. An Extension of SLD by Abduction and Integrity Maintenance for View Updating in Deductive Databases , 1996, Joint International Conference and Symposium on Logic Programming.
[7] Robert A. Kowalski,et al. A Theorem-Proving Approach to Database Integrity , 1988, Foundations of Deductive Databases and Logic Programming..
[8] Liz Sonenberg,et al. Integrity Constraint Checking in Stratified Databases , 1987, J. Log. Program..