Authors: Garcez, ASD Broda, K Gabbay, DM

Citation: Asd. Garcez et al., Symbolic knowledge extraction from trained neural networks: A sound approach, ARTIF INTEL, 125(1-2), 2001, pp. 155-207

Authors: Broda, K Russo, A Gabbay, D

Citation: K. Broda et al., A unified compilation style labelled deductive system for modal, substructural and fuzzy logics, STUD FUZZ S, 57, 2000, pp. 495-547

Authors: Broda, K Gabbay, DM

Citation: K. Broda et Dm. Gabbay, Labelled abduction - Compiled labelled abductive systems, APPL LOG S, 17, 2000, pp. 107-134

Authors: Broda, K D'Agostino, M Russo, A

Citation: K. Broda et al., Transformation methods in LDS, TR LOG STUD, 5, 1999, pp. 335-376