Dov M. Gabbay - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 100 from 319

2023

2022

2021

2020

2019

The Talmudic Logic Project, Ongoing Since 2008Dov M. Gabbay, Uri J. Schild, Esther David. lu, 13(4):425-442, 2019. [doi]

Text Mining for Evaluating Authors' Birth and Death YearsDror Moghaz, Yaakov HaCohen-Kerner, Dov M. Gabbay. tkdd, 13(1), 2019. [doi]

2018

EditorialDov M. Gabbay, Jörg H. Siekmann. flap, 5(1):1-4, 2018. [doi]

Present and Future of Formal Argumentation (Dagstuhl Perspectives Workshop 15362)Dov M. Gabbay, Massimiliano Giacomin, Beishui Liao, Leendert W. N. van der Torre. dagstuhl-manifestos, 7(1):69-95, 2018. [doi]

Argumentation as Exogenous CoordinationLeendert W. N. van der Torre, Tjitze Rienstra, Dov M. Gabbay. BIRTHDAY 2018: 208-223 [doi]

2017

PrefaceMatthias Baaz, Agata Ciabattoni, Dov M. Gabbay, Stefan Hetzl, Daniel Weller. logcom, 27(2):415, 2017. [doi]

EditorialPietro Baroni, Dov M. Gabbay, Massimiliano Giacomin, Leon van der Torre. flap, 4(8), 2017. [doi]

Reasoning under the Influence of Universal Distortion. Sex Offenders Case StudyDov M. Gabbay, Gadi Rozenberg, Lydia Rivlin. flap, 4(6), 2017. [doi]

Reasoning Schemes, Expert Opinion and Critical Questions. Sex Offenders Case StudyDov M. Gabbay, Gadi Rozenberg. flap, 4(6), 2017. [doi]

Algorithms in Philosophy, Informatics and Logic. A Position Manifesto 2017Dov M. Gabbay, Jörg H. Siekmann. flap, 4(5), 2017. [doi]

HEAL2100: Human Effective Argumentation and Logic for the 21st Century. The Next Step in the Evolution of LogicDov M. Gabbay, Lydia Rivlin. flap, 4(6), 2017. [doi]

Mining and Using Key-Words and Key-Phrases to Identify the Era of an Anonymous TextDror Mughaz, Yaakov HaCohen-Kerner, Dov M. Gabbay. tcci, 26:119-143, 2017. [doi]

2016

Quantum States and Disjunctive Attacks in Talmudic LogicMichael Abraham, Israel Belfer, Uri J. Schild, Dov M. Gabbay. flap, 3(5):789-814, 2016. [doi]

Identity Merging and Identity Revision in Talmudic Logic: An Outline PaperMichael Abraham, Israel Belfer, Uri J. Schild, Dov M. Gabbay. BIRTHDAY 2016: 195-209

Introduction to the special issue on Loops in ArgumentationPietro Baroni, Dov M. Gabbay, Massimiliano Giacomin. logcom, 26(4):1051-1053, 2016. [doi]

A New Perspective on Nonmonotonic LogicsDov M. Gabbay, Karl Schlechta. Springer, 2016. [doi]

The attack as intuitionistic negationDov M. Gabbay, Michael Gabbay. igpl, 24(5):807-837, 2016. [doi]

Theory of disjunctive attacks, Part IDov M. Gabbay, Michael Gabbay. igpl, 24(2):186-218, 2016. [doi]

Theory of Semi-Instantiation in Abstract ArgumentationDov M. Gabbay. lu, 10(4):431-516, 2016. [doi]

The handling of loops in argumentation networksDov M. Gabbay. logcom, 26(4):1065-1147, 2016. [doi]

Logical foundations for bipolar and tripolar argumentation networks: preliminary resultsDov M. Gabbay. logcom, 26(1):247-292, 2016. [doi]

Argumentation as Information Input: A Position PaperDov M. Gabbay, Michael Gabbay. comma 2016: 311-318 [doi]

Further Applications of the Gabbay-Rodrigues Iteration Schema in Argumentation and Revision TheoriesDov M. Gabbay, Odinaldo Rodrigues. BIRTHDAY 2016: 392-408

Degrees of "in", "out" and "undecided" in Argumentation NetworksDov M. Gabbay, Odinaldo Rodrigues. comma 2016: 319-326 [doi]

Introducing Bayesian Argumentation NetworksDov M. Gabbay, Odinaldo Rodrigues. flap, 3(2):241-278, 2016. [doi]

Editorial PrefaceMatthias Thimm, Dov M. Gabbay. flap, 3(2):175-176, 2016. [doi]

2015

Editorial comment about "On the Difference between ABA and AA"Dov M. Gabbay. flap, 2(1):1-14, 2015. [doi]

The attack as strong negation, part IDov M. Gabbay, Michael Gabbay. igpl, 23(6):881-941, 2015. [doi]

