Profil

GABBAY Dov M.

Main Referenced Co-authors
VAN DER TORRE, Leon  (21)
Abraham, Michael (11)
Schlechta, Karl (11)
Rodrigues, Odinaldo (10)
Villata, Serena (10)
Main Referenced Keywords
Argumentation (7); Computer circuits (3); Semantics (3); Abstract argumentation (2); Citation analysis; Hebrew; Hebrew-Aramaic documents; knowledge discovery; time analysis; undated citations; undated documents (2);
Main Referenced Disciplines
Computer science (163)

Publications (total 163)

The most downloaded
781 downloads
Gabbay, D. M. (2009). Fibring Argumentation Frames. Studia Logica. doi:10.1007/s11225-009-9217-y https://hdl.handle.net/10993/15881

The most cited

243 citations (Scopus®)

Caminada, M., & Gabbay, D. M. (2009). A logical account of formal argumentation. Studia Logica. doi:10.1007/s11225-009-9218-x https://hdl.handle.net/10993/16339

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

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

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

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

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., 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

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., & 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

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. (2021). What is Negation in a System 2020? IfCoLog Journal of Logics and Their Applications, 8 (7), 1977--2034.
Peer reviewed

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

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

Gabbay, D. M. (2020). Introducing Abstract Argumentation with Many Lives. Journal of Applied Logic, 2631 (3), 295.
Peer Reviewed verified by ORBi

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

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

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

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

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

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. (2017). Reasoning Schemes, Expert Opinions and Critical Questions. Sex Offenders Case Study. 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

D'Agostino, M., & Gabbay, D. M. (2017). Feasible Deduction for Realistic Agents. College Publications.

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

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. (2016). Theory of Semi-Instantiation in Abstract Argumentation. Logica Universalis, 10 (4), 431--516. doi:10.1007/s11787-015-0133-9
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., & Rodrigues, O. (2016). Introducing Bayesian Argumentation Networks. IfCoLog Journal of Logics and Their Applications.
Peer reviewed

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. (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

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., & Rodrigues, O. (2015). Equilibrium States in Numerical Argumentation Networks. Logica Universalis, 9 (4), 411--473. doi:10.1007/s11787-015-0119-7
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

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.

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

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

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., 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

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

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

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

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

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

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

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). 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

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

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

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., & 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

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). 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

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

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

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

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). Equational approach to argumentation networks. Argument and Computation, 3 (2-3), 87--142. doi:10.1080/19462166.2012.704398
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

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.

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

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

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

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

Gabbay, D. M., Abraham, M., & Schild, U. (2010). Non-Deductive Inference in the Talmud. College Publications.

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., & 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

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

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

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., 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., & 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

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., & Schlechta, K. (2009). An Analysis of Defeasible Inheritance Systems. Logic Journal of the IGPL, 17–54. doi:10.1093/jigpal/jzn021
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

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

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). Logical Tools for Handling Change in Agent-based Systems. Springer.

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.

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

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). 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

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., & Szalas, A. (2009). Voting with Second Order Quantifier Elimination. Studia Logica, 92 (3), 365–379.
Peer reviewed

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

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

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

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., Schmidt, R., & Szalas, A. (2008). Second-order Quantifier Elimination Foundations, Computational Aspects and Applications (Studies in Logic Mathematical Logic and Foundations). College publications.

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., Russo, A., & Rodrigues, O. (2008). Belief Revision. In Handbook of Philosophical Logic. Springer. doi:10.1017/S1755020308080246
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

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

Engesser, K., Gabbay, D. M., & Lehmann, D. (2007). A New Approach to Quantum Logic. College publications.

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

Contact ORBilu