Chen, Y., Yao, Z., Chi, H., Gabbay, D. M., Yuan, B., Bentzen, B., & Liao, B. (2022). BTPK-based learning: An Interpretable Method for Named Entity Recognition. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/54262. doi:10.48550/ARXIV.2201.09523 |
  | Luo, J., Liao, B., & Gabbay, D. M. (2022). Value-based practical reasoning: Modal Logic + Argumentation. Frontiers in Artificial Intelligence and Applications, 353, 248-259. doi:10.3233/FAIA220157  Peer reviewed |
 | Kampik, T., Nieves, J. C., & Gabbay, D. M. (2022). Ensuring reference independence and cautious monotony in abstract argumentation. International Journal of Approximate Reasoning, 140, 173-210. doi:10.1016/j.ijar.2021.10.007 Peer reviewed |
 | Li, X., Gabbay, D. M., & Markovich, R. (2022). Dynamic Deontic Logic for Permitted Announcements. 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022, 226-235. Peer reviewed |
 | Yu, L., & Gabbay, D. M. (2022). Case-Based Reasoning via Comparing the Strength Order of Features. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 13283 LNAI, 143-151. doi:10.1007/978-3-031-15565-9_9 Peer reviewed |
 | Woods, J. G., & Gabbay, D. M. (2022). The Law of Evidence and Labelled Deduction: Ten Years Later. Journal of Applied Logic, 9 (4), 887-956. Peer Reviewed verified by ORBi |
 | Kampik, T., Gabbay, D. M., & Sartor, G. (2021). The Burden of Persuasion in Abstract Argumentation. In P. Baroni, C. Benzmüller, ... Y. Wang, Logic and Argumentation - 4th International Conference, CLAR 2021 Hangzhou, China, October 20-22, 2021, Proceedings (pp. 224--243). Springer. doi:10.1007/978-3-030-89391-0_13 Peer reviewed |
 | Kampik, T., & Gabbay, D. M. (2021). Explainable Reasoning in Face of Contradictions: From Humans to Machines. In D. Calvaresi, A. Najjar, M. Winikoff, ... K. Främling, Explainable and Transparent AI and Multi-Agent Systems - Third International Workshop, EXTRAAMAS 2021, Virtual Event, May 3-7, 2021, Revised Selected Papers (pp. 280--295). Springer. doi:10.1007/978-3-030-82017-6_17 Peer reviewed |
 | Kampik, T., & Gabbay, D. M. (2021). The Degrees of Monotony-Dilemma in Abstract Argumentation. In J. Vejnarová & N. Wilson, Symbolic and Quantitative Approaches to Reasoning with Uncertainty - 16th European Conference, ECSQARU 2021, Prague, Czech Republic September 21-24, 2021, Proceedings (pp. 89--102). Springer. doi:10.1007/978-3-030-86772-0_7 Peer reviewed |
 | Gabbay, D. M., & Kampik, T. (2021). A Brief Introduction to the Shkop Approach to Conflict Resolution in Formal Argumentation. In B. Liao, L. Jieting, ... L. van der Torre, Logics for New-Generation AI 2021 (pp. 46-62). London, United Kingdom: College Publications. Peer reviewed |
 | Gabbay, D. M. (2021). What is Negation in a System 2020? IfCoLog Journal of Logics and Their Applications, 8 (7), 1977--2034. Peer reviewed |
 | Gabbay, D. M., Giacomin, M., Simari, G. R., & Thimm, M. (2021). Preface - Journal of Applied Logics. IfCoLog Journal of Logics and Their Applications, 8 (6), 1335-1338. Peer reviewed |
  | Gabbay, D. M., Horne, R. J., Mauw, S., & van der Torre, L. (2020). Attack-Defence Frameworks: Argumentation-Based Semantics for Attack-Defence Trees. In Graphical Models for Security - 7th International Workshop. doi:10.1007/978-3-030-62230-5_8 Peer reviewed |
 | D’Agostino, M., Gabbay, D. M., & Modgil, S. (2020). Normality, non-contamination and logical depth in classical natural deduction. Studia Logica, 108 (2), 291--357. doi:10.1007/s11225-019-09847-4 Peer reviewed |
