Belief updating from integrity constraints and queries

Logic program synthesis from incomplete specifications

Journal of Symbolic Computation - Special issue on automatic programming

Inductive logic programming and learnability

ACM SIGART Bulletin

Inductive Database Relations

IEEE Transactions on Knowledge and Data Engineering

Cumulative Updates

VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases

Nonmonotonic Inductive Logic Programming

LPNMR '01 Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning

AILP abductive inductive logic programming

IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2

Integrating induction and abduction in logic programming

Information Sciences: an International Journal