Present and Future of Formal Argumentation (Dagstuhl Perpectives Workshop 15362)Dov M. Gabbay, Massimiliano Giacomin, Beishui Liao, Leendert W. N. van der Torre. dagstuhl-reports, 5(8):74-89, 2015. [doi]

Probabilistic Argumentation: An Equational ApproachDov M. Gabbay, Odinaldo Rodrigues. lu, 9(3):345-382, 2015. [doi]

Equilibrium States in Numerical Argumentation NetworksDov M. Gabbay, Odinaldo Rodrigues. lu, 9(4):411-473, 2015. [doi]

Reactive standard deontic logicDov M. Gabbay, Christian Straßer. logcom, 25(1):117-157, 2015. [doi]

Key-Phrases as Means to Estimate Birth and Death Years of Jewish Text AuthorsDror Mughaz, Yaakov HaCohen-Kerner, Dov M. Gabbay. cost 2015: 108-126 [doi]

2014

The Handling of Loops in Talmudic Logic, with Application to Odd and Even Loops in ArgumentationMichael Abraham, Dov M. Gabbay, Uri J. Schild. BIRTHDAY 2014: 140-164 [doi]

Reasoning about delegation and revocation schemes in answer set programmingSteve Barker, Guido Boella, Dov M. Gabbay, Valerio Genovese. logcom, 24(1):89-116, 2014. [doi]

Reactivity and Grammars: An ExplorationHoward Barringer, David E. Rydeheard, Dov M. Gabbay. BIRTHDAY 2014: 103-155 [doi]

Abduction and Dialogical Proof in Argumentation and Logic ProgrammingRichard Booth, Dov M. Gabbay, Souhila Kaci, Tjitze Rienstra, Leendert W. N. van der Torre. ecai 2014: 117-122 [doi]

A neural cognitive model of argumentation with application to legal inference and decision makingArtur S. d'Avila Garcez, Dov M. Gabbay, Luís C. Lamb. japll, 12(2):109-127, 2014. [doi]

What is a logical system? An evolutionary view: 1964-2014Dov M. Gabbay. In Jörg H. Siekmann, editor, Computational Logic. Volume 9 of Handbook of the History of Logic, pages 41-132, Elsevier, 2014. [doi]

Systems of Interacting Argumentation NetworksDov M. Gabbay. flap, 1(1):131-176, 2014. [doi]

Products of modal logics and tensor products of modal algebrasDov M. Gabbay, Ilya Shapirovsky, Valentin B. Shehtman. japll, 12(4):570-583, 2014. [doi]

The Equational Approach to Contrary-to-duty ObligationsDov M. Gabbay. foiks 2014: 1-61 [doi]

When are Two Arguments the Same? Equivalence in Abstract ArgumentationDov M. Gabbay, Davide Grossi. In Alexandru Baltag, Sonja Smets, editors, Johan van Benthem on Logic and Information Dynamics. pages 677-701, Springer, 2014. [doi]

A self-correcting iteration schema for argumentation networksDov M. Gabbay, Odinaldo Rodrigues. comma 2014: 377-384 [doi]

An equational approach to the merging of argumentation networksDov M. Gabbay, Odinaldo Rodrigues. logcom, 24(6):1253-1277, 2014. [doi]

Toward a Linguistic Interpretation of Deontic Paradoxes - Beth-Reichenbach Semantics Approach for a New Analysis of the Miners ScenarioDov M. Gabbay, Livio Robaldo, Xin Sun, Leendert van der Torre, Zohreh Baniasadi. deon 2014: 108-123 [doi]

The paradoxes of permission an action based solutionDov M. Gabbay, Loïc Gammaitoni, Xin Sun. japll, 12(2):179-191, 2014. [doi]

When Text Authors Lived Using Undated CitationsDror Mughaz, Yaakov HaCohen-Kerner, Dov M. Gabbay. irfc 2014: 82-95 [doi]

Editorial NoteJörg H. Siekmann, Dov M. Gabbay. In Jörg H. Siekmann, editor, Computational Logic. Volume 9 of Handbook of the History of Logic, Elsevier, 2014. [doi]

2013

Normative Reasoning and ConsequenceJan Broersen, Stephen Cranefield, Yehia Elrakaiby, Dov M. Gabbay, Davide Grossi, Emiliano Lorini, Xavier Parent, Leendert W. N. van der Torre, Luca Tummolini, Paolo Turrini, François Schwarzentruber. Dagstuhl 2013: 33-70 [doi]

Semantics and proof-theory of depth bounded Boolean logicsMarcello D'Agostino, Marcelo Finger, Dov M. Gabbay. TCS, 480:43-68, 2013. [doi]

Reactive Kripke SemanticsDov M. Gabbay. Cognitive Technologies, Springer, 2013. [doi]

Reactive Kripke models and contrary to duty obligations. Part A: SemanticsDov M. Gabbay. japll, 11(1):103-136, 2013. [doi]