David, E., David, R. S., Gabbay, D. M., & Schild, U. J. (2020). Talmudic Norms Approach to Mixtures with a Solution to the Paradox of the Heap: A Position Paper. In Beyond Faith and Rationality (pp. 173--193). Springer. Peer reviewed |
 | Gabbay, D. M. (2020). Introducing Abstract Argumentation with Many Lives. Journal of Applied Logic, 2631 (3), 295. Peer Reviewed verified by ORBi |
 | Baumann, R., Gabbay, D. M., & Rodrigues, O. (2020). Forgetting an Argument. In Proceedings of the AAAI Conference on Artificial Intelligence (pp. 2750--2757). Peer reviewed |
 | Libal, T., van der Torre, L., Gabbay, D. M., & Pascucci, M. (2020). A bimodal simulation of defeasibility in thenormative domain. In CEUR Workshop Proceedings. Peer reviewed |
 | Abraham, M., Belfer, I., & Gabbay, D. M. (2019). Theories of Joint Ownership in Talmudic Logic (Hebrew). Collge Publications. |
 | Gabbay, D. M., & Gabbay, M. (2019). Argumentation as information input. In Argumentation-based Proofs of Endearment. College Publications. Peer reviewed |
 | Gabbay, D. M., Schild, U., & David, E. (2019). The Talmudic Logic Project, Ongoing Since 2008. Logica Universalis, 13 (4), 425--442. doi:10.1007/s11787-019-00228-y Peer reviewed |
 | Gabbay, D. M., Cramer, M., Dauphin, J., Farjami, A., Rivlin, L., & van der Torre, L. (2019). Machine Argumentation. Can We Replace Taxi Drivers by Robots? In Natural Argument, A tribute to John Woods. College Publications. Peer reviewed |
 | Gabbay, D. M., Parent, X., & van der Torre, L. (2019). A geometrical view of I/O logic. |
 | Gabbay, D. M., Giacomin, M., Liao, B., & van der Torre, L. (2018). Present and Future of Formal Argumentation (Dagstuhl Perspectives Workshop 15362). Dagstuhl Manifestos, 7 (1), 69--95. doi:10.4230/DagMan.7.1.69 Peer reviewed |
 | van der Torre, L., Rienstra, T., & Gabbay, D. M. (2018). Argumentation as Exogenous Coordination. In It's All About Coordination (pp. 208-223). Springer. Peer reviewed |
D'Agostino, M., & Gabbay, D. M. (2017). Feasible Deduction for Realistic Agents. College Publications. |
 | Gabbay, D. M., & Rivlin, L. (2017). HEAL2100: Human Effective Argumentation and Logic for the 21st Century. The next Step in the Evolution of Logic. IfCoLog Journal of Logics and Their Applications. Peer reviewed |
 | Gabbay, D. M., & Rozenberg, G. (2017). Reasoning Schemes, Expert Opinions and Critical Questions. Sex Offenders Case Study. IfCoLog Journal of Logics and Their Applications. Peer reviewed |
 | David, E., Gabbay, D. M., Leshem, G., & Students of CS Ashkelon. (2017). Logical Analysis of Cyber Vulnerability and Protection. IfCoLog Journal of Logics and Their Applications. Peer reviewed |
 | Gabbay, D. M., Rozenberg, G., & Rivlin, L. (2017). Reasoning under the Influence of Universal Distortion. Sex Offenders Case Study. IfCoLog Journal of Logics and Their Applications. Peer reviewed |
 | Baaz, M., Ciabattoni, A., Gabbay, D. M., Hetzl, S., & Weller, D. (2017). Preface. Journal of Logic and Computation, 415. doi:10.1093/logcom/exu076 Peer reviewed |
 | Mughaz, D., HaCohen-Kerner, Y., & Gabbay, D. M. (2017). Mining and Using Key-Words and Key-Phrases to Identify the Era of an Anonymous Text. LNCS Transactions on Computational Collective Intelligence, 26, 119--143. doi:10.1007/978-3-319-59268-8_6 Peer Reviewed verified by ORBi |
 | van der Torre, L., Giacomin, M., Liao, B., & Gabbay, D. M. (2016). Present and Future of Formal Argumentation. Dagstuhl Reports. doi:10.4230/DagRep.5.8.74 Peer reviewed |
 | Abraham, M., Belfer, I., Schild, U., & Gabbay, D. M. (2016). Quantum States and Disjunctive Attacks in Talmudic Logic. Journal of Logics, 789. Peer reviewed |
 | Gabbay, D. M., & Gabbay, M. (2016). Argumentation as Information Input: A Position Paper. In Computational Models of Argument - Proceedings of COMMA 2016, Potsdam Germany, 12-16 September, 2016. doi:10.3233/978-1-61499-686-6-311 Peer reviewed |
 | Abraham, M., Belfer, I., Schild, U. J., & Gabbay, D. M. (2016). Identity Merging and Identity Revision in Talmudic Logic: An Outline Paper. In Computational Models of Rationality, Essays dedicated to Gabriele Kern-Isberner on the occasion of her 60th birthday. Peer reviewed |
 | Gabbay, D. M. (2016). Theory of Semi-Instantiation in Abstract Argumentation. Logica Universalis, 10 (4), 431--516. doi:10.1007/s11787-015-0133-9 Peer reviewed |
 | Gabbay, D. M., & Gabbay, M. (2016). The attack as intuitionistic negation. Logic Journal of the IGPL, 24 (5), 807--837. doi:10.1093/jigpal/jzw012 Peer reviewed |
 | Gabbay, D. M., & Rodrigues, O. (2016). Degrees of "in", "out" and "undecided" in Argumentation Networks. In Computational Models of Argument - Proceedings of COMMA 2016, Potsdam Germany, 12-16 September, 2016. doi:10.3233/978-1-61499-686-6-319 Peer reviewed |
