A.S. d'Avila Garcez

A connectionist inductive learning system for modal logic programming

A.S. d'Avila Garcez, L.C. Lamb, D.M. Gabbay, 2002, Proceedings of the 9th International Conference on Neural Information Processing, 2002. ICONIP '02..

Knowledge extraction from trained neural networks: a position paper

A.S. d'Avila Garcez, D.M. Gabbay, K. Broda, 1999, ICONIP'99. ANZIIS'99 & ANNES'99 & ACNN'99. 6th International Conference on Neural Information Processing. Proceedings (Cat. No.99EX378).

Extended theory refinement in knowledge-based neural networks

A.S. d'Avila Garcez, A.S. d'Avila Garcez, 2002, Proceedings of the 2002 International Joint Conference on Neural Networks. IJCNN'02 (Cat. No.02CH37290).