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

Volltext

The Many Valued and Nonmonotonic Turn in Logic von Gabbay, Dov M, Woods, John

Volltext

Value-based Argumentation Frameworks as Neural-symbolic Learning Systems von D'Avila Garcez, Artur S., Gabbay, Dov M., Lamb, Luis C.

Volltext

Quantum logic, Hilbert space, revision theory von Engesser, Kurt, Gabbay, Dov M.

Volltext

Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems von Carnielli, Walter, Coniglio, Marcelo, Gabbay, Dov M, Gouveia, Paula, Sernadas, Cristina

Volltext

Abduction in labelled deductive systems a conceptual abstract von Gabbay, D. M.

Volltext

Focusing vs. belief revision: A fundamental distinction when dealing with generic knowledge von Dubois, Didier, Prade, Henri

Volltext

Information fusion in logic: A brief overview von Cholvy, Laurence, Hunter, Anthony

Volltext

Algorithmic proof with diminishing resources part 1 von Gabbay, DM

Volltext

Using default logic for lexical knowledge von HUNTER, A

Volltext

Belief Contraction, Anti-formulae and Resource Overdraft: Part I Deletion in Resource Bounded Logics von Gabbay, Dov M., Rodrigues, Odinaldo, Woods, John

Volltext

Mathematical modal logic: A view of its evolution von Goldblatt, Robert

Volltext

Updating atomic information in labelled database systems (extended abstract) von Finger, Marcelo, Gabbay, Dov M.

Volltext

What's on my mind von Gabbay, D.

Volltext

Deontic logic von McNamara, Paul

Volltext

Epistemic logic von Gochet, Paul, Gribomont, Pascal

Volltext

Products of modal logics. Part 2: relativised quantifiers in classical logic von Gabbay, DM, Shehtman, VB

Volltext

Relevant and substructural logics von Restall, Greg

Volltext

Labelled Natural Deduction for Conditional Logics of Normality von Broda, Krysia, Gabbay, Dov M., Lamb, Luís C., Russo, Alessandra M.

Volltext

Agents in proactive environments von Gabbay, DM, Nossum, R, Thielscher, M

Volltext