Dov M. Gabbay - RankMe

365 papers A* 8A 5B 13C 14Misc 4Journal 211Unranked 53

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Interpretable named entity recognition via integrating logical rule learning with deep neural networks. Expert Syst. Appl. Yulin Chen, Bo Yuan, Beishui Liao, Dov M. Gabbay, Lu Cheng
2025	J	`jnl`	Forgetting in Abstract Argumentation: Limits and Possibilities. J. Artif. Intell. Res. Ringo Baumann, Matti Berthold, Dov M. Gabbay, Odinaldo Rodrigues
2025	J	`jnl`	From Knowledge to Action: Logics of Permitted and Obligatory Announcements. J. Artif. Intell. Res. Xu Li, Guillaume Aucher, Dov M. Gabbay, Réka Markovich
2025	—	`conf`	Interpretable Biomedical Named Entity Recognition via BLSTM with Talmudic Public Announcement Logic. CLAR Yulin Chen, Beishui Liao, Bruno Bentzen, Bo Yuan, Zelai Yao, Haixiao Chi, Dov M. Gabbay
2025	J	`jnl`	The use of logic and argumentation in therapy of sex offenders. Log. J. IGPL Dov M. Gabbay, Gadi Rozenberg, Lydia Rivlin
2023	J	`jnl`	A comprehensive account of the burden of persuasion in abstract argumentation. J. Log. Comput. Timotheus Kampik, Dov M. Gabbay, Giovanni Sartor
2023	J	`jnl`	A self-explanatory contrastive logical knowledge learning method for sentiment analysis. Knowl. Based Syst. Yulin Chen, Bo Yuan, Beishui Liao, Dov M. Gabbay
2023	J	`jnl`	Dripping the Poison: The Instruments of Bias. A Qualitative Case Study of News Articles in Four Languages over Nine Years. FLAP Sviatlana Höhn, Barbara Lewandowska-Tomaszczyk, Sjouke Mauw, Dov M. Gabbay
2023	J	`jnl`	Evolutionary Temporal Logic for Modelling Many-Lives Argumentation Networks. FLAP Dov M. Gabbay, Gadi Rozenberg
2022	J	`jnl`	BTPK-based learning: An Interpretable Method for Named Entity Recognition. CoRR Yulin Chen, Zelai Yao, Haixiao Chi, Dov M. Gabbay, Bo Yuan, Bruno Bentzen, Beishui Liao
2022	—	`conf`	Case-Based Reasoning via Comparing the Strength Order of Features. EXTRAAMAS@AAMAS Liuwen Yu, Dov M. Gabbay
2022	A*	`conf`	Dynamic Deontic Logic for Permitted Announcements. KR Xu Li, Dov M. Gabbay, Réka Markovich
2022	J	`jnl`	Ensuring reference independence and cautious monotony in abstract argumentation. Int. J. Approx. Reason. Timotheus Kampik, Juan Carlos Nieves, Dov M. Gabbay
2022	J	`jnl`	The Law of Evidence and Labelled Deduction: Ten Years Later. FLAP Dov M. Gabbay, John Woods
2022	C	`conf`	Value-Based Practical Reasoning: Modal Logic + Argumentation. COMMA Jieting Luo, Beishui Liao, Dov M. Gabbay
2022	J	`jnl`	Value-based Practical Reasoning: Modal Logic + Argumentation. CoRR Jieting Luo, Beishui Liao, Dov M. Gabbay
2021	—	`conf`	Explainable Reasoning in Face of Contradictions: From Humans to Machines. EXTRAAMAS@AAMAS Timotheus Kampik, Dov M. Gabbay
2021	—	`conf`	If You Want to Smoke, Don't Buy Cigarettes: Near-Anankastics, Contexts, and Hyper Modality. DEON Kees van Berkel, Dov M. Gabbay, Leendert van der Torre
2021	J	`jnl`	Preface. FLAP Dov M. Gabbay, Massimiliano Giacomin, Guillermo Ricardo Simari, Matthias Thimm
2021	—	`conf`	The Burden of Persuasion in Abstract Argumentation. CLAR Timotheus Kampik, Dov M. Gabbay, Giovanni Sartor
2021	C	`conf`	The Degrees of Monotony-Dilemma in Abstract Argumentation. ECSQARU Timotheus Kampik, Dov M. Gabbay
2021	J	`jnl`	What is Negation in a System 2020? FLAP Dov M. Gabbay
2020	—	`conf`	A Bimodal Simulation of Defeasibility in the Normative Domain. FCR@KI Tomer Libal, Matteo Pascucci, Leon van der Torre, Dov M. Gabbay
2020	—	`conf`	Attack-Defence Frameworks: Argumentation-Based Semantics for Attack-Defence Trees. GraMSec Dov M. Gabbay, Ross Horne, Sjouke Mauw, Leendert van der Torre
2020	J	`jnl`	Book Symposium on Woods' Truth in Fiction: Editorial Remarks. FLAP Dov M. Gabbay
2020	A*	`conf`	Forgetting an Argument. AAAI Ringo Baumann, Dov M. Gabbay, Odinaldo Rodrigues
2020	J	`jnl`	Introducing Abstract Argumentation with Many Lives. FLAP Dov M. Gabbay, Gadi Rozenberg
2020	J	`jnl`	Normality, Non-contamination and Logical Depth in Classical Natural Deduction. Stud Logica Marcello D'Agostino, Dov M. Gabbay, Sanjay Modgil
2020	—	`conf`	Towards DiArg: An Argumentation-based Dialogue Reasoning Engine. SAFA Timotheus Kampik, Dov M. Gabbay
2019	J	`jnl`	A geometrical view of I/O logic. CoRR Dov M. Gabbay, Xavier Parent, Leon van der Torre
2019	J	`jnl`	Text Mining for Evaluating Authors' Birth and Death Years. ACM Trans. Knowl. Discov. Data Dror Mughaz, Yaakov HaCohen-Kerner, Dov M. Gabbay
2019	J	`jnl`	The Talmudic Logic Project, Ongoing Since 2008. Logica Universalis Dov M. Gabbay, Uri J. Schild, Esther David
2018	—	`conf`	Argumentation as Exogenous Coordination. It's All About Coordination Leendert W. N. van der Torre, Tjitze Rienstra, Dov M. Gabbay
2018	J	`jnl`	Citation-based Prediction of Birth and Death Years of Authors. Res. Comput. Sci. Dror Mughaz, Yaakov HaCohen-Kerner, Dov M. Gabbay
2018	J	`jnl`	Editorial. FLAP Dov M. Gabbay, Jörg H. Siekmann
2018	J	`jnl`	Present and Future of Formal Argumentation (Dagstuhl Perspectives Workshop 15362). Dagstuhl Manifestos Dov M. Gabbay, Massimiliano Giacomin, Beishui Liao, Leendert W. N. van der Torre
2017	J	`jnl`	Algorithms in Philosophy, Informatics and Logic. A Position Manifesto 2017. FLAP Dov M. Gabbay, Jörg H. Siekmann
2017	J	`jnl`	Editorial. FLAP Pietro Baroni, Dov M. Gabbay, Massimiliano Giacomin, Leon van der Torre
2017	J	`jnl`	HEAL2100: Human Effective Argumentation and Logic for the 21st Century. The Next Step in the Evolution of Logic. FLAP Dov M. Gabbay, Lydia Rivlin
2017	J	`jnl`	Mining and Using Key-Words and Key-Phrases to Identify the Era of an Anonymous Text. Trans. Comput. Collect. Intell. Dror Mughaz, Yaakov HaCohen-Kerner, Dov M. Gabbay
2017	J	`jnl`	Preface. J. Log. Comput. Matthias Baaz, Agata Ciabattoni, Dov M. Gabbay, Stefan Hetzl, Daniel Weller
2017	J	`jnl`	Reasoning Schemes, Expert Opinion and Critical Questions. Sex Offenders Case Study. FLAP Dov M. Gabbay, Gadi Rozenberg
2017	J	`jnl`	Reasoning under the Influence of Universal Distortion. Sex Offenders Case Study. FLAP Dov M. Gabbay, Gadi Rozenberg, Lydia Rivlin
2016	—	`book`	A New Perspective on Nonmonotonic Logics Dov M. Gabbay, Karl Schlechta
2016	C	`conf`	Argumentation as Information Input: A Position Paper. COMMA Dov M. Gabbay, Michael Gabbay
2016	C	`conf`	Degrees of "in", "out" and "undecided" in Argumentation Networks. COMMA Dov M. Gabbay, Odinaldo Rodrigues
2016	J	`jnl`	Editorial Preface. FLAP Matthias Thimm, Dov M. Gabbay
2016	—	`conf`	Further Applications of the Gabbay-Rodrigues Iteration Schema in Argumentation and Revision Theories. Computational Models of Rationality Dov M. Gabbay, Odinaldo Rodrigues
2016	—	`conf`	Identity Merging and Identity Revision in Talmudic Logic: An Outline Paper. Computational Models of Rationality Michael Abraham, Israel Belfer, Uri J. Schild, Dov M. Gabbay
2016	J	`jnl`	Introducing Bayesian Argumentation Networks. FLAP Dov M. Gabbay, Odinaldo Rodrigues
2016	J	`jnl`	Introduction to the special issue on Loops in Argumentation. J. Log. Comput. Pietro Baroni, Dov M. Gabbay, Massimiliano Giacomin
2016	J	`jnl`	Logical foundations for bipolar and tripolar argumentation networks: preliminary results. J. Log. Comput. Dov M. Gabbay
2016	J	`jnl`	Quantum States and Disjunctive Attacks in Talmudic Logic. FLAP Michael Abraham, Israel Belfer, Uri J. Schild, Dov M. Gabbay
2016	J	`jnl`	The attack as intuitionistic negation. Log. J. IGPL Dov M. Gabbay, Michael Gabbay
2016	J	`jnl`	The handling of loops in argumentation networks. J. Log. Comput. Dov M. Gabbay
2016	J	`jnl`	Theory of Semi-Instantiation in Abstract Argumentation. Logica Universalis Dov M. Gabbay
2016	J	`jnl`	Theory of disjunctive attacks, Part I. Log. J. IGPL Dov M. Gabbay, Michael Gabbay
2015	J	`jnl`	Editorial comment about "On the Difference between ABA and AA". FLAP Dov M. Gabbay
2015	J	`jnl`	Equilibrium States in Numerical Argumentation Networks. Logica Universalis Dov M. Gabbay, Odinaldo Rodrigues
2015	—	`conf`	Key-Phrases as Means to Estimate Birth and Death Years of Jewish Text Authors. International KEYSTONE Conference Dror Mughaz, Yaakov HaCohen-Kerner, Dov M. Gabbay
2015	J	`jnl`	Present and Future of Formal Argumentation (Dagstuhl Perpectives Workshop 15362). Dagstuhl Reports Dov M. Gabbay, Massimiliano Giacomin, Beishui Liao, Leendert W. N. van der Torre
2015	J	`jnl`	Probabilistic Argumentation. An Equational Approach. CoRR Dov M. Gabbay, Odinaldo Rodrigues
2015	J	`jnl`	Probabilistic Argumentation: An Equational Approach. Logica Universalis Dov M. Gabbay, Odinaldo Rodrigues
2015	J	`jnl`	Reactive standard deontic logic. J. Log. Comput. Dov M. Gabbay, Christian Straßer
2015	J	`jnl`	The Attack as Intuitionistic Negation. CoRR Dov M. Gabbay, Michael Gabbay
2015	J	`jnl`	The Attack as Strong Negation, Part I. CoRR Dov M. Gabbay, Michael Gabbay
2015	J	`jnl`	The attack as strong negation, part I. Log. J. IGPL Dov M. Gabbay, Michael Gabbay
2015	J	`jnl`	Theory of Semi-Instantiation in Abstract Argumentation. CoRR Dov M. Gabbay
2014	J	`jnl`	A neural cognitive model of argumentation with application to legal inference and decision making. J. Appl. Log. Artur S. d'Avila Garcez, Dov M. Gabbay, Luís C. Lamb
2014	C	`conf`	A self-correcting iteration schema for argumentation networks. COMMA Dov M. Gabbay, Odinaldo Rodrigues
2014	A	`conf`	Abduction and Dialogical Proof in Argumentation and Logic Programming. ECAI Richard Booth, Dov M. Gabbay, Souhila Kaci, Tjitze Rienstra, Leendert W. N. van der Torre
2014	J	`jnl`	Abduction and Dialogical Proof in Argumentation and Logic Programming. CoRR Richard Booth, Dov M. Gabbay, Souhila Kaci, Tjitze Rienstra, Leendert W. N. van der Torre
2014	J	`jnl`	An equational approach to the merging of argumentation networks. J. Log. Comput. Dov M. Gabbay, Odinaldo Rodrigues
2014	—	`ch.`	Editorial Note. Computational Logic Jörg H. Siekmann, Dov M. Gabbay
2014	J	`jnl`	Equilibrium States in Numerical Argumentation Networks. CoRR Dov M. Gabbay, Odinaldo Rodrigues
2014	J	`jnl`	Interpolable Formulas in Equilibrium Logic and Answer Set Programming. CoRR Dov M. Gabbay, David Pearce, Agustín Valverde
2014	J	`jnl`	Products of modal logics and tensor products of modal algebras. J. Appl. Log. Dov M. Gabbay, Ilya Shapirovsky, Valentin B. Shehtman
2014	—	`conf`	Reactivity and Grammars: An Exploration. Language, Culture, Computation (1) Howard Barringer, David E. Rydeheard, Dov M. Gabbay
2014	J	`jnl`	Reasoning about delegation and revocation schemes in answer set programming. J. Log. Comput. Steve Barker, Guido Boella, Dov M. Gabbay, Valerio Genovese
2014	J	`jnl`	Systems of Interacting Argumentation Networks. FLAP Dov M. Gabbay
2014	—	`conf`	The Equational Approach to Contrary-to-duty Obligations. FoIKS Dov M. Gabbay
2014	—	`ch.`	The Handling of Loops in Talmudic Logic, with Application to Odd and Even Loops in Argumentation. HOWARD-60 Michael Abraham, Dov M. Gabbay, Uri J. Schild
2014	J	`jnl`	The paradoxes of permission an action based solution. J. Appl. Log. Dov M. Gabbay, Loïc Gammaitoni, Xin Sun
2014	—	`conf`	Toward a Linguistic Interpretation of Deontic Paradoxes - Beth-Reichenbach Semantics Approach for a New Analysis of the Miners Scenario. DEON Dov M. Gabbay, Livio Robaldo, Xin Sun, Leendert W. N. van der Torre, Zohreh Baniasadi
2014	—	`ch.`	What is a logical system? An evolutionary view: 1964-2014. Computational Logic Dov M. Gabbay
2014	—	`conf`	When Text Authors Lived Using Undated Citations. IRFC Dror Mughaz, Yaakov HaCohen-Kerner, Dov M. Gabbay
2014	—	`ch.`	When are Two Arguments the Same? Equivalence in Abstract Argumentation. Johan van Benthem on Logic and Information Dynamics Dov M. Gabbay, Davide Grossi
2013	J	`jnl`	A socio-cognitive model of trust using argumentation theory. Int. J. Approx. Reason. Serena Villata, Guido Boella, Dov M. Gabbay, Leendert W. N. van der Torre
2013	J	`jnl`	Future determination of entities in Talmudic public announcement logic. J. Appl. Log. Michael Abraham, Israel Belfer, Dov M. Gabbay, Uri J. Schild
2013	—	`ch.`	Normative Reasoning and Consequence. Normative Multi-Agent Systems Jan M. 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
2013	—	`book`	Reactive Kripke Semantics Dov M. Gabbay
2013	J	`jnl`	Reactive Kripke models and contrary to duty obligations. Part A: Semantics. J. Appl. Log. Dov M. Gabbay
2013	J	`jnl`	Semantics and proof-theory of depth bounded Boolean logics. Theor. Comput. Sci. Marcello D'Agostino, Marcelo Finger, Dov M. Gabbay
2012	—	`conf`	A Numerical Approach to the Merging of Argumentation Networks. CLIMA Dov M. Gabbay, Odinaldo Rodrigues
2012	J	`jnl`	A logic of argumentation for specification and verification of abstract argumentation frameworks. Ann. Math. Artif. Intell. Serena Villata, Guido Boella, Dov M. Gabbay, Leendert W. N. van der Torre, Joris Hulstijn
2012	—	`conf`	An Equational Approach to Logic Programming. Correct Reasoning Dov M. Gabbay
2012	—	`conf`	Bipolar Argumentation Frames and Contrary to Duty Obligations, Preliminary Report. CLIMA Dov M. Gabbay
2012	J	`jnl`	Causal dynamic inference. Ann. Math. Artif. Intell. Alexander Bochman, Dov M. Gabbay
2012	J	`jnl`	Completeness theorems for reactive modal logics. Ann. Math. Artif. Intell. Dov M. Gabbay
2012	J	`jnl`	Contrary to time conditionals in Talmudic logic. Artif. Intell. Law Michael Abraham, Dov M. Gabbay, Uri J. Schild
2012	—	`conf`	Discussion Paper: Changing Norms Is Changing Obligation Change. DEON Jan M. Broersen, Dov M. Gabbay, Leendert W. N. van der Torre
2012	J	`jnl`	Embedding and automating conditional logics in classical higher-order logic. Ann. Math. Artif. Intell. Christoph Benzmüller, Dov M. Gabbay, Valerio Genovese, Daniele Rispoli
2012	J	`jnl`	Equational approach to argumentation networks. Argument Comput. Dov M. Gabbay
2012	J	`jnl`	Global view on reactivity: switch graphs and their logics. Ann. Math. Artif. Intell. Dov M. Gabbay, Sérgio Marcelino
2012	J	`jnl`	Introducing reactive Kripke semantics and arc accessibility. Ann. Math. Artif. Intell. Dov M. Gabbay
2012	J	`jnl`	Introducing reactive modal tableaux. Ann. Math. Artif. Intell. Dov M. Gabbay
2012	—	`book`	Logic: A History of its Central Concepts Dov M. Gabbay, Francis Jeffry Pelletier, John Woods
2012	J	`jnl`	Modal and temporal argumentation networks. Argument Comput. Howard Barringer, Dov M. Gabbay, John Woods
2012	J	`jnl`	Modelling defeasible and prioritized support in bipolar argumentation. Ann. Math. Artif. Intell. Serena Villata, Guido Boella, Dov M. Gabbay, Leendert W. N. van der Torre
2012	J	`jnl`	Overview on the connection between reactive Kripke models and argumentation networks. Ann. Math. Artif. Intell. Dov M. Gabbay
2012	—	`ch.`	Preface. Logic: A History of its Central Concepts Dov M. Gabbay, Francis Jeffry Pelletier, John Woods
2012	J	`jnl`	Sequential Dynamic Logic. J. Log. Lang. Inf. Alexander Bochman, Dov M. Gabbay
2012	—	`book`	Sets and Extensions in the Twentieth Century Dov M. Gabbay, Akihiro Kanamori, John Woods
2012	—	`conf`	Temporal Deontic Logic for the Generalised Chisholm Set of Contrary to Duty Obligations. DEON Dov M. Gabbay
2012	J	`jnl`	Temporal, numerical and meta-level dynamics in argumentation networks. Argument Comput. Howard Barringer, Dov M. Gabbay, John Woods
2012	J	`jnl`	The Equational Approach to CF2 Semantics CoRR Dov M. Gabbay
2012	C	`conf`	The Equational Approach to CF2 Semantics. COMMA Dov M. Gabbay
2012	J	`jnl`	Two dimensional Standard Deontic Logic [including a detailed analysis of the 1985 Jones-Pörn deontic logic system]. Synth. Mathijs de Boer, Dov M. Gabbay, Xavier Parent, Marija Slavkovic
2012	—	`conf`	What Is Negation as Failure? Logic Programs, Norms and Action Dov M. Gabbay
2011	—	`book`	Approaches to Legal Rationality Dov M. Gabbay, Patrice Canivez, Shahid Rahman, Alexandre Thiercelin
2011	C	`conf`	Arguing about the Trustworthiness of the Information Sources. ECSQARU Serena Villata, Guido Boella, Dov M. Gabbay, Leendert W. N. van der Torre
2011	—	`conf`	Argumentative Agents Negotiating on Potential Attacks. KES-AMSTA Guido Boella, Dov M. Gabbay, Alan Perotti, Leendert W. N. van der Torre, Serena Villata
2011	—	`conf`	Conditional Labelling for Abstract Argumentation. ICCSW Alan Perotti, Guido Boella, Dov M. Gabbay, Leon van der Torre, Serena Villata
2011	—	`conf`	Conditional Labelling for Abstract Argumentation. TAFA Guido Boella, Dov M. Gabbay, Alan Perotti, Leendert W. N. van der Torre, Serena Villata
2011	—	`book`	Conditionals and Modularity in General Logics Dov M. Gabbay, Karl Schlechta
2011	J	`jnl`	Dung's Argumentation is Essentially Equivalent to Classical Propositional Logic with the Peirce-Quine Dagger. Logica Universalis Dov M. Gabbay
2011	J	`jnl`	Embedding and Automating Conditional Logics in Classical Higher-Order Logic CoRR Christoph Benzmueller, Dov M. Gabbay, Valerio Genovese, Daniele Rispoli
2011	J	`jnl`	Equilibria und weiteres Heiteres II CoRR Dov M. Gabbay, Karl Schlechta
2011	—	`book`	Inductive Logic Dov M. Gabbay, Stephan Hartmann, John Woods
2011	C	`conf`	Intelligent evaluation of evidence using Wigmore diagrams. ICAIL Michal Chalamish, Dov M. Gabbay, Uri J. Schild
2011	J	`jnl`	Interpolable Formulas in Equilibrium Logic and Answer Set Programming. J. Artif. Intell. Res. Dov M. Gabbay, David Pearce, Agustín Valverde
2011	C	`conf`	Introducing Equational Semantics for Argumentation Networks. ECSQARU Dov M. Gabbay
2011	—	`ch.`	Logic and the Law: Crossing the Lines of Discipline. Approaches to Legal Rationality Dov M. Gabbay, John Woods
2011	—	`conf`	Multi-sorted Argumentation. TAFA Tjitze Rienstra, Alan Perotti, Serena Villata, Dov M. Gabbay, Leendert W. N. van der Torre
2011	J	`jnl`	Obligations and prohibitions in Talmudic deontic logic. Artif. Intell. Law Michael Abraham, Dov M. Gabbay, Uri J. Schild
2011	J	`jnl`	Reactive automata. Inf. Comput. Maxime Crochemore, Dov M. Gabbay
2011	J	`jnl`	Reactive intuitionistic tableaux. Synth. Dov M. Gabbay
2011	—	`ch.`	Relevance in the Law. Approaches to Legal Rationality Dov M. Gabbay, John Woods
2011	—	`book`	The Functional Interpretation of Logical Deduction Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira, Dov M. Gabbay
2011	—	`ch.`	The Law of Evidence and Labelled Deduction: A Position Paper. Approaches to Legal Rationality Dov M. Gabbay, John Woods
2010	J	`jnl`	A Comment on Work by Booth and Co-authors. Stud Logica Dov M. Gabbay, Karl Schlechta
2010	J	`jnl`	A Theory of Hierarchical Consequence and Conditionals. J. Log. Lang. Inf. Dov M. Gabbay, Karl Schlechta
2010	J	`jnl`	Algorithms in cognition, informatics and logic: A position manifesto. Log. J. IGPL Dov M. Gabbay, Jörg H. Siekmann
2010	A	`conf`	Higher-Order Coalition Logic. ECAI Guido Boella, Dov M. Gabbay, Valerio Genovese, Leendert W. N. van der Torre
2010	J	`jnl`	Interpolation in Equilibrium Logic and Answer Set Programming: the Propositional Case CoRR Dov M. Gabbay, David Pearce, Agustín Valverde
2010	—	`book`	Logical Tools for Handling Change in Agent-Based Systems. Dov M. Gabbay, Karl Schlechta
2010	—	`conf`	Modal Access Control Logic - Axiomatization, Semantics and FOL Theorem Proving. STAIRS Valerio Genovese, Daniele Rispoli, Dov M. Gabbay, Leendert W. N. van der Torre
2010	—	`conf`	Modal and Temporal Argumentation Networks. Essays in Memory of Amir Pnueli Howard Barringer, Dov M. Gabbay
2010	—	`conf`	Obligations and Prohibitions in Talmudic Deontic Logic. DEON Michael Abraham, Dov M. Gabbay, Uri J. Schild
2010	Misc	`conf`	Reactive Links to Save Automata States. PSC Maxime Crochemore, Dov M. Gabbay
2010	—	`book`	Revision, Acceptability and Context - Theoretical and Algorithmic Aspects. Dov M. Gabbay, Odinaldo Rodrigues, Alessandra Russo
2010	J	`jnl`	Semantic interpolation. J. Appl. Non Class. Logics Dov M. Gabbay, Karl Schlechta
2010	C	`conf`	Support in Abstract Argumentation. COMMA Guido Boella, Dov M. Gabbay, Leendert W. N. van der Torre, Serena Villata
2009	J	`jnl`	A Logical Account of Formal Argumentation. Stud Logica Martin W. A. Caminada, Dov M. Gabbay
2009	J	`jnl`	A Meta-model of Access Control in a Fibred Security Language. Stud Logica Steve Barker, Guido Boella, Dov M. Gabbay, Valerio Genovese
2009	J	`jnl`	Analysis of the Talmudic Argumentum A Fortiori Inference Rule (Kal Vachomer) using Matrix Abduction. Stud Logica Michael Abraham, Dov M. Gabbay, Uri J. Schild
2009	J	`jnl`	Annotation Theories over Finite Graphs. Stud Logica Dov M. Gabbay, Andrzej Szalas
2009	J	`jnl`	Complete Extensions in Argumentation Coincide with 3-Valued Stable Models in Logic Programming. Stud Logica Yining Wu, Martin Caminada, Dov M. Gabbay
2009	J	`jnl`	Connections between Belief Revision, Belief Merging and Social Choice. J. Log. Comput. Dov M. Gabbay, Odinaldo Rodrigues, Gabriella Pigozzi
2009	J	`jnl`	Defeasible inheritance systems and reactive diagrams. Log. J. IGPL Dov M. Gabbay, Karl Schlechta
2009	—	`conf`	FSL - Fibred Security Language. Normative Multi-Agent Systems Valerio Genovese, Dov M. Gabbay, Guido Boella, Leendert W. N. van der Torre
2009	—	`ch.`	Fallacies as Cognitive Virtues. Games: Unifying Logic, Language, and Philosophy Dov M. Gabbay, John Woods
2009	J	`jnl`	Fibred Security Language. Stud Logica Guido Boella, Dov M. Gabbay, Valerio Genovese, Leendert W. N. van der Torre
2009	J	`jnl`	Fibring Argumentation Frames. Stud Logica Dov M. Gabbay
2009	J	`jnl`	Independence - Revision and Defaults. Stud Logica Dov M. Gabbay, Karl Schlechta
2009	—	`book`	Logic from Russell to Church Dov M. Gabbay, John Woods
2009	J	`jnl`	Logical Modes of Attack in Argumentation Networks. Stud Logica Dov M. Gabbay, Artur S. d'Avila Garcez
2009	J	`jnl`	Meta-Argumentation Modelling I: Methodology and Techniques. Stud Logica Guido Boella, Dov M. Gabbay, Leendert W. N. van der Torre, Serena Villata
2009	J	`jnl`	Modal Logics of Reactive Frames. Stud Logica Dov M. Gabbay, Sérgio Marcelino
2009	J	`jnl`	Modal Provability Foundations for Argumentation Networks. Stud Logica Dov M. Gabbay
2009	J	`jnl`	Modelling evolvable component systems: Part I: A logical framework. Log. J. IGPL Howard Barringer, Dov M. Gabbay, David E. Rydeheard
2009	—	`book`	Neural-Symbolic Cognitive Reasoning Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay
2009	J	`jnl`	Preface for Studia Logica Special Issue (2). Stud Logica Dov M. Gabbay, Leendert W. N. van der Torre
2009	—	`ch.`	Preface. Logic from Russell to Church Dov M. Gabbay, John Woods
2009	J	`jnl`	Reactive Preferential Structures and Nonmonotonic Consequence. Rev. Symb. Log. Dov M. Gabbay, Karl Schlechta
2009	J	`jnl`	Roadmap for preferential logics. J. Appl. Non Class. Logics Dov M. Gabbay, Karl Schlechta
2009	J	`jnl`	Semantics for Higher Level Attacks in Extended Argumentation Frames Part 1: Overview. Stud Logica Dov M. Gabbay
2009	J	`jnl`	Size and Logic. Rev. Symb. Log. Dov M. Gabbay, Karl Schlechta
2009	J	`jnl`	Voting by Eliminating Quantifiers. Stud Logica Dov M. Gabbay, Andrzej Szalas
2008	—	`conf`	A Normative View on the Blocks World. NORMAS Davide Grossi, Dov M. Gabbay, Leendert W. N. van der Torre
2008	J	`jnl`	A Sound and Complete Deductive System for CTL* Verification. Log. J. IGPL Dov M. Gabbay, Amir Pnueli
2008	J	`jnl`	Belief Revision in non-Classical Logics. Rev. Symb. Log. Dov M. Gabbay, Odinaldo Rodrigues, Alessandra Russo
2008	—	`book`	British Logic in the Nineteenth Century Dov M. Gabbay, John Woods
2008	J	`jnl`	Cumulativity without Closure of the Domain under Finite Unions. Rev. Symb. Log. Dov M. Gabbay, Karl Schlechta
2008	J	`jnl`	Cut-Based Abduction. Log. J. IGPL Marcello D'Agostino, Marcelo Finger, Dov M. Gabbay
2008	—	`conf`	Introducing Reactive Kripke Semantics and Arc Accessibility. Pillars of Computer Science Dov M. Gabbay
2008	—	`book`	Mediaeval and Renaissance Logic Dov M. Gabbay, John Woods
2008	—	`ch.`	Preface. British Logic in the Nineteenth Century Dov M. Gabbay, John Woods
2008	—	`ch.`	Preface. Mediaeval and Renaissance Logic Dov M. Gabbay, John Woods
2008	—	`conf`	Reactive Kripke Models and Contrary to Duty Obligations. DEON Dov M. Gabbay
2008	J	`jnl`	Resource-origins of Nonmonotonicity. Stud Logica Dov M. Gabbay, John Woods
2008	—	`book`	Second-Order Quantifier Elimination - Foundations, Computational Aspects and Applications. Dov M. Gabbay, Renate A. Schmidt, Andrzej Szalas
2007	Misc	`conf`	A Logical Framework for Monitoring and Evolving Software Components. TASE Howard Barringer, David E. Rydeheard, Dov M. Gabbay
2007	—	`conf`	Common Foundations for belief revision, belief merging and voting. Formal Models of Belief Change in Rational Agents Dov M. Gabbay, Gabriella Pigozzi, Odinaldo Rodrigues
2007	J	`jnl`	Connectionist modal logic: Representing modalities in neural networks. Theor. Comput. Sci. Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay
2007	J	`jnl`	Equal Rights for the Cut: Computable Non-analytic Cuts in Cut-based Proofs. Log. J. IGPL Marcelo Finger, Dov M. Gabbay
2007	B	`conf`	From Runtime Verification to Evolvable Systems. RV Howard Barringer, Dov M. Gabbay, David E. Rydeheard
2007	J	`jnl`	Fuzzy logics based on [0, 1)-continuous uninorms. Arch. Math. Log. Dov M. Gabbay, George Metcalfe
2007	—	`ch.`	Preface. The Many Valued and Nonmonotonic Turn in Logic Dov M. Gabbay, John Woods
2007	J	`jnl`	Second-Order Quantifier Elimination in Higher-Order Contexts with Applications to the Semantical Analysis of Conditionals. Stud Logica Dov M. Gabbay, Andrzej Szalas
2007	—	`book`	The Many Valued and Nonmonotonic Turn in Logic Dov M. Gabbay, John Woods
2006	J	`jnl`	Advice on Abductive Logic. Log. J. IGPL Dov M. Gabbay, John Woods
2006	J	`jnl`	Connectionist computations of intuitionistic reasoning. Theor. Comput. Sci. Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay
2006	J	`jnl`	Context-dependent Abduction and Relevance. J. Philos. Log. Dov M. Gabbay, Rolf Nossum, John Woods
2006	J	`jnl`	Cut and Pay. J. Log. Lang. Inf. Marcelo Finger, Dov M. Gabbay
2006	—	`book`	Logic and the Modalities in the Twentieth Century Dov M. Gabbay, John Woods
2006	—	`ch.`	Preface. Logic and the Modalities in the Twentieth Century Dov M. Gabbay, John Woods
2005	—	`conf`	A Connectionist Model for Constructive Modal Reasoning. NIPS Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay
2005	J	`jnl`	Algebras of Measurements: the logical structure of Quantum Mechanics CoRR Daniel Lehmann, Kurt Engesser, Dov M. Gabbay
2005	J	`jnl`	Editorial. Log. J. IGPL Matthias Baaz, Agata Ciabattoni, Dov M. Gabbay, Petr Hájek
2005	J	`jnl`	Editorial. Log. J. IGPL Matthias Baaz, Agata Ciabattoni, Dov M. Gabbay, Petr Hájek
2005	—	`book`	Handbook of Temporal Reasoning in Artificial Intelligence Handbook of Temporal Reasoning in Artificial Intelligence Michael Fisher, Dov M. Gabbay, Lluís Vila
2005	J	`jnl`	Lukasiewicz Logic: From Proof Systems To Logic Programming. Log. J. IGPL George Metcalfe, Nicola Olivetti, Dov M. Gabbay
2005	—	`ch.`	Modal Varieties of Temporal Logic. Handbook of Temporal Reasoning in Artificial Intelligence Howard Barringer, Dov M. Gabbay
2005	J	`jnl`	Sequent and hypersequent calculi for abelian and Łukasiewicz logics. ACM Trans. Comput. Log. George Metcalfe, Nicola Olivetti, Dov M. Gabbay
2005	—	`conf`	Temporal Dynamics of Support and Attack Networks: From Argumentation to Zoology. Mechanizing Mathematical Reasoning Howard Barringer, Dov M. Gabbay, John Woods
2005	J	`jnl`	Value-based Argumentation Frameworks as Neural-symbolic Learning Systems. J. Log. Comput. Artur S. d'Avila Garcez, Dov M. Gabbay, Luís C. Lamb
2004	J	`jnl`	Analytic Calculi for Product Logics. Arch. Math. Log. George Metcalfe, Nicola Olivetti, Dov M. Gabbay
2004	J	`jnl`	Applying connectionist modal logics to distributed knowledge representation problems. Int. J. Artif. Intell. Tools Artur S. d'Avila Garcez, Luís C. Lamb, Krysia Broda, Dov M. Gabbay
2004	B	`conf`	Argumentation Neural Networks. ICONIP Artur S. d'Avila Garcez, Dov M. Gabbay, Luís C. Lamb
2004	—	`ch.`	Belief Contraction, Anti-Formulae and Resource Overdraft: Part II Deletion In Resource Unbounded Logics. Logic, Epistemology, and the Unity of Science Dov M. Gabbay, Odinaldo Rodrigues, John Woods
2004	A*	`conf`	Fibring Neural Networks. AAAI Artur S. d'Avila Garcez, Dov M. Gabbay
2004	B	`conf`	Goal-Directed Methods for Lukasiewicz Logic. CSL George Metcalfe, Nicola Olivetti, Dov M. Gabbay
2004	—	`book`	Greek, Indian and Arabic Logic Dov M. Gabbay, John Woods
2004	J	`jnl`	Journal of Applied Logic Special Volume on Neural-Symbolic Systems. J. Appl. Log. Artur S. d'Avila Garcez, Dov M. Gabbay, Steffen Hölldobler, John G. Taylor
2004	—	`book`	Logic, Epistemology, and the Unity of Science Shahid Rahman, John Symons, Dov M. Gabbay, Jean Paul Van Bendegem
2004	—	`ch.`	Preface. The Rise of Modern Logic: From Leibniz to Frege Dov M. Gabbay, John Woods
2004	—	`book`	The Rise of Modern Logic: From Leibniz to Frege Dov M. Gabbay, John Woods
2004	A	`conf`	Towards a Connectionist Argumentation Framework. ECAI Artur S. d'Avila Garcez, Dov M. Gabbay, Luís C. Lamb
2003	J	`jnl`	Controlled Revision - An algorithmic approach for belief revision. J. Log. Comput. Dov M. Gabbay, Gabriella Pigozzi, John Woods
2003	Misc	`conf`	Distributed Knowledge Representation in Neural-Symbolic Learning Systems: A Case Study. FLAIRS Artur S. d'Avila Garcez, Luís C. Lamb, Krysia Broda, Dov M. Gabbay
2003	J	`jnl`	Editorial. J. Log. Comput. Dov M. Gabbay
2003	B	`conf`	Goal-Directed Calculli for Gödel-Dummett Logics. CSL George Metcalfe, Nicola Olivetti, Dov M. Gabbay
2003	C	`conf`	Neural-Symbolic Intuitionistic Reasoning. HIS Artur S. d'Avila Garcez, Luís C. Lamb, Dov M. Gabbay
2003	J	`jnl`	Normative Models of Rational Agency: The Theoretical Disutility of Certain Approaches. Log. J. IGPL Dov M. Gabbay, John Woods
2003	J	`jnl`	Special issue on Combining Probability and Logic. J. Appl. Log. Jon Williamson, Dov M. Gabbay
2002	J	`jnl`	A Theory of Hypermodal Logics: Mode Shifting in Modal Logic. J. Philos. Log. Dov M. Gabbay
2002	B	`conf`	Analytic Sequent Calculi for Abelian and ukasiewicz Logics. TABLEAUX George Metcalfe, Nicola Olivetti, Dov M. Gabbay
2002	J	`jnl`	Belief Contraction, Anti-formulae and Resource Overdraft: Part I Deletion in Resource bounded Logics. Log. J. IGPL Dov M. Gabbay, Odinaldo Rodrigues, John Woods
2002	J	`jnl`	Labelled Natural Deduction for Conditional Logics of Normality. Log. J. IGPL Krysia Broda, Dov M. Gabbay, Luís C. Lamb, Alessandra Russo
2002	J	`jnl`	Naming Worlds in Modal and Temporal Logic. J. Log. Lang. Inf. Dov M. Gabbay, Guillaume Malod
2002	—	`book`	Neural-symbolic learning systems - foundations and applications. Artur S. d'Avila Garcez, Krysia Broda, Dov M. Gabbay
2002	J	`jnl`	Products of Modal Logics. Part 3: Products of Modal and Temporal Logics. Stud Logica Dov M. Gabbay, Valentin B. Shehtman
2002	J	`jnl`	Quantum logic, Hilbert space, revision theory. Artif. Intell. Kurt Engesser, Dov M. Gabbay
2002	J	`jnl`	Sequent and Hypersequent Calculi for Abelian and Lukasiewicz Logics CoRR George Metcalfe, Nicola Olivetti, Dov M. Gabbay
2001	—	`book`	Dynamic syntax - the flow of language understanding. Ruth Kempson, Wilfried Meyer-Viol, Dov M. Gabbay
2001	J	`jnl`	Editorial. Log. J. IGPL Jim Cunningham, Dov M. Gabbay
2001	J	`jnl`	Editorial. J. Log. Comput. Dov M. Gabbay
2001	—	`ch.`	Encoding Two-Valued Nonclassical Logics in Classical Logic. Handbook of Automated Reasoning Hans Jürgen Ohlbach, Andreas Nonnengart, Maarten de Rijke, Dov M. Gabbay
2001	J	`jnl`	Interpolation in Practical Formal Development. Log. J. IGPL Juan Bicarregui, Theodosis Dimitrakos, Dov M. Gabbay, T. S. E. Maibaum
2001	J	`jnl`	More on Non-Cooperation in Dialogue Logic. Log. J. IGPL Dov M. Gabbay, John Woods
2001	J	`jnl`	Non-Cooperation In Dialogue Logic. Synth. Dov M. Gabbay, John Woods
2001	—	`ch.`	Preface. Greek, Indian and Arabic Logic Dov M. Gabbay, John Woods
2001	J	`jnl`	Symbolic knowledge extraction from trained neural networks: A sound approach. Artif. Intell. Artur S. d'Avila Garcez, Krysia Broda, Dov M. Gabbay
2001	J	`jnl`	The New Logic. Log. J. IGPL Dov M. Gabbay, John Woods
2000	J	`jnl`	Conditional reasoning in logic programming. J. Log. Program. Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti, Maria Luisa Sapino
2000	—	`conf`	Goal Directed Mechanisms: Proofs, Interpolation and Abduction Procedures. ARW Dov M. Gabbay
2000	—	`book`	Handbook of logic in computer science. Volume 5. Logic and Algebraic Methods. Samson Abramsky, Dov M. Gabbay, T. S. E. Maibaum
2000	J	`jnl`	On Modal Logics Characterized by Models with Relative Accessibility Relations: Part I. Stud Logica Stéphane Demri, Dov M. Gabbay
2000	J	`jnl`	On Modal Logics Characterized by Models with Relative Accessibility Relations: Part II. Stud Logica Stéphane Demri, Dov M. Gabbay
2000	J	`jnl`	Products of modal logics. Part 2: Relativised quantifiers in classical logic. Log. J. IGPL Dov M. Gabbay, Valentin B. Shehtman
1999	J	`jnl`	Agents in Proactive Environments. J. Log. Comput. Dov M. Gabbay, Rolf Nossum, Michael Thielscher
1999	B	`conf`	CLDS for Propositional Intuitionistic Logic. TABLEAUX Krysia Broda, Dov M. Gabbay
1999	J	`jnl`	Editorial. Log. J. IGPL Dov M. Gabbay
1999	J	`jnl`	What's on My Mind... J. Log. Comput. Dov M. Gabbay
1998	J	`jnl`	Algorithmic Proof Methods and Cut Elimination for Implicational Logics Part I: Modal Implication. Stud Logica Dov M. Gabbay, Nicola Olivetti
1998	J	`jnl`	Calendar Logic. J. Appl. Non Class. Logics Hans Jürgen Ohlbach, Dov M. Gabbay
1998	J	`jnl`	Cut-free proof systems for logics of weak excluded middle. Soft Comput. Agata Ciabattoni, Dov M. Gabbay, Nicola Olivetti
1998	B	`conf`	Dznamics of Practical Reasoning: A Position Paper. Advances in Modal Logic Dov M. Gabbay
1998	J	`jnl`	Editorial. J. Log. Comput. Dov M. Gabbay
1998	—	`book`	Elementary logics - a procedural perspective. Dov M. Gabbay
1998	B	`conf`	Fibring Semantic Tableaux. TABLEAUX Bernhard Beckert, Dov M. Gabbay
1998	—	`ed.`	Frontiers of Combining Systems, Second International Workshop, FroCoS 1998, Amsterdam, The Netherlands, October 2-4, 1998, Proceedings FroCoS Dov M. Gabbay, Maarten de Rijke
1998	J	`jnl`	Products of Modal Logics, Part 1. Log. J. IGPL Dov M. Gabbay, Valentin B. Shehtman
1998	J	`jnl`	Soft computing, labelling and granulation. Soft Comput. Dov M. Gabbay
1998	B	`conf`	WinKE: A Pedagogical Tool for Teaching Logic and Reasoning. Intelligent Tutoring Systems Marcello D'Agostino, Marco Mondadori, Ulrich Endriss, Dov M. Gabbay, Jeremy Pitt
1997	Misc	`conf`	Agents in Proactive Environments. KI Dov M. Gabbay, Rolf Nossum, Michael Thielscher
1997	J	`jnl`	Combining Logic I - Introduction. Stud Logica Dov M. Gabbay, Fiora Pirri
1997	J	`jnl`	Combining Logic II - Introduction. Stud Logica Dov M. Gabbay, Fiora Pirri
1997	J	`jnl`	Grafting Modalities onto Substructural Implication Systems. Stud Logica Marcello D'Agostino, Dov M. Gabbay, Alessandra Russo
1997	J	`jnl`	Labelled Resolution for Classical and Non-classical Logics. Stud Logica Dov M. Gabbay, Uwe Reyle
1997	J	`jnl`	Parsing Natural Language using LDS: A Prototype. Log. J. IGPL Marcelo Finger, Rodger Kibble, Dov M. Gabbay, Ruth Kempson
1997	—	`ed.`	Qualitative and Quantitative Practical Reasoning, First International Joint Conference on Qualitative and Quantitative Practical Reasoning ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997, Proceedings ECSQARU-FAPR Dov M. Gabbay, Rudolf Kruse, Andreas Nonnengart, Hans Jürgen Ohlbach
1997	—	`conf`	Structured Belief Bases: A Practical Approach to Prioritised Base Revision. ECSQARU-FAPR Dov M. Gabbay, Odinaldo Rodrigues
1996	J	`jnl`	A Language for Handling Hypothetical Updates and Inconsistency. Log. J. IGPL Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti
1996	—	`conf`	A Methodology for Iterated Theory Change. FAPR Dov M. Gabbay, Odinaldo Rodrigues
1996	J	`jnl`	A Proof Theoretical Approach to Default Reasoning I: Tableaux for Default Logic. J. Log. Comput. Gianni Amati, Luigia Carlucci Aiello, Dov M. Gabbay, Fiora Pirri
1996	J	`jnl`	A Structural Property on Modal Frames Characterizing Default Logic. Log. J. IGPL Gianni Amati, Luigia Carlucci Aiello, Dov M. Gabbay, Fiora Pirri
1996	—	`conf`	An Overview of Fibred Semantics and the Combination of Logics. FroCoS Dov M. Gabbay
1996	J	`jnl`	Combining Temporal Logic Systems. Notre Dame J. Formal Log. Marcelo Finger, Dov M. Gabbay
1996	J	`jnl`	Fibred Semantics and the Weaving of Logics, Part 1: Modal and Intuitionistic Logics. J. Symb. Log. Dov M. Gabbay
1996	J	`jnl`	Fibred Semantics for Feature-Based Grammar Logic. J. Log. Lang. Inf. Jochen Dörre, Esther König, Dov M. Gabbay
1996	B	`conf`	Fibred Tableaux for Multi-Implication Logic. TABLEAUX Marcello D'Agostino, Dov M. Gabbay
1996	—	`conf`	Language Understanding: A Procedural Perspective. LACL Ruth Kempson, Wilfried Meyer-Viol, Dov M. Gabbay
1996	J	`jnl`	Languages, Meta-languages and METATEM, A Discussion Paper. Log. J. IGPL Howard Barringer, Graham Gough, Derek Brough, Dov M. Gabbay, Ian M. Hodkinson, Anthony Hunter, Richard Owens, Peter McBrien, Mark Reynolds, Michael Fisher
1996	—	`ch.`	Logical Handling of Inconsistent and Default Information. Uncertainty Management in Information Systems Philippe Besnard, Luis Fariñas del Cerro, Dov M. Gabbay, Anthony Hunter
1996	—	`ed.`	Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings FAPR Dov M. Gabbay, Hans Jürgen Ohlbach
1996	—	`ch.`	What is Negation in a System? Negation in Structured Consequence Relations. Logic, Action, and Information Dov M. Gabbay, Heinrich Wansing
1995	J	`jnl`	Editorial. Log. J. IGPL Dov M. Gabbay, Hans Jürgen Ohlbach, Ruy J. G. B. de Queiroz
1995	—	`book`	Handbook of logic in computer science. Volume 4. Semantic modelling. Samson Abramsky, Dov M. Gabbay, T. S. E. Maibaum
1995	B	`conf`	Hypothetical Updates, Priority and Inconsistency in a Logic Programming Language. LPNMR Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti
1995	J	`jnl`	METATEM: An Introduction. Formal Aspects Comput. Howard Barringer, Michael Fisher, Dov M. Gabbay, Graham Gough, Richard Owens
1995	J	`jnl`	On the Logic of Information Flow. Log. J. IGPL Jon Barwise, Dov M. Gabbay, Chrysafis Hartonas
1995	J	`jnl`	The Bulletin turned into a Journal. Log. J. IGPL Dov M. Gabbay, Hans Jürgen Ohlbach, Ruy J. G. B. de Queiroz
1995	J	`jnl`	The Functional Interpretation of the Existential Quantifier. Log. J. IGPL Ruy J. G. B. de Queiroz, Dov M. Gabbay
1994	J	`jnl`	A Generalization of Analytic Deduction via Labelled Deductive Systems. Part I: Basic Substructural Logics. J. Autom. Reason. Marcello D'Agostino, Dov M. Gabbay
1994	—	`ch.`	Classical vs non-classical logics (the universality of classical logic). Handbook of Logic in Artificial Intelligence and Logic Programming (2) Dov M. Gabbay
1994	B	`conf`	Conditonal Logic Programming. ICLP Dov M. Gabbay, Laura Giordano, Alberto Martelli, Nicola Olivetti
1994	—	`book`	Handbook of Logic in Artificial Intelligence and Logic Programming, Volume2, Deduction Methodologies Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 2 Dov M. Gabbay, Christopher J. Hogger, J. A. Robinson, Jörg H. Siekmann
1994	—	`book`	Handbook of logic in computer science. Volume 3. Semantic Structures. Samson Abramsky, Dov M. Gabbay, T. S. E. Maibaum
1994	J	`jnl`	Inconsistency Handling in Multperspective Specifications. IEEE Trans. Software Eng. Anthony Finkelstein, Dov M. Gabbay, Anthony Hunter, Jeff Kramer, Bashar Nuseibeh
1994	J	`jnl`	Speed with Quality. Log. J. IGPL Dov M. Gabbay, Ruy J. G. B. de Queiroz
1994	—	`ed.`	Temporal Logic, First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994, Proceedings ICTL Dov M. Gabbay, Hans Jürgen Ohlbach
1993	J	`jnl`	Computation with run time skolemisation (N-Prolog part 3). J. Appl. Non Class. Logics Dov M. Gabbay, Uwe Reyle
1993	J	`jnl`	Editorial. Log. J. IGPL Dov M. Gabbay
1993	J	`jnl`	Editorial. J. Log. Comput. Dov M. Gabbay
1993	—	`conf`	Inconsistency Handling in Multi-Perspective Specifications. ESEC Anthony Finkelstein, Dov M. Gabbay, Anthony Hunter, Jeff Kramer, Bashar Nuseibeh
1993	C	`conf`	Making Inconsistency Respectable: Part 2 - Meta-level handling of inconsistency. ECSQARU Dov M. Gabbay, Anthony Hunter
1993	C	`conf`	Restricted Access Logics for Inconsistent Information. ECSQARU Dov M. Gabbay, Anthony Hunter
1993	—	`conf`	Semantical Correspondence Properties of Some Modal Systems of Logic. SCAI Rolf Nossum, Dov M. Gabbay
1993	J	`jnl`	Undedidability of Modal and Intermediate First-Order Logics with Two Individual Variables. J. Symb. Log. Dov M. Gabbay, Valentin B. Shehtman
1992	J	`jnl`	Adding a temporal dimension to a logic system. J. Log. Lang. Inf. Marcelo Finger, Dov M. Gabbay
1992	J	`jnl`	Extending the Curry-Howard Interpretation to Linear, Relevant and Other Resource Logics. J. Symb. Log. Dov M. Gabbay, Ruy J. G. B. de Queiroz
1992	—	`conf`	From A Hilbert Calculus to its Model Theoretic Semantics. ALPUK Dov M. Gabbay, Hans Jürgen Ohlbach
1992	—	`book`	Handbook of logic in computer science. Volume 1. Background: Mathematical structures. Samson Abramsky, Dov M. Gabbay, T. S. E. Maibaum
1992	—	`book`	Handbook of logic in computer science. Volume 2. Background: Computational structures. Samson Abramsky, Dov M. Gabbay, T. S. E. Maibaum
1992	—	`conf`	How to Construct a Logic for Your Application. GWAI Dov M. Gabbay
1992	J	`jnl`	Logic Made Reasonable. Künstliche Intell. Dov M. Gabbay
1992	A*	`conf`	Quantifier Elimination in Second-Order Predicate Logic. KR Dov M. Gabbay, Hans Jürgen Ohlbach
1992	A	`conf`	Updating Atomic Information in Labelled Database Systems. ICDT Marcelo Finger, Dov M. Gabbay
1991	J	`jnl`	A Family of Goal Directed Theorem Provers Based on Conjunction and Implication: Part I. J. Autom. Reason. Dov M. Gabbay, Frank Kriwaczek
1991	C	`conf`	Abduction in Labelled Deductive Systems - A Conceptual Abstract. ECSQARU Dov M. Gabbay
1991	A*	`conf`	Credulous vs. Sceptical Semantics for Ordered Logic Programs. KR Dov M. Gabbay, Els Laenens, Dirk Vermeir
1991	—	`conf`	Making inconsistency respectable: a logical framework for inconsistency in reasoning. FAIR Dov M. Gabbay, Anthony Hunter
1991	A*	`conf`	Meta-Reasoning in Executable Temporal Logic. KR Howard Barringer, Michael Fisher, Dov M. Gabbay, Anthony Hunter
1991	A*	`conf`	Temporal Logic & Historical Databases. VLDB Dov M. Gabbay, Peter McBrien
1991	—	`conf`	Theoretical Foundations for Non-Monotonic Reasoning Part 2: Structured Non-Monotonic Theories. SCAI Dov M. Gabbay
1990	B	`conf`	Algorithmic Proof with Diminishing Resources, Part 1. CSL Dov M. Gabbay
1990	J	`jnl`	An Axiomitization of the Temporal Logic with Until and Since over the Real Numbers. J. Log. Comput. Dov M. Gabbay, Ian M. Hodkinson
1990	J	`jnl`	Editorial. J. Log. Comput. Dov M. Gabbay
1989	—	`conf`	METATEM: A Framework for Programming in Temporal Logic. REX Workshop Howard Barringer, Michael Fisher, Dov M. Gabbay, Graham Gough, Richard Owens
1989	—	`conf`	Modal Provability Foundations for Negation by Failure. ELP Dov M. Gabbay
1989	—	`conf`	Using the Temporal Logic RDL for Design Specifications. Concurrency: Theory, Language, And Architecture Dov M. Gabbay, Ian M. Hodkinson, Anthony Hunter
1988	—	`conf`	Executing Temporal Logic: Review and Prospects (Abstract). Concurrency Howard Barringer, Dov M. Gabbay
1987	J	`jnl`	Preservation of Expressive Completeness in Temporal Models Inf. Comput. Amihood Amir, Dov M. Gabbay
1987	—	`conf`	The Declarative Past and Imperative Future: Executable Temporal Logic for Interactive Systems. Temporal Logic in Specification Dov M. Gabbay
1986	J	`jnl`	Negation as Inconsistency I. J. Log. Program. Dov M. Gabbay, Marek J. Sergot
1985	J	`jnl`	N-Prolog: An Extension of Prolog with Hypothetical Implication II - Logical Foundations, and Negation as Failure. J. Log. Program. Dov M. Gabbay
1984	J	`jnl`	N-Prolog: An Extension of Prolog with Hypothetical Implications I. J. Log. Program. Dov M. Gabbay, Uwe Reyle
1984	—	`conf`	Theoretical Foundations for Non-Monotonic Reasoning in Expert Systems. Logics and Models of Concurrent Systems Dov M. Gabbay
1982	A	`conf`	Intuitonistic Basis for Non-Monotonic Logic. CADE Dov M. Gabbay
1980	A*	`conf`	On the Temporal Analysis of Fairness. POPL Dov M. Gabbay, Amir Pnueli, Saharon Shelah, Jonathan Stavi
1978	J	`jnl`	What is a Classical Connective? Math. Log. Q. Dov M. Gabbay
1977	J	`jnl`	A New Version of Beth Semantics for Intuitionistic Logic. J. Symb. Log. Dov M. Gabbay
1977	J	`jnl`	Craig Interpolation Theorem for Intuitionistic Logic and Extensions Part III. J. Symb. Log. Dov M. Gabbay
1976	J	`jnl`	Completeness Properties of Heyting's Predicate Calculus with Respect to RE Models. J. Symb. Log. Dov M. Gabbay
1974	J	`jnl`	A Sequence of Decidable Finitely Axiomatizable Intermediate Logics with the Disjunction Property. J. Symb. Log. Dov M. Gabbay, Dick de Jongh
1973	J	`jnl`	Applications of scott's notion of consequence to the study of general binary intensional connectives and entailment. J. Philos. Log. Dov M. Gabbay
1973	J	`jnl`	The Undecidability of Intuitionistic Theories of Algebraically Closed Fields and Real Closed Fields. J. Symb. Log. Dov M. Gabbay
1972	J	`jnl`	A general filtration method for modal logics. J. Philos. Log. Dov M. Gabbay
1972	J	`jnl`	Applications of Trees to Intermediate Logics. J. Symb. Log. Dov M. Gabbay
1972	J	`jnl`	Decidability of Some Intuitionistic Predicate Theories. J. Symb. Log. Dov M. Gabbay
1972	J	`jnl`	Sufficient Conditions for the Undecidability of Intuitionistic Theories with Applications. J. Symb. Log. Dov M. Gabbay
1972	J	`jnl`	Tense systems with discrete moments of time, part I. J. Philos. Log. Dov M. Gabbay
1970	J	`jnl`	The Decidability of the Kreisel-Putnam System. J. Symb. Log. Dov M. Gabbay