Gabbay, D. M., & Schlechta, K. (2016). A New Perspective on Nonmonotonic Logics. Springer. doi:10.1007/978-3-319-46817-4 |
 | Gabbay, D. M., & Gabbay, M. (2016). Theory of disjunctive attacks, Part I. Logic Journal of the IGPL, 24 (2), 186--218. doi:10.1093/jigpal/jzv032 Peer reviewed |
Gabbay, D. M., & Rodrigues, O. (2016). Further Applications of the Gabbay-Rodrigues Iteration Schema in Argumentation and Revision Theories. In Computational Models of Rationality, Essays dedicated to Gabriele Kern-Isberner on the occasion of her 60th birthday. College Publications. Peer reviewed |
 | Gabbay, D. M., & Rodrigues, O. (2016). Introducing Bayesian Argumentation Networks. IfCoLog Journal of Logics and Their Applications. Peer reviewed |
 | Gabbay, D. M. (2016). The handling of loops in argumentation networks. Journal of Logic and Computation, 26 (4), 1065--1147. doi:10.1093/logcom/exu007 Peer reviewed |
 | Baroni, P., Gabbay, D. M., & Giacomin, M. (2016). Introduction to the special issue on Loops in Argumentation. Journal of Logic and Computation, 26 (4), 1051--1053. doi:10.1093/logcom/exu012 Peer reviewed |
 | Gabbay, D. M. (2016). Logical foundations for bipolar and tripolar argumentation networks: preliminary results. Journal of Logic and Computation, 26 (1), 247--292. doi:10.1093/logcom/ext027 Peer reviewed |
 | Gabbay, D. M., & Rodrigues, O. (2015). Probabilistic Argumentation: An Equational Approach. Logica Universalis, 9 (3), 345--382. doi:10.1007/s11787-015-0120-1 Peer Reviewed verified by ORBi |
Gabbay, D. M., & Bessos, M. (2015). Topological Aspects of Matrix Abduction 2. In The Road to Universal Logic - Festschrift for the 50th Birthday of Jean-Yves Béziau Volume II, Chapter 17. Birkh\''auser Basel. Peer reviewed |
Laufer, A., & Gabbay, D. M. (2015). Topological Aspects of Matrix Abduction 1. In A. Koslow & A. Buchsbaum (Eds.), The Road to Universal Logic: Festschrift for the 50th Birthday of Jean-Yves Béziau Volume II (pp. 339--355). Cham, Unknown/unspecified: Springer International Publishing. doi:10.1007/978-3-319-15368-1_16 Peer reviewed |
| Gabbay, D. M., & Rodrigues, O. (2015). Equilibrium States in Numerical Argumentation Networks. Logica Universalis, 9 (4), 411--473. doi:10.1007/s11787-015-0119-7 Peer reviewed |
| Mughaz, D., HaCohen-Kerner, Y., & Gabbay, D. M. (2015). Key-Phrases as Means to Estimate Birth and Death Years of Jewish Text Authors. In Semantic Keyword-Based Search on Structured Data Sources - First COST Action IC1302 International KEYSTONE Conference, IKC 2015, Coimbra Portugal, September 8-9, 2015. Revised Selected Papers. doi:10.1007/978-3-319-27932-9_10 Peer reviewed |
| Gabbay, D. M., & Gabbay, M. (2015). The Attack as Intuitionistic Negation. Logic Journal of the IGPL, abs/1510.00077. doi:10.1093/jigpal/jzv033 Peer reviewed |
| Gabbay, D. M., & Straßer, C. (2015). Reactive standard deontic logic. Journal of Logic and Computation, 25 (1), 117--157. doi:10.1093/logcom/exs043 Peer reviewed |
 | Gabbay, D. M. (2015). The attack as strong negation, part I. Logic Journal of the IGPL. doi:10.1093/jigpal/jzv033 Peer reviewed |
