1. Inductive logic programming: Theory and methods;Muggleton;New Generation Computing,1994
2. Inverse entailment and Progol;Muggleton;New Generation Computing,1995
3. Learning Horn expressions with LogAn-H;Khardon,2000
4. A. Srinivasan, The aleph manual, Tech. rep., Oxford University Computing Laboratory, Oxford, 2000
5. S. Benferhat, D. Dubois, H. Prade, Representing default rules in possibilistic logic, in: Proceedings of the 11th International Conference of on Principles of Knowledge Representation and Reasoning KR92, 1992, pp. 673–684