Dov M. Gabbay
Affiliations:- King's College London, UK
According to our database1,
Dov M. Gabbay
authored at least 319 papers
between 1970 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on viaf.org
-
on id.loc.gov
-
on d-nb.info
-
on kcl.ac.uk
-
on isni.org
On csauthors.net:
Bibliography
2023
A self-explanatory contrastive logical knowledge learning method for sentiment analysis.
Knowl. Based Syst., October, 2023
J. Log. Comput., March, 2023
Dripping the Poison: The Instruments of Bias. A Qualitative Case Study of News Articles in Four Languages over Nine Years.
FLAP, 2023
FLAP, 2023
2022
Int. J. Approx. Reason., 2022
CoRR, 2022
Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022
Proceedings of the Computational Models of Argument, 2022
Proceedings of the Explainable and Transparent AI and Multi-Agent Systems, 2022
2021
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2021
If You Want to Smoke, Don't Buy Cigarettes: Near-Anankastics, Contexts, and Hyper Modality.
Proceedings of the Deontic Logic and Normative Systems - 15th International Conference, 2021
Proceedings of the Logic and Argumentation - 4th International Conference, 2021
Proceedings of the Explainable and Transparent AI and Multi-Agent Systems, 2021
2020
Stud Logica, 2020
Proceedings of the 6th Workshop on Formal and Cognitive Reasoning co-located with 43rd German Conference on Artificial Intelligence (KI-2020), 2020
Proceedings of the Graphical Models for Security - 7th International Workshop, 2020
Proceedings of the Third International Workshop on Systems and Algorithms for Formal Argumentation co-located with the 8th International Conference on Computational Models of Argument (COMMA 2020), 2020
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020
2019
ACM Trans. Knowl. Discov. Data, 2019
2018
Dagstuhl Manifestos, 2018
Proceedings of the It's All About Coordination, 2018
2017
Trans. Comput. Collect. Intell., 2017
FLAP, 2017
FLAP, 2017
FLAP, 2017
HEAL2100: Human Effective Argumentation and Logic for the 21st Century. The Next Step in the Evolution of Logic.
FLAP, 2017
2016
Logical foundations for bipolar and tripolar argumentation networks: preliminary results.
J. Log. Comput., 2016
Proceedings of the Computational Models of Argument, 2016
Proceedings of the Computational Models of Argument, 2016
Further Applications of the Gabbay-Rodrigues Iteration Schema in Argumentation and Revision Theories.
Proceedings of the Computational Models of Rationality, 2016
Identity Merging and Identity Revision in Talmudic Logic: An Outline Paper.
Proceedings of the Computational Models of Rationality, 2016
2015
Dagstuhl Reports, 2015
Proceedings of the Semantic Keyword-Based Search on Structured Data Sources, 2015
2014
Proceedings of the Computational Logic, 2014
J. Log. Comput., 2014
J. Log. Comput., 2014
A neural cognitive model of argumentation with application to legal inference and decision making.
J. Appl. Log., 2014
Proceedings of the Multidisciplinary Information Retrieval, 2014
Proceedings of the Foundations of Information and Knowledge Systems, 2014
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014
Toward a Linguistic Interpretation of Deontic Paradoxes - Beth-Reichenbach Semantics Approach for a New Analysis of the Miners Scenario.
Proceedings of the Deontic Logic and Normative Systems - 12th International Conference, 2014
Proceedings of the Computational Models of Argument, 2014
Proceedings of the Language, Culture, Computation. Computing - Theory and Technology, 2014
The Handling of Loops in Talmudic Logic, with Application to Odd and Even Loops in Argumentation.
Proceedings of the HOWARD-60: A Festschrift on the Occasion of Howard Barringer's 60th Birthday, 2014
Proceedings of the Johan van Benthem on Logic and Information Dynamics, 2014
2013
Cognitive Technologies, Springer, ISBN: 978-3-642-41388-9, 2013
Theor. Comput. Sci., 2013
J. Appl. Log., 2013
J. Appl. Log., 2013
Int. J. Approx. Reason., 2013
Proceedings of the Normative Multi-Agent Systems, 2013
2012
Two dimensional Standard Deontic Logic [including a detailed analysis of the 1985 Jones-Pörn deontic logic system].
Synth., 2012
Argument Comput., 2012
A logic of argumentation for specification and verification of abstract argumentation frameworks.
Ann. Math. Artif. Intell., 2012
Ann. Math. Artif. Intell., 2012
Ann. Math. Artif. Intell., 2012
Ann. Math. Artif. Intell., 2012
Overview on the connection between reactive Kripke models and argumentation networks.
Ann. Math. Artif. Intell., 2012
Ann. Math. Artif. Intell., 2012
Temporal Deontic Logic for the Generalised Chisholm Set of Contrary to Duty Obligations.
Proceedings of the Deontic Logic in Computer Science - 11th International Conference, 2012
Proceedings of the Deontic Logic in Computer Science - 11th International Conference, 2012
Proceedings of the Computational Models of Argument, 2012
Proceedings of the Computational Logic in Multi-Agent Systems, 2012
Proceedings of the Computational Logic in Multi-Agent Systems, 2012
Proceedings of the Correct Reasoning, 2012
Proceedings of the Logic Programs, Norms and Action, 2012
2011
Proceedings of the Approaches to Legal Rationality, 2011
Proceedings of the Approaches to Legal Rationality, 2011
Cognitive Technologies, Springer, ISBN: 978-3-642-19067-4, 2011
Advances in Logic 5, World Scientific, ISBN: 978-981-4458-36-8, 2011
Dung's Argumentation is Essentially Equivalent to Classical Propositional Logic with the Peirce-Quine Dagger.
Logica Universalis, 2011
J. Artif. Intell. Res., 2011
Proceedings of the Theorie and Applications of Formal Argumentation, 2011
Proceedings of the Agent and Multi-Agent Systems: Technologies and Applications, 2011
Proceedings of the 2011 Imperial College Computing Student Workshop, 2011
Proceedings of the 13th International Conference on Artificial Intelligence and Law, 2011
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2011
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2011
2010
Log. J. IGPL, 2010
Interpolation in Equilibrium Logic and Answer Set Programming: the Propositional Case
CoRR, 2010
Proceedings of the Prague Stringology Conference 2010, Prague, Czech Republic, August 30, 2010
Proceedings of the STAIRS 2010, 2010
Proceedings of the Computational Models of Argument: Proceedings of COMMA 2010, 2010
Proceedings of the Time for Verification, 2010
Cognitive Technologies, Springer, ISBN: 978-3-642-14158-4, 2010
Cognitive Technologies, Springer, ISBN: 978-3-642-04406-9, 2010
2009
Proceedings of the Games: Unifying Logic, Language, and Philosophy, 2009
Cognitive Technologies, Springer, ISBN: 978-3-540-73245-7, 2009
Complete Extensions in Argumentation Coincide with 3-Valued Stable Models in Logic Programming.
Stud Logica, 2009
Semantics for Higher Level Attacks in Extended Argumentation Frames Part 1: Overview.
Stud Logica, 2009
Analysis of the Talmudic Argumentum A Fortiori Inference Rule (Kal Vachomer) using Matrix Abduction.
Stud Logica, 2009
J. Log. Comput., 2009
Log. J. IGPL, 2009
Proceedings of the Normative Multi-Agent Systems, 15.03. - 20.03.2009, 2009
2008
Rev. Symb. Log., 2008
A Normative View on the Blocks World.
Proceedings of the Third International Workshop on Normative Multiagent Systems, 2008
Proceedings of the Deontic Logic in Computer Science, 9th International Conference, 2008
Second-Order Quantifier Elimination - Foundations, Computational Aspects and Applications.
Studies in logic : Mathematical logic and foundations 12, College Publications, ISBN: 978-1-904987-56-7, 2008
2007
Theor. Comput. Sci., 2007
Second-Order Quantifier Elimination in Higher-Order Contexts with Applications to the Semantical Analysis of Conditionals.
Stud Logica, 2007
Log. J. IGPL, 2007
Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007
Proceedings of the Runtime Verification, 7th International Workshop, 2007
Proceedings of the Formal Models of Belief Change in Rational Agents, 26.08. - 30.08.2007, 2007
2006
2005
Proceedings of the Handbook of Temporal Reasoning in Artificial Intelligence, 2005
ACM Trans. Comput. Log., 2005
J. Log. Comput., 2005
Proceedings of the Advances in Neural Information Processing Systems 18 [Neural Information Processing Systems, 2005
Proceedings of the Mechanizing Mathematical Reasoning, 2005
2004
Belief Contraction, Anti-Formulae and Resource Overdraft: Part II Deletion In Resource Unbounded Logics.
Proceedings of the Logic, Epistemology, and the Unity of Science, 2004
J. Appl. Log., 2004
Applying connectionist modal logics to distributed knowledge representation problems.
Int. J. Artif. Intell. Tools, 2004
Proceedings of the Neural Information Processing, 11th International Conference, 2004
Towards a Connectionist Argumentation Framework.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004
Proceedings of the Computer Science Logic, 18th International Workshop, 2004
Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004
2003
J. Log. Comput., 2003
Normative Models of Rational Agency: The Theoretical Disutility of Certain Approaches.
Log. J. IGPL, 2003
Neural-Symbolic Intuitionistic Reasoning.
Proceedings of the Design and Application of Hybrid Intelligent Systems, 2003
Distributed Knowledge Representation in Neural-Symbolic Learning Systems: A Case Study.
Proceedings of the Sixteenth International Florida Artificial Intelligence Research Society Conference, 2003
Proceedings of the Computer Science Logic, 17th International Workshop, 2003
2002
Stud Logica, 2002
Belief Contraction, Anti-formulae and Resource Overdraft: Part I Deletion in Resource bounded Logics.
Log. J. IGPL, 2002
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2002
Perspectives in neural computing, Springer, ISBN: 978-1-85233-512-0, 2002
2001
Artif. Intell., 2001
Proceedings of the Handbook of Automated Reasoning (in 2 volumes), 2001
Dynamic syntax - the flow of language understanding.
Blackwell, ISBN: 978-0-631-17613-8, 2001
2000
On Modal Logics Characterized by Models with Relative Accessibility Relations: Part I.
Stud Logica, 2000
On Modal Logics Characterized by Models with Relative Accessibility Relations: Part II.
Stud Logica, 2000
Log. J. IGPL, 2000
Proceedings of the Seventh Workshop on Automated Reasoning, 2000
Clarendon Press, ISBN: 0198537816, 2000
1999
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1999
1998
Algorithmic Proof Methods and Cut Elimination for Implicational Logics Part I: Modal Implication.
Stud Logica, 1998
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1998
Proceedings of the Intelligent Tutoring Systems, 4th International Conference, 1998
Dznamics of Practical Reasoning: A Position Paper.
Proceedings of the Advances in Modal Logic 2, 1998
Elementary logics - a procedural perspective.
Prentice Hall series in computer science, Prentice Hall, ISBN: 978-0-13-726365-3, 1998
1997
Proceedings of the Qualitative and Quantitative Practical Reasoning, 1997
1996
J. Log. Comput., 1996
J. Symb. Log., 1996
Log. J. IGPL, 1996
Proceedings of the Theorem Proving with Analytic Tableaux and Related Methods, 1996
What is Negation in a System? Negation in Structured Consequence Relations.
Proceedings of the Logic, Action, and Information, 1996
Proceedings of the Logical Aspects of Computational Linguistics, 1996
An Overview of Fibred Semantics and the Combination of Logics.
Proceedings of the Frontiers of Combining Systems, 1996
Proceedings of the Practical Reasoning, 1996
Logical Handling of Inconsistent and Default Information.
Proceedings of the Uncertainty Management in Information Systems: From Needs to Solution., 1996
1995
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1995
Clarendon Press, ISBN: 0198537808, 1995
1994
IEEE Trans. Software Eng., 1994
A Generalization of Analytic Deduction via Labelled Deductive Systems. Part I: Basic Substructural Logics.
J. Autom. Reason., 1994
Conditonal Logic Programming.
Proceedings of the Logic Programming, 1994
Classical vs non-classical logics (the universality of classical logic).
Proceedings of the Handbook of Logic in Artificial Intelligence and Logic Programming, 1994
Clarendon Press, ISBN: 019853762X, 1994
1993
Undedidability of Modal and Intermediate First-Order Logics with Two Individual Variables.
J. Symb. Log., 1993
J. Appl. Non Class. Logics, 1993
Semantical Correspondence Properties of Some Modal Systems of Logic.
Proceedings of the Fourth Scandinavian Conference on Artificial Intelligence, 1993
Proceedings of the Software Engineering, 1993
Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1993
Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1993
1992
Logic Made Reasonable.
Künstliche Intell., 1992
Extending the Curry-Howard Interpretation to Linear, Relevant and Other Resource Logics.
J. Symb. Log., 1992
Quantifier Elimination in Second-Order Predicate Logic.
Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92). Cambridge, 1992
Proceedings of the GWAI-92: Advances in Artificial Intelligence, 16th German Conference on Artificial Intelligence, Bonn, Germany, August 31, 1992
Proceedings of the Database Theory, 1992
Proceedings of the ALPUK92, Proceedings of the 4th UK Conference on Logic Programming, London, 30 March, 1992
Handbook of logic in computer science. Volume 2. Background: Computational structures.
Clarendon Press, ISBN: 0198537611, 1992
Handbook of logic in computer science. Volume 1. Background: Mathematical structures.
Clarendon Press, ISBN: 0198537352, 1992
1991
A Family of Goal Directed Theorem Provers Based on Conjunction and Implication: Part I.
J. Autom. Reason., 1991
Proceedings of the 17th International Conference on Very Large Data Bases, 1991
Theoretical Foundations for Non-Monotonic Reasoning Part 2: Structured Non-Monotonic Theories.
Proceedings of the Third Scandinavian Conference on Artificial Intelligence, 1991
Credulous vs. Sceptical Semantics for Ordered Logic Programs.
Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91). Cambridge, 1991
Meta-Reasoning in Executable Temporal Logic.
Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91). Cambridge, 1991
Making inconsistency respectable: a logical framework for inconsistency in reasoning.
Proceedings of the Fundamentals of Artificial Intelligence Research, 1991
Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1991
1990
J. Log. Comput., 1990
Proceedings of the Computer Science Logic, 4th Workshop, 1990
1989
Proceedings of the Stepwise Refinement of Distributed Systems, 1989
Proceedings of the Extensions of Logic Programming, 1989
Proceedings of the Concurrency: Theory, 1989
1988
Proceedings of the Concurrency 88: International Conference on Concurrency, 1988
1987
Inf. Comput., January, 1987
The Declarative Past and Imperative Future: Executable Temporal Logic for Interactive Systems.
Proceedings of the Temporal Logic in Specification, 1987
1986
1985
N-Prolog: An Extension of Prolog with Hypothetical Implication II - Logical Foundations, and Negation as Failure.
J. Log. Program., 1985
1984
J. Log. Program., 1984
Proceedings of the Logics and Models of Concurrent Systems, 1984
1982
Proceedings of the 6th Conference on Automated Deduction, 1982
1980
Proceedings of the Conference Record of the Seventh Annual ACM Symposium on Principles of Programming Languages, 1980
1978
1977
J. Symb. Log., 1977
1976
J. Symb. Log., 1976
1974
A Sequence of Decidable Finitely Axiomatizable Intermediate Logics with the Disjunction Property.
J. Symb. Log., 1974
1973
The Undecidability of Intuitionistic Theories of Algebraically Closed Fields and Real Closed Fields.
J. Symb. Log., 1973
Applications of scott's notion of consequence to the study of general binary intensional connectives and entailment.
J. Philos. Log., 1973
1972
Sufficient Conditions for the Undecidability of Intuitionistic Theories with Applications.
J. Symb. Log., 1972
1970