Mughaz, D., HaCohen-Kerner, Y., & Gabbay, D. M. (2014). When Text Authors Lived Using Undated Citations. In D. Lamas & P. Buitelaar (Eds.), Multidisciplinary Information Retrieval (pp. 82-95). Springer International Publishing. doi:10.1007/978-3-319-12979-2_8 Peer reviewed |
Gabbay, D. M. (2014). What is a Logical System? An Evolutionary View: 1964-2014. In D. M. Gabbay, Siekmann, ... Woods (Eds.), Computational Logic (pp. 41-135). Elsevier. Peer reviewed |
Gabbay, D. M. (2014). The Equational Approach to Contrary-to-duty Obligations. In C. Beierle & C. Meghini (Eds.), Foundations of Information and Knowledge Systems (pp. 1-61). Springer International Publishing. doi:10.1007/978-3-319-04939-7_1 Peer reviewed |
Abraham, M., Belfer, I., Gabbay, D. M., & Schild, U. (2014). Platonic Realism and Talmudic Reasoning. In M. Abraham, D. M. Gabbay, ... U. Schild (Eds.), Platonic Realism and Talmudic Reasoning. College Publications. Peer reviewed |
Gabbay, D. M. (2014). Systems of Interacting Argumentation Networks. In Journal of Logics and their Applications (pp. 37-83). College Publications. Peer reviewed |
| Gabbay, D. M., & Rodrigues, O. (2014). A self-correcting iteration schema for argumentation networks. In Computational Models of Argument - Proceedings of COMMA 2014, Atholl Palace Hotel, Scottish Highlands, UK, September 9-12, 2014. doi:10.3233/978-1-61499-436-7-377 Peer reviewed |
| Barringer, H., Rydeheard, D. E., & Gabbay, D. M. (2014). Reactivity and Grammars: An Exploration. In Language, Culture, Computation. Computing - Theory and Technology - Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday Part I. doi:10.1007/978-3-642-45321-2_6 Peer reviewed |
Gabbay, D. M., & Grossi, D. (2014). When are Two Arguments the Same? Equivalence in Abstract Argumentation. In Johan van Benthem on Logic and Information Dynamics (pp. 677--701). ---. doi:10.1007/978-3-319-06025-5_25 Peer reviewed |
| Abraham, M., Gabbay, D. M., & Schild, U. J. (2014). The Handling of Loops in Talmudic Logic, with Application to Odd and Even Loops in Argumentation. In HOWARD-60: A Festschrift on the Occasion of Howard Barringer's 60th Birthday. Peer reviewed |
Siekmann, J. H., & Gabbay, D. M. (2014). Editorial Note. In Computational Logic. ---. doi:10.1016/B978-0-444-51624-4.50019-8 Peer reviewed |
Parent, X., van der Torre, L., & Gabbay, D. M. (2014). Intuitionistic basis for IOL. In S. O. Hansson (Ed.), David Makinson's outsanding contribution to non-classical logic. Springer. Peer reviewed |
| Gabbay, D. M., Pearce, D., & Valverde, A. I. (2014). Interpolable Formulas in Equilibrium Logic and Answer Set Programming. Journal of Artificial Intelligence Research, abs/1401.3897. Peer Reviewed verified by ORBi |
 | Gabbay, D. M.* , Gammaitoni, L.* , & Sun, X.*. (2014). The paradoxes of permission an action based solution. Journal of Applied Logic, 12 (2), 179–191. doi:10.1016/j.jal.2014.01.003 Peer reviewed* These authors have contributed equally to this work. |
| Gabbay, D. M., Robaldo, L., Sun, X., Torre, L. W. N. V. D., & Baniasadi, Z. (2014). Toward a Linguistic Interpretation of Deontic Paradoxes - Beth-Reichenbach Semantics Approach for a New Analysis of the Miners Scenario. In Deontic Logic and Normative Systems - 12th International Conference DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings. doi:10.1007/978-3-319-08615-6_9 Peer reviewed |
| Garcez, A. S. D. A., Gabbay, D. M., & Lamb, L. I. C. (2014). A neural cognitive model of argumentation with application to legal inference and decision making. Journal of Applied Logic, 12 (2), 109--127. doi:10.1016/j.jal.2013.08.004 Peer reviewed |
| Gabbay, D. M., Shapirovsky, I., & Shehtman, V. B. (2014). Products of modal logics and tensor products of modal algebras. Journal of Applied Logic, 12 (4), 570--583. doi:10.1016/j.jal.2014.08.002 Peer reviewed |
| Barker, S., Boella, G., Gabbay, D. M., & Genovese, V. (2014). Reasoning about delegation and revocation schemes in answer set programming. Journal of Logic and Computation, 24 (1), 89--116. doi:10.1093/logcom/exs014 Peer reviewed |
| Gabbay, D. M., & Rodrigues, O. (2014). An equational approach to the merging of argumentation networks. Journal of Logic and Computation, 24 (6), 1253--1277. doi:10.1093/logcom/ext060 Peer reviewed |
 | Sun, X., Gabbay, D. M., Robaldo, L., van der Torre, L., & Baniasadi, Z. (2014). Toward a Linguistic Interpretation of Deontic Paradoxes. In 12th International Conference Deontic Logic and Normative Systems. Peer reviewed |
