Krysia Broda (broda)

Contributions to Philosophie.ch

Bibliography

Broda, Krysia, D’Agostino, Marcello and Russo, Alessandra. 1999. “Transformation Methods in LDS.” in Logic, Language and Reasoning: Essays in Honour of Dov Gabbay, edited by Hans Jürgen Ohlbach and Uwe Reyle, pp. 335–376. Dordrecht: Kluwer Academic Publishers.
D’Agostino, Marcello, Gabbay, Dov M. and Broda, Krysia. 1999. “Tableau Methods for Substructural Logics.” in Handbook of Tableau Methods, edited by Marcello D’Agostino, Dov M. Gabbay, Reiner Hähnle, and Joachim Posegga, pp. 397–468. Berlin: Springer.
Garcez, A. S. d’Avila, Broda, Krysia and Gabbay, Dov M. 2001. “Symbolic Knowledge Extraction from Trained Neural Networks: A Sound Approach.” Artificial Intelligence 125(1–2): 155–207.