| 2022 | COMMA | Value-Based Practical Reasoning: Modal Logic + Argumentation. | Jieting Luo, Beishui Liao, Dov M. Gabbay |
| 2022 | KR | Dynamic Deontic Logic for Permitted Announcements. | Xu Li, Dov M. Gabbay, Rka Markovich |
| 2021 | ECSQARU | The Degrees of Monotony-Dilemma in Abstract Argumentation. | Timotheus Kampik, Dov M. Gabbay |
| 2020 | AAAI | Forgetting an Argument. | Ringo Baumann, Dov M. Gabbay, Odinaldo Rodrigues |
| 2020 | COMMA | Towards DiArg: An Argumentation-based Dialogue Reasoning Engine. | Timotheus Kampik, Dov M. Gabbay |
| 2020 | KI | A Bimodal Simulation of Defeasibility in the Normative Domain. | Tomer Libal, Matteo Pascucci, Leon van der Torre, Dov M. Gabbay |
| 2016 | COMMA | Argumentation as Information Input: A Position Paper. | Dov M. Gabbay, Michael Gabbay |
| 2016 | COMMA | Degrees of "in", "out" and "undecided" in Argumentation Networks. | Dov M. Gabbay, Odinaldo Rodrigues |
| 2014 | COMMA | A self-correcting iteration schema for argumentation networks. | Dov M. Gabbay, Odinaldo Rodrigues |
| 2014 | ECAI | Abduction and Dialogical Proof in Argumentation and Logic Programming. | Richard Booth, Dov M. Gabbay, Souhila Kaci, Tjitze Rienstra, Leendert W. N. van der Torre |
| 2012 | COMMA | The Equational Approach to CF2 Semantics. | Dov M. Gabbay |
| 2011 | ECSQARU | Introducing Equational Semantics for Argumentation Networks. | Dov M. Gabbay |
| 2011 | ECSQARU | Arguing about the Trustworthiness of the Information Sources. | Serena Villata, Guido Boella, Dov M. Gabbay, Leendert W. N. van der Torre |
| 2011 | ICAIL | Intelligent evaluation of evidence using Wigmore diagrams. | Michal Chalamish, Dov M. Gabbay, Uri J. Schild |
| 2010 | COMMA | Support in Abstract Argumentation. | Guido Boella, Dov M. Gabbay, Leendert W. N. van der Torre, Serena Villata |
| 2010 | ECAI | Higher-Order Coalition Logic. | Guido Boella, Dov M. Gabbay, Valerio Genovese, Leendert W. N. van der Torre |
| 2007 | RV | From Runtime Verification to Evolvable Systems. | Howard Barringer, Dov M. Gabbay, David E. Rydeheard |
| 2007 | TASE | A Logical Framework for Monitoring and Evolving Software Components. | Howard Barringer, David E. Rydeheard, Dov M. Gabbay |
| 2004 | AAAI | Fibring Neural Networks. | Artur S. d'Avila Garcez, Dov M. Gabbay |
| 2004 | CSL | Goal-Directed Methods for Lukasiewicz Logic. | George Metcalfe, Nicola Olivetti, Dov M. Gabbay |
| 2004 | ECAI | Towards a Connectionist Argumentation Framework. | Artur S. d'Avila Garcez, Dov M. Gabbay, Lus C. Lamb |
| 2004 | ICONIP | Argumentation Neural Networks. | Artur S. d'Avila Garcez, Dov M. Gabbay, Lus C. Lamb |
| 2003 | CSL | Goal-Directed Calculli for Gdel-Dummett Logics. | George Metcalfe, Nicola Olivetti, Dov M. Gabbay |
| 2003 | FlAIRS | Distributed Knowledge Representation in Neural-Symbolic Learning Systems: A Case Study. | Artur S. d'Avila Garcez, Lus C. Lamb, Krysia Broda, Dov M. Gabbay |
| 2003 | HIS | Neural-Symbolic Intuitionistic Reasoning. | Artur S. d'Avila Garcez, Lus C. Lamb, Dov M. Gabbay |
| 2002 | TABLEAUX | Analytic Sequent Calculi for Abelian and ukasiewicz Logics. | George Metcalfe, Nicola Olivetti, Dov M. Gabbay |
| 1999 | TABLEAUX | CLDS for Propositional Intuitionistic Logic. | Krysia Broda, Dov M. Gabbay |
| 1998 | AiML | Dznamics of Practical Reasoning: A Position Paper. | Dov M. Gabbay |
| 1998 | ITS | WinKE: A Pedagogical Tool for Teaching Logic and Reasoning. | Marcello D'Agostino, Marco Mondadori, Ulrich Endriss, Dov M. Gabbay, Jeremy Pitt |
| 1998 | TABLEAUX | Fibring Semantic Tableaux. | Bernhard Beckert, Dov M. Gabbay |
| 1997 | ECSQARU | Structured Belief Bases: A Practical Approach to Prioritised Base Revision. | Dov M. Gabbay, Odinaldo Rodrigues |
| 1997 | KI | Agents in Proactive Environments. | Dov M. Gabbay, Rolf Nossum, Michael Thielscher |
| 1996 | TABLEAUX | Fibred Tableaux for Multi-Implication Logic. | Marcello D'Agostino, Dov M. Gabbay |
| 1995 | LPNMR | Hypothetical Updates, Priority and Inconsistency in a Logic Programming Language. | Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti |
| 1994 | ICLP | Conditonal Logic Programming. | Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti |
| 1993 | ECSQARU | Making Inconsistency Respectable: Part 2 - Meta-level handling of inconsistency. | Dov M. Gabbay, Anthony Hunter |
| 1993 | ECSQARU | Restricted Access Logics for Inconsistent Information. | Dov M. Gabbay, Anthony Hunter |
| 1992 | ICDT | Updating Atomic Information in Labelled Database Systems. | Marcelo Finger, Dov M. Gabbay |
| 1992 | KI | How to Construct a Logic for Your Application. | Dov M. Gabbay |
| 1992 | KR | Quantifier Elimination in Second-Order Predicate Logic. | Dov M. Gabbay, Hans Jrgen Ohlbach |
| 1991 | ECSQARU | Abduction in Labelled Deductive Systems - A Conceptual Abstract. | Dov M. Gabbay |
| 1991 | KR | Meta-Reasoning in Executable Temporal Logic. | Howard Barringer, Michael Fisher, Dov M. Gabbay, Anthony Hunter |
| 1991 | KR | Credulous vs. Sceptical Semantics for Ordered Logic Programs. | Dov M. Gabbay, Els Laenens, Dirk Vermeir |
| 1991 | VLDB | Temporal Logic & Historical Databases. | Dov M. Gabbay, Peter McBrien |
| 1990 | CSL | Algorithmic Proof with Diminishing Resources, Part 1. | Dov M. Gabbay |
| 1989 | CONCUR | Using the Temporal Logic RDL for Design Specifications. | Dov M. Gabbay, Ian M. Hodkinson, Anthony Hunter |
| 1988 | CONCUR | Executing Temporal Logic: Review and Prospects (Abstract). | Howard Barringer, Dov M. Gabbay |
| 1982 | CADE | Intuitonistic Basis for Non-Monotonic Logic. | Dov M. Gabbay |
| 1980 | POPL | On the Temporal Analysis of Fairness. | Dov M. Gabbay, Amir Pnueli, Saharon Shelah, Jonathan Stavi |