Gabbay, Dov M.

6 publications

JAIR 2025 Forgetting in Abstract Argumentation: Limits and Possibilities Ringo Baumann, Matti Berthold, Dov M. Gabbay, Odinaldo Rodrigues
JAIR 2025 From Knowledge to Action: Logics of Permitted and Obligatory Announcements Xu Li, Guillaume Aucher, Dov M. Gabbay, Réka Markovich
AAAI 2020 Forgetting an Argument Ringo Baumann, Dov M. Gabbay, Odinaldo Rodrigues
JAIR 2011 Interpolable Formulas in Equilibrium Logic and Answer Set Programming Dov M. Gabbay, David Pearce, Agustín Valverde
NeurIPS 2005 A Connectionist Model for Constructive Modal Reasoning Artur Garcez, Luis C. Lamb, Dov M. Gabbay
AAAI 2004 Fibring Neural Networks Artur S. d'Avila Garcez, Dov M. Gabbay