A connectionist inductive learning system for modal logic programming. In: (2002)

by d’Avila Garcez, A Lamb, L C Gabbay, D
Venue:Proceedings of the 9th International Conference on Neural Information Processing ICONIP’02, Singapore, IEEE