A socio-cognitive model of trust using argumentation theorySerena Villata, Guido Boella, Dov M. Gabbay, Leendert van der Torre. ijar, 54(4):541-559, 2013. [doi]

2012

Contrary to time conditionals in Talmudic logicMichael Abraham, Dov M. Gabbay, Uri J. Schild. ail, 20(2):145-179, 2012. [doi]

Modal and temporal argumentation networksHoward Barringer, Dov M. Gabbay, John Woods. argcom, 3(2-3):203-227, 2012. [doi]

Temporal, numerical and meta-level dynamics in argumentation networksHoward Barringer, Dov M. Gabbay, John Woods. argcom, 3(2-3):143-202, 2012. [doi]

Embedding and automating conditional logics in classical higher-order logicChristoph Benzmüller, Dov M. Gabbay, Valerio Genovese, Daniele Rispoli. AMAI, 66(1-4):257-271, 2012. [doi]

Sequential Dynamic LogicAlexander Bochman, Dov M. Gabbay. jolli, 21(3):279-298, 2012. [doi]

Causal dynamic inferenceAlexander Bochman, Dov M. Gabbay. AMAI, 66(1-4):231-256, 2012. [doi]

Discussion Paper: Changing Norms Is Changing Obligation ChangeJan Broersen, Dov M. Gabbay, Leendert van der Torre. deon 2012: 199-214 [doi]

Two dimensional Standard Deontic Logic [including a detailed analysis of the 1985 Jones-Pörn deontic logic system]Mathijs de Boer, Dov M. Gabbay, Xavier Parent, Marija Slavkovic. synthese, 187(2):623-660, 2012. [doi]

PrefaceDov M. Gabbay, Francis Jeffry Pelletier, John Woods. In Dov M. Gabbay, Francis Jeffry Pelletier, John Woods, editors, Logic: A History of its Central Concepts. Volume 11 of Handbook of the History of Logic, Elsevier, 2012. [doi]

Completeness theorems for reactive modal logicsDov M. Gabbay. AMAI, 66(1-4):81-129, 2012. [doi]

Global view on reactivity: switch graphs and their logicsDov M. Gabbay, Sérgio Marcelino. AMAI, 66(1-4):131-162, 2012. [doi]

Introducing reactive modal tableauxDov M. Gabbay. AMAI, 66(1-4):55-79, 2012. [doi]

Overview on the connection between reactive Kripke models and argumentation networksDov M. Gabbay. AMAI, 66(1-4):1-5, 2012. [doi]

Introducing reactive Kripke semantics and arc accessibilityDov M. Gabbay. AMAI, 66(1-4):7-53, 2012. [doi]

Equational approach to argumentation networksDov M. Gabbay. argcom, 3(2-3):87-142, 2012. [doi]

Bipolar Argumentation Frames and Contrary to Duty Obligations, Preliminary ReportDov M. Gabbay. clima 2012: 1-24 [doi]

Temporal Deontic Logic for the Generalised Chisholm Set of Contrary to Duty ObligationsDov M. Gabbay. deon 2012: 91-107 [doi]

An Equational Approach to Logic ProgrammingDov M. Gabbay. BIRTHDAY 2012: 279-295 [doi]

The Equational Approach to CF2 SemanticsDov M. Gabbay. comma 2012: 141-152 [doi]

What Is Negation as Failure?Dov M. Gabbay. BIRTHDAY 2012: 52-78 [doi]

A Numerical Approach to the Merging of Argumentation NetworksDov M. Gabbay, Odinaldo Rodrigues. clima 2012: 195-212 [doi]

Modelling defeasible and prioritized support in bipolar argumentationSerena Villata, Guido Boella, Dov M. Gabbay, Leendert van der Torre. AMAI, 66(1-4):163-197, 2012. [doi]

A logic of argumentation for specification and verification of abstract argumentation frameworksSerena Villata, Guido Boella, Dov M. Gabbay, Leendert van der Torre, Joris Hulstijn. AMAI, 66(1-4):199-230, 2012. [doi]

2011

The Functional Interpretation of Logical DeductionRuy J. G. B. de Queiroz, Anjolina Grisi de Oliveira, Dov M. Gabbay. Volume 5 of Advances in Logic, World Scientific, 2011. [doi]

Conditionals and Modularity in General LogicsDov M. Gabbay, Karl Schlechta. Cognitive Technologies, Springer, 2011. [doi]

The Law of Evidence and Labelled Deduction: A Position PaperDov M. Gabbay, John Woods. In Dov M. Gabbay, Patrice Canivez, Shahid Rahman, Alexandre Thiercelin, editors, Approaches to Legal Rationality. Volume 20 of Logic, Epistemology, and the Unity of Science, pages 295-331, Springer, 2011. [doi]

All Publications

Filter by Year

[-]
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'Dov M. Gabbay'

Viewing Publication 1 - 100 from 319

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

All Publications

Filter by Year [-]OR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'Dov M. Gabbay'

Viewing Publication 1 - 100 from 319

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

Filter by Year

[-]
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1