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: Gabbay, DM

Citation: Dm. Gabbay, Abduction in labelled deductive systems, HANDBOOK OF DEFEASIBLE REASONING AND UNCERTAINTY MANAGEMENT SYSTEMS, VOL 4, 2000, pp. 99-154

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: Gabbay, DM Governatori, G

Citation: Dm. Gabbay et G. Governatori, Fibred modal tableaux, APPL LOG S, 17, 2000, pp. 161-191

Authors: De Queiroz, RJGB Gabbay, DM

Citation: Rjgb. De Queiroz et Dm. Gabbay, Labelled natural deduction, TR LOG STUD, 5, 1999, pp. 173-250

Authors: Gabbay, DM

Citation: Dm. Gabbay, Compromise update and revision: A position paper, APPL LOG S, 12, 1999, pp. 111-148