| D'Agostino, M., Finger, M., & Gabbay, D. M. (2013). Semantics and proof-theory of depth bounded Boolean logics. Theor. Comput. Sci, 480, 43--68. doi:10.1016/j.tcs.2013.02.014 Peer reviewed |
Gabbay, D. M. (2013). Reactive Kripke Semantics. Springer. doi:10.1007/978-3-642-41389-6 |
Broersen, J., Cranefield, S., Elrakaiby, Y., Gabbay, D. M., Grossi, D., Lorini, E., Parent, X., van der Torre, L., Tummolini, L., Turrini, P., & Schwarzentruber, F. (2013). Normative Reasoning and Consequence. In Normative Multi-Agent Systems (pp. 33-70). Springer Netherlands. Peer reviewed |
| Villata, S., Boella, G., Gabbay, D. M., & Torre, L. W. N. V. D. (2013). A socio-cognitive model of trust using argumentation theory. International Journal of Approximate Reasoning, 54 (4), 541--559. doi:10.1016/j.ijar.2012.09.001 Peer reviewed |
| Abraham, M., Belfer, I., Gabbay, D. M., & Schild, U. J. (2013). Future determination of entities in Talmudic public announcement logic. Journal of Applied Logic, 11 (1), 63--90. doi:10.1016/j.jal.2012.06.001 Peer reviewed |
| Gabbay, D. M. (2013). Reactive Kripke models and contrary to duty obligations. Part A: Semantics. Journal of Applied Logic, 11 (1), 103--136. doi:10.1016/j.jal.2012.08.001 Peer reviewed |
 | Bochman, A., & Gabbay, D. M. (2012). Causal dynamic inference. Annals of Mathematics & Artificial Intelligence, 66 (1-4), 231-256. doi:10.1007/s10472-012-9319-5 Peer reviewed |
| Boer, M. D., Gabbay, D. M., Parent, X., & Slavkovic, M. (2012). Two dimensional Standard Deontic Logic [including a detailed analysis of the 1985 Jones-Pörn deontic logic system]. Synthese, 187 (2), 623--660. doi:10.1007/s11229-010-9866-4 Peer reviewed |
 | Gabbay, D. M., & Rodrigues, O. (2012). A Numerical Approach to the Merging of Argumentation Networks. In M. Fisher, L. Torre, M. Dastani, ... G. Governatori (Eds.), Computational Logic in Multi-Agent Systems (pp. 195--212). Berlin, Heidelberg, Unknown/unspecified: Springer Berlin Heidelberg. doi:10.1007/978-3-642-32897-8_14 Peer reviewed |
 | Villata, S., Boella, G., Gabbay, D. M., & van der Torre, L. (2012). Modelling defeasible and prioritized support in bipolar argumentation. Annals of Mathematics & Artificial Intelligence, 66 (1-4), 163-197. doi:10.1007/s10472-012-9317-7 Peer reviewed |
| Gabbay, D. M. (2012). What Is Negation as Failure? In Logic Programs, Norms and Action - Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday. doi:10.1007/978-3-642-29414-3_5 Peer reviewed |
| Bochman, A., & Gabbay, D. M. (2012). Sequential Dynamic Logic. Journal of Logic, Language and Information, 21 (3), 279--298. doi:10.1007/s10849-011-9152-y Peer reviewed |
Gabbay, D. M., Pelletier, F. J., & Woods, J. (2012). Preface. In Logic: A History of its Central Concepts. ---. doi:10.1016/B978-0-444-52937-4.50017-4 Peer reviewed |
 | Broersen, J., Gabbay, D. M., & van der Torre, L. (2012). Discussion Paper: Changing Norms Is Changing Obligation Change. In Deontic Logic in Computer Science (pp. 199-214). Springer. Peer reviewed |
 | Villata, S., Boella, G., Gabbay, D. M., & van der Torre, L. (2012). A logic of argumentation for specification and verification of abstract argumentation frameworks. Annals of Mathematics & Artificial Intelligence, 66 (1-4), 199-230. doi:10.1007/s10472-012-9318-6 Peer reviewed |
