Symbolic knowledge extraction from trained neural networks: A sound approach von d'Avila Garcez, A.S, Broda, K, Gabbay, D.M

Volltext

Applying the connectionist inductive learning and logic programming system to power system diagnosis von d'Avila Garcez, A.S., Zaverucha, G., da Silva, V.N.A.L.

Volltext bestellen

An analysis-revision cycle to evolve requirements specifications von d'Avila Garcez, A.S., Russo, A., Nuseibeh, B., Kramer, J.

Volltext

Extended theory refinement in knowledge-based neural networks von d'Avila Garcez, A.S.

Volltext

Reasoning and Learning About Past Temporal Knowledge in Connectionist Models von Borges, R.V., Lamb, L.C., d'Avila Garcez, A.S.

Volltext

A connectionist inductive learning system for modal logic programming von d'Avila Garcez, A.S., Lamb, L.C., Gabbay, D.M.

Volltext bestellen

Knowledge extraction from trained neural networks: a position paper von d'Avila Garcez, A.S., Broda, K., Gabbay, D.M., de Souza, A.F.

Volltext bestellen