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

Get full text

Future determination of entities in Talmudic public announcement logic by Abraham, M., Belfer, I., Gabbay, D.M., Schild, U.

Get full text

Contrary to time conditionals in Talmudic logic by Abraham, M., Gabbay, D. M., Schild, U.

Get full text

Obligations and prohibitions in Talmudic deontic logic by Abraham, M., Gabbay, D. M., Schild, U.

Get full text

Second-Order Quantifier Elimination in Higher-Order Contexts with Applications to the Semantical Analysis of Conditionals by Gabbay, Dov M., Szałas, Andrzej

Get full text

Reviews by GABBAY, D.M.

Get full text

Towards automating duality by Brink, C., Gabbay, D.M., Ohlbach, H.J.

Get full text

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

Request full text

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

Request full text

Evaluation of mild traumatic brain injury: ERP processing in auditory and visual novelty oddball tasks by Duncan, C.C., Summers, A.C., Massey, A.T., Mirsky, A.F., Gabbay, F.H., Benedek, D.M., French, L.M.

Get full text