| Gabbay, D. M. (2012). Bipolar Argumentation Frames and Contrary to Duty Obligations, Preliminary Report. In Computational Logic in Multi-Agent Systems - 13th International Workshop CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings. doi:10.1007/978-3-642-32897-8_1 Peer reviewed |
| Gabbay, D. M. (2012). Temporal Deontic Logic for the Generalised Chisholm Set of Contrary to Duty Obligations. In Deontic Logic in Computer Science - 11th International Conference DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings. doi:10.1007/978-3-642-31570-1_7 Peer reviewed |
| Gabbay, D. M. (2012). The Equational Approach to CF2 Semantics. In Computational Models of Argument - Proceedings of COMMA 2012, Vienna Austria, September 10-12, 2012. doi:10.3233/978-1-61499-111-3-141 Peer reviewed |
| Gabbay, D. M. (2012). An Equational Approach to Logic Programming. In Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz. doi:10.1007/978-3-642-30743-0_19 Peer reviewed |
Gabbay, D. M., Kanamori, A., & Woods, J. (Eds.). (2012). Sets and Extensions in the Twentieth Century. Elsevier. |
Gabbay, D. M., Pelletier, F. J., & Woods, J. (Eds.). (2012). Logic: A History of its Central Concepts. Elsevier. |
| Barringer, H., Gabbay, D. M., & Woods, J. (2012). Temporal, numerical and meta-level dynamics in argumentation networks. Argument and Computation, 3 (2-3), 143--202. doi:10.1080/19462166.2012.704397 Peer reviewed |
| Gabbay, D. M. (2012). Equational approach to argumentation networks. Argument and Computation, 3 (2-3), 87--142. doi:10.1080/19462166.2012.704398 Peer reviewed |
| Barringer, H., Gabbay, D. M., & Woods, J. (2012). Modal and temporal argumentation networks. Argument and Computation, 3 (2-3), 203--227. doi:10.1080/19462166.2012.704399 Peer reviewed |
 | Gabbay, D. M. (2012). Introducing reactive Kripke semantics and arc accessibility. Annals of Mathematics & Artificial Intelligence, 66 (1-4), 7-53. doi:10.1007/s10472-012-9313-y Peer reviewed |
 | Gabbay, D. M., & Marcelino, S. (2012). Global view on reactivity: switch graphs and their logics. Annals of Mathematics & Artificial Intelligence, 66 (1-4), 131-162. doi:10.1007/s10472-012-9316-8 Peer reviewed |
 | Gabbay, D. M. (2012). Introducing reactive modal tableaux. Annals of Mathematics & Artificial Intelligence, 66 (1-4), 55-79. doi:10.1007/s10472-012-9314-x Peer reviewed |
 | Benzmuller, C., Gabbay, D. M., Genovese, V., & Rispoli, D. (2012). Embedding and automating conditional logics in classical higher-order logic. Annals of Mathematics & Artificial Intelligence, 66 (1-4), 257-271. doi:10.1007/s10472-012-9320-z Peer reviewed |
 | Gabbay, D. M. (2012). Overview on the connection between reactive Kripke models and argumentation networks. Annals of Mathematics & Artificial Intelligence, 66 (1-4), 1-5. doi:10.1007/s10472-012-9312-z Peer reviewed |
 | Gabbay, D. M. (2012). Completeness theorems for reactive modal logics. Annals of Mathematics & Artificial Intelligence, 66 (1-4), 81-129. doi:10.1007/s10472-012-9315-9 Peer reviewed |
| Abraham, M., Gabbay, D. M., & Schild, U. J. (2012). Contrary to time conditionals in Talmudic logic. Artificial Intelligence and Law, 20 (2), 145--179. doi:10.1007/s10506-012-9123-x Peer reviewed |
 | Boella, G., Gabbay, D. M., Perotti, A., van der Torre, L., & Villata, S. (2011). Argumentative Agents Negotiating on Potential Attacks. In KES-AMSTA (pp. 280–290). Springer. doi:10.1007/978-3-642-22000-5\_30 Peer reviewed |
 | Villata, S., Boella, G., Gabbay, D. M., & van der Torre, L. (2011). Arguing about the Trustworthiness of the Information Sources. In ECSQARU (pp. 74–85). Springer. doi:10.1007/978-3-642-22152-1\_7 Peer reviewed |
 | Gabbay, D. M. (2011). Introducing Equational Semantics for Argumentation Networks. In ECSQARU (pp. 19–35). Springer. doi:10.1007/978-3-642-22152-1\_2 Peer reviewed |
 | Gabbay, D. M. (2011). Dung’s Argumentation is Essentially Equivalent to Classical Propositional Logic with the Peirce-Quine Dagger. Logica Universalis, 5 (2), 255 - 318. doi:10.1007/s11787-011-0036-3 Peer Reviewed verified by ORBi |
 | Gabbay, D. M. (2011). Reactive intuitionistic tableaux. Synthese, 179 (2), 253–269. doi:10.1007/s11229-010-9781-8 Peer reviewed |
Gabbay, D. M., & Schlechta, K. (2011). Conditionals and Modularity in General Logics. Springer. |
 | Abraham, M., Gabbay, D. M., & Schild, U. J. (2011). Obligations and prohibitions in Talmudic deontic logic. Artificial Intelligence and Law, 19 (2-3), 117–148. doi:10.1007/s10506-011-9109-0 Peer reviewed |
 | Crochemore, M., & Gabbay, D. M. (2011). Reactive automata. Information and Computation, 209 (4), 692–704. doi:10.1016/j.ic.2011.01.002 Peer reviewed |
 | Villata, S., Boella, G., Gabbay, D. M., & van der Torre, L. (2010). Arguing about Trust in Multiagent Systems. Proceedings of the 11th Symposium on Artificial Intelligence of the Italian Association for Artificial Intelligence (AIIA'10), 236–243. Peer reviewed |
 | Boella, G., Gabbay, D. M., van der Torre, L., & Villata, S. (2010). Support in Abstract Argumentation. Proceedings of the Third International Conference on Computational Models of Argument (COMMA'10), 40–51. doi:10.3233/978-1-60750-619-5-111 Peer reviewed |
 | Boella, G., Gabbay, D. M., Genovese, V., & van der Torre, L. (2010). Higher-Order Coalition Logic. Bibliothèque(s): Revue de l'Association des Bibliothécaires de France, 555–560. doi:10.3233/978-1-60750-606-5-555 Peer reviewed |
 | Genovese, V., Rispoli, D., Gabbay, D. M., & van der Torre, L. (2010). Modal Access Control Logic - Axiomatization, Semantics and FOl Theorem Proving. STAIRS 2010, 114-126. doi:10.3233/978-1-60750-676-8-114 Peer reviewed |
 | Gabbay, D. M., & Schlechta, K. (2010). A Comment on Work by Booth and Co-authors. Studia Logica, 94 (3), 403–432. doi:10.1007/s11225-010-9237-7 Peer reviewed |
 | Gabbay, D. M., & Schlechta, K. (2010). A Theory of Hierarchical Consequence and Conditionals. Journal of Logic, Language and Information, 19 (1), 3–32. doi:10.1007/s10849-009-9096-7 Peer reviewed |
Gabbay, D. M., Abraham, M., & Schild, U. (2010). Non-Deductive Inference in the Talmud. College Publications. |
 | Abraham, M., Gabbay, D. M., & Schild, U. J. (2010). Obligations and Prohibitions in Talmudic Deontic Logic. DEON, 166–178. doi:10.1007/978-3-642-14183-6_13 Peer reviewed |
 | Boella, G., Gabbay, D. M., & Villata, S. (2010). Subsumption and Count as Relation in Arguments Ontologies. Proceedings of the 13th International Workshop on Non-Monotonic Reasoning (NMR'10). Peer reviewed |
 | Boella, G., Gabbay, D. M., Perotti, A., & Villata, S. (2010). Coalition Formation via Negotiation in Multiagent Systems with Voluntary Attacks. Proceedings of the 22th Belgian-Netherlands Conference on Artificial Intelligence (BNAIC'10), 25–32. Peer reviewed |
 | Boella, G., Gabbay, D. M., van der Torre, L., & Villata, S. (2009). Meta-Argumentation part 1. Studia Logica. doi:10.1007/s11225-009-9213-2 Peer reviewed |
| Gabbay, D. M. (2009). Modal Foundations for Argumentation Networks. Studia Logica. doi:10.1007/s11225-009-9215-0 Peer reviewed |
| Gabbay, D. M., & Schlechta, K. (2009). A Theory of Hierarchical Conditionals. Journal of Logic, Language and Information. doi:10.10078/s10849-009-9096-7 Peer reviewed |
| Gabbay, D. M., & Szalas, A. (2009). Voting with Second Order Quantifier Elimination. Studia Logica, 92 (3), 365–379. Peer reviewed |
Metcalfe, G., Olivetti, N., & Gabbay, D. M. (2009). Proof theory for Fuzzy logics. Springer. doi:10.1007/978-1-4020-9409-5 |
 | Gabbay, D. M. (2009). Semantics for Higher Level Attacks in Extended Argumentation Frames Part 1: Overview. Studia Logica, 93 (2-3), 357–381. doi:10.1007/s11225-009-9211-4 Peer reviewed |
 | Abraham, M., Gabbay, D. M., & Schild, U. (2009). Analysis of the Talmudic Argumentum A Fortiori Inference Rule (Kal-Vachomer) using Matrix Abduction. Studia Logica, 92 (3), 281–364. doi:10.1007/s11225-009-9202-5 Peer reviewed |
 | Gabbay, D. M., & Woods, J. (2009). Fallacies as Cognitive Virtues. Logic, Games and Philosophy: Foundational Perspectives, 57–98. Peer reviewed |
 | Caminada, M., & Gabbay, D. M. (2009). A logical account of formal argumentation. Studia Logica. doi:10.1007/s11225-009-9218-x Peer reviewed |
Gabbay, D. M., Engesser, K., & Lehmann, D. (2009). Non-Monotonicity and Holicity in Quantum Logic. In HANDBOOK OF QUANTUM LOGIC AND QUANTUM STRUCTURES: QUANTUM LOGIC (pp. 587–623). Elsevier. Peer reviewed |
Gabbay, D. M., Rodrigues, O., & Russo, A. (2009). Revision, Acceptability and Context. Springer. |
Gabbay, D. M., Shehtman, V., & Skvortsov, D. (2009). Quantification in Non-classical Logics. Elsevier. |
Gabbay, D. M., & Schlechta, K. (2009). Logical Tools for Handling Change in Agent-based Systems. Springer. |
 | Barker, S., Guido, B., Gabbay, D. M., & Genovese, V. (2009). A meta-model of access control in a fibred security language. Studia Logica, 92 (3), 437-477. doi:10.1007/s11225-009-9203-4 Peer reviewed |
 | Gabbay, D. M. (2009). Fibring Argumentation Frames. Studia Logica. doi:10.1007/s11225-009-9217-y Peer reviewed |
 | Gabbay, D. M., & Szalas, A. (2009). Annotation theories over finite graphs. Studia Logica. doi:10.1007/s11225-009-9220-3 Peer reviewed |
 | Gabbay, D. M., & Marcelino, S. (2009). Modal Logics of Reactive Frames. Studia Logica. doi:10.1007/s11225-009-9214-1 Peer reviewed |
 | Gabbay, D. M., & Schlechta, K. (2009). Roadmap for Preferential Logics. Journal of Applied Non-Classical Logics, 19 (1), 43–95. doi:10.3166/JANCL.19.43-95 Peer reviewed |
 | Gabbay, D. M., & Schlechta, K. (2009). Independence-Revision and Defaults. Studia Logica, 92 (3), 381–394. doi:10.1007/s11225-009-9199-9 Peer reviewed |
 | Gabbay, D. M., & Schlechta, K. (2009). An Analysis of Defeasible Inheritance Systems. Logic Journal of the IGPL, 17–54. doi:10.1093/jigpal/jzn021 Peer reviewed |
 | Gabbay, D. M., & Schlechta, K. (2009). Reactive Preferencial Structures and Nonmonotonic consequence. In Review of Symbolic Logic (pp. 414–450). doi:10.1017/S1755020309090248 Peer reviewed |
 | Gabbay, D. M., & Garcez, A. S. D. A. (2009). Logical Modes of Attack in Argumentation Networks. Studia Logica. doi:10.1007/s11225-009-9216-z Peer reviewed |
 | Gabbay, D. M., & Szalas, A. (2009). Voting by Eliminating Quantifiers. Studia Logica, 92 (3), 365–379. doi:10.1007/s11225-009-9200-7 Peer reviewed |
 | Gabbay, D. M., & Schlechta, K. (2009). Reactive Preferential Structures and Nonmonotonic consequence. Review of Symbolic Logic, 2 (2), 414–450. doi:10.1017/S1755020309090248 Peer Reviewed verified by ORBi |
| Gabbay, D. M., & Schlechta, K. (2009). Size and Logic. Review of Symbolic Logic, 2 (2), 396–404. doi:10.1017/S1755020309090224 Peer Reviewed verified by ORBi |
Grossi, D., Gabbay, D. M., & van der Torre, L. (2008). A Normative View on The Blocks World. Proceedings of the 3rd International Workshop on Normative Multiagent Systems (NorMAS'08), 128–142. Peer reviewed |
Gabbay, D. M., Schmidt, R., & Szalas, A. (2008). Second-order Quantifier Elimination Foundations, Computational Aspects and Applications (Studies in Logic Mathematical Logic and Foundations). College publications. |
Gabbay, D. M., Russo, A., & Rodrigues, O. (2008). Belief Revision. In Handbook of Philosophical Logic. Springer. doi:10.1017/S1755020308080246 Peer reviewed |
Gabbay, D. M., Garcez, A. S. D. A., & Lamb, L. C. (2008). Connectionist Non-classical Logics: Distributed Reasoning & Learning in Neural Networks. Springer-Verlag. |
Carnielli, W., Coniglio, M., Gabbay, D. M., Gouveia, P., & Sernadas, C. (2008). Analysis and synthesis of logics. Springer. |
Gabbay, D. M., Engesser, K., & Lehmann, D. (2008). Quantum Logic. College publications. |
 | Gabbay, D. M., & Woods, J. (2008). Resource-origins of Nonmonotonicity. Studia Logica, 88 (1), 85–112. doi:10.1007/s11225-008-9100-2 Peer reviewed |
 | Gabbay, D. M. (2008). Reactive Kripke Models and Contrary to Duty Obligations. In Deontic Logic in Computer Science, 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings (pp. 155–173). Springer. Peer reviewed |
 | Gabbay, D. M. (2008). Introducing Reactive Kripke Semantics and Arc Accessibility. In Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday (pp. 292–341). Springer. Peer reviewed |
 | D'Agostino, G.-C., & Gabbay, D. M. (2008). Cut-Based Abduction. Journal of Logic and Computation, 16 (6), 537–560. Peer reviewed |
| Gabbay, D. M., & Pnueli, A. (2008). A Sound and Complete Deductive System for CTL Verification. Journal of Logic and Computation, 16 (6), 499–536. Peer reviewed |
 | Gabbay, D. M., & Schlechta, K. (2008). Cumulativity without closure of the domain under finite unions. Review of Symbolic Logic, 1 (03), 267–304. doi:10.1017/S1755020308080258 Peer Reviewed verified by ORBi |
| Gabbay, D. M., Russo, A., & Rodrigues, O. (2008). Belief Revision in Non-classical Logic II. Review of Symbolic Logic, 1 (03), 267–304. doi:10.1017/S1755020308080246 Peer Reviewed verified by ORBi |
Engesser, K., Gabbay, D. M., & Lehmann, D. (2007). A New Approach to Quantum Logic. College publications. |
 | Gabbay, D. M., Pigozzi, G., & Rodrigues, O. (2007). Common Foundations for Belief Revision, Belief Merging and Voting. In Formal Models of Belief Change in Rational Agents. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI). Peer reviewed |
 | Gabbay, D. M., Pigozzi, G., & Rodrigues, O. (2006). Belief revision, belief merging and voting. Proceedings of the Seventh Conference on Logic and the Foundations of Games and Decision Theory (LOFT06), 71–78. Peer reviewed |