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:
  • Dijkstra number2 of three.
  • Erdős number3 of two.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
A self-explanatory contrastive logical knowledge learning method for sentiment analysis.
Knowl. Based Syst., October, 2023

A comprehensive account of the burden of persuasion in abstract argumentation.
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

Evolutionary Temporal Logic for Modelling Many-Lives Argumentation Networks.
FLAP, 2023

2022
Ensuring reference independence and cautious monotony in abstract argumentation.
Int. J. Approx. Reason., 2022

The Law of Evidence and Labelled Deduction: Ten Years Later.
FLAP, 2022

BTPK-based learning: An Interpretable Method for Named Entity Recognition.
CoRR, 2022

Dynamic Deontic Logic for Permitted Announcements.
Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022

Value-Based Practical Reasoning: Modal Logic + Argumentation.
Proceedings of the Computational Models of Argument, 2022

Case-Based Reasoning via Comparing the Strength Order of Features.
Proceedings of the Explainable and Transparent AI and Multi-Agent Systems, 2022

2021
Preface.
FLAP, 2021

What is Negation in a System 2020?
FLAP, 2021

The Degrees of Monotony-Dilemma in Abstract Argumentation.
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

The Burden of Persuasion in Abstract Argumentation.
Proceedings of the Logic and Argumentation - 4th International Conference, 2021

Explainable Reasoning in Face of Contradictions: From Humans to Machines.
Proceedings of the Explainable and Transparent AI and Multi-Agent Systems, 2021

2020
Normality, Non-contamination and Logical Depth in Classical Natural Deduction.
Stud Logica, 2020

Introducing Abstract Argumentation with Many Lives.
FLAP, 2020

Book Symposium on Woods' Truth in Fiction: Editorial Remarks.
FLAP, 2020

A Bimodal Simulation of Defeasibility in the Normative Domain.
Proceedings of the 6th Workshop on Formal and Cognitive Reasoning co-located with 43rd German Conference on Artificial Intelligence (KI-2020), 2020

Attack-Defence Frameworks: Argumentation-Based Semantics for Attack-Defence Trees.
Proceedings of the Graphical Models for Security - 7th International Workshop, 2020

Towards DiArg: An Argumentation-based Dialogue Reasoning Engine.
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

Forgetting an Argument.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019
Text Mining for Evaluating Authors' Birth and Death Years.
ACM Trans. Knowl. Discov. Data, 2019

The Talmudic Logic Project, Ongoing Since 2008.
Logica Universalis, 2019

A geometrical view of I/O logic.
CoRR, 2019

2018
Editorial.
FLAP, 2018

Present and Future of Formal Argumentation (Dagstuhl Perspectives Workshop 15362).
Dagstuhl Manifestos, 2018

Argumentation as Exogenous Coordination.
Proceedings of the It's All About Coordination, 2018

2017
Mining and Using Key-Words and Key-Phrases to Identify the Era of an Anonymous Text.
Trans. Comput. Collect. Intell., 2017

Preface.
J. Log. Comput., 2017

Algorithms in Philosophy, Informatics and Logic. A Position Manifesto 2017.
FLAP, 2017

Reasoning under the Influence of Universal Distortion. Sex Offenders Case Study.
FLAP, 2017

Reasoning Schemes, Expert Opinion and Critical Questions. Sex Offenders Case Study.
FLAP, 2017

HEAL2100: Human Effective Argumentation and Logic for the 21st Century. The Next Step in the Evolution of Logic.
FLAP, 2017

Editorial.
FLAP, 2017

2016
Theory of Semi-Instantiation in Abstract Argumentation.
Logica Universalis, 2016

The handling of loops in argumentation networks.
J. Log. Comput., 2016

Logical foundations for bipolar and tripolar argumentation networks: preliminary results.
J. Log. Comput., 2016

Introduction to the special issue on Loops in Argumentation.
J. Log. Comput., 2016

The attack as intuitionistic negation.
Log. J. IGPL, 2016

Theory of disjunctive attacks, Part I.
Log. J. IGPL, 2016

Editorial Preface.
FLAP, 2016

Introducing Bayesian Argumentation Networks.
FLAP, 2016

Quantum States and Disjunctive Attacks in Talmudic Logic.
FLAP, 2016

Degrees of "in", "out" and "undecided" in Argumentation Networks.
Proceedings of the Computational Models of Argument, 2016

Argumentation as Information Input: A Position Paper.
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

A New Perspective on Nonmonotonic Logics
Springer, ISBN: 978-3-319-46817-4, 2016

2015
Equilibrium States in Numerical Argumentation Networks.
Logica Universalis, 2015

Probabilistic Argumentation: An Equational Approach.
Logica Universalis, 2015

Reactive standard deontic logic.
J. Log. Comput., 2015

The attack as strong negation, part I.
Log. J. IGPL, 2015

Editorial comment about "On the Difference between ABA and AA".
FLAP, 2015

Present and Future of Formal Argumentation (Dagstuhl Perpectives Workshop 15362).
Dagstuhl Reports, 2015

Key-Phrases as Means to Estimate Birth and Death Years of Jewish Text Authors.
Proceedings of the Semantic Keyword-Based Search on Structured Data Sources, 2015

2014
Editorial Note.
Proceedings of the Computational Logic, 2014

What is a logical system? An evolutionary view: 1964-2014.
Proceedings of the Computational Logic, 2014

An equational approach to the merging of argumentation networks.
J. Log. Comput., 2014

Reasoning about delegation and revocation schemes in answer set programming.
J. Log. Comput., 2014

A neural cognitive model of argumentation with application to legal inference and decision making.
J. Appl. Log., 2014

Products of modal logics and tensor products of modal algebras.
J. Appl. Log., 2014

The paradoxes of permission an action based solution.
J. Appl. Log., 2014

Systems of Interacting Argumentation Networks.
FLAP, 2014

When Text Authors Lived Using Undated Citations.
Proceedings of the Multidisciplinary Information Retrieval, 2014

The Equational Approach to Contrary-to-duty Obligations.
Proceedings of the Foundations of Information and Knowledge Systems, 2014

Abduction and Dialogical Proof in Argumentation and Logic Programming.
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

A self-correcting iteration schema for argumentation networks.
Proceedings of the Computational Models of Argument, 2014

Reactivity and Grammars: An Exploration.
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

When are Two Arguments the Same? Equivalence in Abstract Argumentation.
Proceedings of the Johan van Benthem on Logic and Information Dynamics, 2014

2013
Reactive Kripke Semantics
Cognitive Technologies, Springer, ISBN: 978-3-642-41388-9, 2013

Semantics and proof-theory of depth bounded Boolean logics.
Theor. Comput. Sci., 2013

Reactive Kripke models and contrary to duty obligations. Part A: Semantics.
J. Appl. Log., 2013

Future determination of entities in Talmudic public announcement logic.
J. Appl. Log., 2013

A socio-cognitive model of trust using argumentation theory.
Int. J. Approx. Reason., 2013


2012
Preface.
Proceedings of the Logic: A History of its Central Concepts, 2012

Two dimensional Standard Deontic Logic [including a detailed analysis of the 1985 Jones-Pörn deontic logic system].
Synth., 2012

Sequential Dynamic Logic.
J. Log. Lang. Inf., 2012

Equational approach to argumentation networks.
Argument Comput., 2012

Modal and temporal argumentation networks.
Argument Comput., 2012

Temporal, numerical and meta-level dynamics in argumentation networks.
Argument Comput., 2012

A logic of argumentation for specification and verification of abstract argumentation frameworks.
Ann. Math. Artif. Intell., 2012

Modelling defeasible and prioritized support in bipolar argumentation.
Ann. Math. Artif. Intell., 2012

Global view on reactivity: switch graphs and their logics.
Ann. Math. Artif. Intell., 2012

Completeness theorems for reactive modal logics.
Ann. Math. Artif. Intell., 2012

Introducing reactive modal tableaux.
Ann. Math. Artif. Intell., 2012

Introducing reactive Kripke semantics and arc accessibility.
Ann. Math. Artif. Intell., 2012

Overview on the connection between reactive Kripke models and argumentation networks.
Ann. Math. Artif. Intell., 2012

Causal dynamic inference.
Ann. Math. Artif. Intell., 2012

Embedding and automating conditional logics in classical higher-order logic.
Ann. Math. Artif. Intell., 2012

Contrary to time conditionals in Talmudic logic.
Artif. Intell. Law, 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

Discussion Paper: Changing Norms Is Changing Obligation Change.
Proceedings of the Deontic Logic in Computer Science - 11th International Conference, 2012

The Equational Approach to CF2 Semantics.
Proceedings of the Computational Models of Argument, 2012

A Numerical Approach to the Merging of Argumentation Networks.
Proceedings of the Computational Logic in Multi-Agent Systems, 2012

Bipolar Argumentation Frames and Contrary to Duty Obligations, Preliminary Report.
Proceedings of the Computational Logic in Multi-Agent Systems, 2012

An Equational Approach to Logic Programming.
Proceedings of the Correct Reasoning, 2012

What Is Negation as Failure?
Proceedings of the Logic Programs, Norms and Action, 2012

2011
The Law of Evidence and Labelled Deduction: A Position Paper.
Proceedings of the Approaches to Legal Rationality, 2011

Relevance in the Law.
Proceedings of the Approaches to Legal Rationality, 2011

Logic and the Law: Crossing the Lines of Discipline.
Proceedings of the Approaches to Legal Rationality, 2011

Conditionals and Modularity in General Logics
Cognitive Technologies, Springer, ISBN: 978-3-642-19067-4, 2011

The Functional Interpretation of Logical Deduction
Advances in Logic 5, World Scientific, ISBN: 978-981-4458-36-8, 2011

Reactive intuitionistic tableaux.
Synth., 2011

Dung's Argumentation is Essentially Equivalent to Classical Propositional Logic with the Peirce-Quine Dagger.
Logica Universalis, 2011

Interpolable Formulas in Equilibrium Logic and Answer Set Programming.
J. Artif. Intell. Res., 2011

Reactive automata.
Inf. Comput., 2011

Equilibria und weiteres Heiteres II
CoRR, 2011

Obligations and prohibitions in Talmudic deontic logic.
Artif. Intell. Law, 2011

Multi-sorted Argumentation.
Proceedings of the Theorie and Applications of Formal Argumentation, 2011

Argumentative Agents Negotiating on Potential Attacks.
Proceedings of the Agent and Multi-Agent Systems: Technologies and Applications, 2011

Conditional Labelling for Abstract Argumentation.
Proceedings of the 2011 Imperial College Computing Student Workshop, 2011

Intelligent evaluation of evidence using Wigmore diagrams.
Proceedings of the 13th International Conference on Artificial Intelligence and Law, 2011

Arguing about the Trustworthiness of the Information Sources.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2011

Introducing Equational Semantics for Argumentation Networks.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2011

2010
A Comment on Work by Booth and Co-authors.
Stud Logica, 2010

A Theory of Hierarchical Consequence and Conditionals.
J. Log. Lang. Inf., 2010

Semantic interpolation.
J. Appl. Non Class. Logics, 2010

Algorithms in cognition, informatics and logic: A position manifesto.
Log. J. IGPL, 2010

Interpolation in Equilibrium Logic and Answer Set Programming: the Propositional Case
CoRR, 2010

Reactive Links to Save Automata States.
Proceedings of the Prague Stringology Conference 2010, Prague, Czech Republic, August 30, 2010

Modal Access Control Logic - Axiomatization, Semantics and FOL Theorem Proving.
Proceedings of the STAIRS 2010, 2010

Higher-Order Coalition Logic.
Proceedings of the ECAI 2010, 2010

Support in Abstract Argumentation.
Proceedings of the Computational Models of Argument: Proceedings of COMMA 2010, 2010

Modal and Temporal Argumentation Networks.
Proceedings of the Time for Verification, 2010

Revision, Acceptability and Context - Theoretical and Algorithmic Aspects.
Cognitive Technologies, Springer, ISBN: 978-3-642-14158-4, 2010

Logical Tools for Handling Change in Agent-Based Systems.
Cognitive Technologies, Springer, ISBN: 978-3-642-04406-9, 2010

2009
Fallacies as Cognitive Virtues.
Proceedings of the Games: Unifying Logic, Language, and Philosophy, 2009

Preface.
Proceedings of the Logic from Russell to Church, 2009

Neural-Symbolic Cognitive Reasoning
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

Preface for Studia Logica Special Issue (2).
Stud Logica, 2009

Annotation Theories over Finite Graphs.
Stud Logica, 2009

Independence - Revision and Defaults.
Stud Logica, 2009

Voting by Eliminating Quantifiers.
Stud Logica, 2009

Modal Logics of Reactive Frames.
Stud Logica, 2009

Logical Modes of Attack in Argumentation Networks.
Stud Logica, 2009

Semantics for Higher Level Attacks in Extended Argumentation Frames Part 1: Overview.
Stud Logica, 2009

Fibring Argumentation Frames.
Stud Logica, 2009

Modal Provability Foundations for Argumentation Networks.
Stud Logica, 2009

A Logical Account of Formal Argumentation.
Stud Logica, 2009

Meta-Argumentation Modelling I: Methodology and Techniques.
Stud Logica, 2009

Fibred Security Language.
Stud Logica, 2009

A Meta-model of Access Control in a Fibred Security Language.
Stud Logica, 2009

Analysis of the Talmudic Argumentum A Fortiori Inference Rule (Kal Vachomer) using Matrix Abduction.
Stud Logica, 2009

Reactive Preferential Structures and Nonmonotonic Consequence.
Rev. Symb. Log., 2009

Size and Logic.
Rev. Symb. Log., 2009

Connections between Belief Revision, Belief Merging and Social Choice.
J. Log. Comput., 2009

Roadmap for preferential logics.
J. Appl. Non Class. Logics, 2009

Defeasible inheritance systems and reactive diagrams.
Log. J. IGPL, 2009

Modelling evolvable component systems: Part I: A logical framework.
Log. J. IGPL, 2009

FSL - Fibred Security Language.
Proceedings of the Normative Multi-Agent Systems, 15.03. - 20.03.2009, 2009

2008
Preface.
Proceedings of the Mediaeval and Renaissance Logic, 2008

Preface.
Proceedings of the British Logic in the Nineteenth Century, 2008

Resource-origins of Nonmonotonicity.
Stud Logica, 2008

Cumulativity without Closure of the Domain under Finite Unions.
Rev. Symb. Log., 2008

Belief Revision in non-Classical Logics.
Rev. Symb. Log., 2008

A Sound and Complete Deductive System for CTL* Verification.
Log. J. IGPL, 2008

Cut-Based Abduction.
Log. J. IGPL, 2008

A Normative View on the Blocks World.
Proceedings of the Third International Workshop on Normative Multiagent Systems, 2008

Reactive Kripke Models and Contrary to Duty Obligations.
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
Preface.
Proceedings of the Many Valued and Nonmonotonic Turn in Logic, 2007

Connectionist modal logic: Representing modalities in neural networks.
Theor. Comput. Sci., 2007

Second-Order Quantifier Elimination in Higher-Order Contexts with Applications to the Semantical Analysis of Conditionals.
Stud Logica, 2007

Equal Rights for the Cut: Computable Non-analytic Cuts in Cut-based Proofs.
Log. J. IGPL, 2007

Fuzzy logics based on [0, 1)-continuous uninorms.
Arch. Math. Log., 2007

A Logical Framework for Monitoring and Evolving Software Components.
Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

From Runtime Verification to Evolvable Systems.
Proceedings of the Runtime Verification, 7th International Workshop, 2007

Common Foundations for belief revision, belief merging and voting.
Proceedings of the Formal Models of Belief Change in Rational Agents, 26.08. - 30.08.2007, 2007

2006
Preface.
Proceedings of the Logic and the Modalities in the Twentieth Century, 2006

Connectionist computations of intuitionistic reasoning.
Theor. Comput. Sci., 2006

Context-dependent Abduction and Relevance.
J. Philos. Log., 2006

Cut and Pay.
J. Log. Lang. Inf., 2006

Advice on Abductive Logic.
Log. J. IGPL, 2006

2005
Modal Varieties of Temporal Logic.
Proceedings of the Handbook of Temporal Reasoning in Artificial Intelligence, 2005

Sequent and hypersequent calculi for abelian and Łukasiewicz logics.
ACM Trans. Comput. Log., 2005

Value-based Argumentation Frameworks as Neural-symbolic Learning Systems.
J. Log. Comput., 2005

Lukasiewicz Logic: From Proof Systems To Logic Programming.
Log. J. IGPL, 2005

Editorial.
Log. J. IGPL, 2005

Algebras of Measurements: the logical structure of Quantum Mechanics
CoRR, 2005

A Connectionist Model for Constructive Modal Reasoning.
Proceedings of the Advances in Neural Information Processing Systems 18 [Neural Information Processing Systems, 2005

Temporal Dynamics of Support and Attack Networks: From Argumentation to Zoology.
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

Preface.
Proceedings of the Rise of Modern Logic: From Leibniz to Frege, 2004

Journal of Applied Logic Special Volume on Neural-Symbolic Systems.
J. Appl. Log., 2004

Applying connectionist modal logics to distributed knowledge representation problems.
Int. J. Artif. Intell. Tools, 2004

Analytic Calculi for Product Logics.
Arch. Math. Log., 2004

Argumentation Neural Networks.
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

Goal-Directed Methods for Lukasiewicz Logic.
Proceedings of the Computer Science Logic, 18th International Workshop, 2004

Fibring Neural Networks.
Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004

2003
Controlled Revision - An algorithmic approach for belief revision.
J. Log. Comput., 2003

Special issue on Combining Probability and Logic.
J. Appl. Log., 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

Goal-Directed Calculli for Gödel-Dummett Logics.
Proceedings of the Computer Science Logic, 17th International Workshop, 2003

2002
Products of Modal Logics. Part 3: Products of Modal and Temporal Logics.
Stud Logica, 2002

A Theory of Hypermodal Logics: Mode Shifting in Modal Logic.
J. Philos. Log., 2002

Naming Worlds in Modal and Temporal Logic.
J. Log. Lang. Inf., 2002

Belief Contraction, Anti-formulae and Resource Overdraft: Part I Deletion in Resource bounded Logics.
Log. J. IGPL, 2002

Labelled Natural Deduction for Conditional Logics of Normality.
Log. J. IGPL, 2002

Quantum logic, Hilbert space, revision theory.
Artif. Intell., 2002

Analytic Sequent Calculi for Abelian and ukasiewicz Logics.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2002

Neural-symbolic learning systems - foundations and applications.
Perspectives in neural computing, Springer, ISBN: 978-1-85233-512-0, 2002

2001
Preface.
Proceedings of the Greek, Indian and Arabic Logic, 2001

Non-Cooperation In Dialogue Logic.
Synth., 2001

More on Non-Cooperation in Dialogue Logic.
Log. J. IGPL, 2001

The New Logic.
Log. J. IGPL, 2001

Editorial.
Log. J. IGPL, 2001

Interpolation in Practical Formal Development.
Log. J. IGPL, 2001

Symbolic knowledge extraction from trained neural networks: A sound approach.
Artif. Intell., 2001

Encoding Two-Valued Nonclassical Logics in Classical Logic.
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

Conditional reasoning in logic programming.
J. Log. Program., 2000

Products of modal logics. Part 2: Relativised quantifiers in classical logic.
Log. J. IGPL, 2000

Goal Directed Mechanisms: Proofs, Interpolation and Abduction Procedures.
Proceedings of the Seventh Workshop on Automated Reasoning, 2000

Handbook of logic in computer science. Volume 5. Logic and Algebraic Methods.
Clarendon Press, ISBN: 0198537816, 2000

1999
Agents in Proactive Environments.
J. Log. Comput., 1999

What's on My Mind...
J. Log. Comput., 1999

CLDS for Propositional Intuitionistic Logic.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1999

1998
Soft computing, labelling and granulation.
Soft Comput., 1998

Cut-free proof systems for logics of weak excluded middle.
Soft Comput., 1998

Algorithmic Proof Methods and Cut Elimination for Implicational Logics Part I: Modal Implication.
Stud Logica, 1998

Calendar Logic.
J. Appl. Non Class. Logics, 1998

Products of Modal Logics, Part 1.
Log. J. IGPL, 1998

Fibring Semantic Tableaux.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1998

WinKE: A Pedagogical Tool for Teaching Logic and Reasoning.
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
Labelled Resolution for Classical and Non-classical Logics.
Stud Logica, 1997

Combining Logic II - Introduction.
Stud Logica, 1997

Combining Logic I - Introduction.
Stud Logica, 1997

Grafting Modalities onto Substructural Implication Systems.
Stud Logica, 1997

Parsing Natural Language using LDS: A Prototype.
Log. J. IGPL, 1997

Structured Belief Bases: A Practical Approach to Prioritised Base Revision.
Proceedings of the Qualitative and Quantitative Practical Reasoning, 1997

1996
Combining Temporal Logic Systems.
Notre Dame J. Formal Log., 1996

A Proof Theoretical Approach to Default Reasoning I: Tableaux for Default Logic.
J. Log. Comput., 1996

Fibred Semantics and the Weaving of Logics, Part 1: Modal and Intuitionistic Logics.
J. Symb. Log., 1996

Fibred Semantics for Feature-Based Grammar Logic.
J. Log. Lang. Inf., 1996

A Language for Handling Hypothetical Updates and Inconsistency.
Log. J. IGPL, 1996

Languages, Meta-languages and METATEM, A Discussion Paper.
Log. J. IGPL, 1996

A Structural Property on Modal Frames Characterizing Default Logic.
Log. J. IGPL, 1996

Fibred Tableaux for Multi-Implication Logic.
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

Language Understanding: A Procedural Perspective.
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

A Methodology for Iterated Theory Change.
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
The Functional Interpretation of the Existential Quantifier.
Log. J. IGPL, 1995

Editorial.
Log. J. IGPL, 1995

The Bulletin turned into a Journal.
Log. J. IGPL, 1995

On the Logic of Information Flow.
Log. J. IGPL, 1995

METATEM: An Introduction.
Formal Aspects Comput., 1995

Hypothetical Updates, Priority and Inconsistency in a Logic Programming Language.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1995

Handbook of logic in computer science. Volume 4. Semantic modelling.
Clarendon Press, ISBN: 0198537808, 1995

1994
Inconsistency Handling in Multperspective Specifications.
IEEE Trans. Software Eng., 1994

A Generalization of Analytic Deduction via Labelled Deductive Systems. Part I: Basic Substructural Logics.
J. Autom. Reason., 1994

Speed with Quality.
Log. J. IGPL, 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

Handbook of logic in computer science. Volume 3. Semantic Structures.
Clarendon Press, ISBN: 019853762X, 1994

1993
Editorial.
J. Log. Comput., 1993

Undedidability of Modal and Intermediate First-Order Logics with Two Individual Variables.
J. Symb. Log., 1993

Computation with run time skolemisation (N-Prolog part 3).
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

Inconsistency Handling in Multi-Perspective Specifications.
Proceedings of the Software Engineering, 1993

Restricted Access Logics for Inconsistent Information.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1993

Making Inconsistency Respectable: Part 2 - Meta-level handling of inconsistency.
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

Adding a temporal dimension to a logic system.
J. Log. Lang. Inf., 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

How to Construct a Logic for Your Application.
Proceedings of the GWAI-92: Advances in Artificial Intelligence, 16th German Conference on Artificial Intelligence, Bonn, Germany, August 31, 1992

Updating Atomic Information in Labelled Database Systems.
Proceedings of the Database Theory, 1992

From A Hilbert Calculus to its Model Theoretic Semantics.
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

Temporal Logic & Historical Databases.
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

Abduction in Labelled Deductive Systems - A Conceptual Abstract.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1991

1990
An Axiomitization of the Temporal Logic with Until and Since over the Real Numbers.
J. Log. Comput., 1990

Algorithmic Proof with Diminishing Resources, Part 1.
Proceedings of the Computer Science Logic, 4th Workshop, 1990

1989
METATEM: A Framework for Programming in Temporal Logic.
Proceedings of the Stepwise Refinement of Distributed Systems, 1989

Modal Provability Foundations for Negation by Failure.
Proceedings of the Extensions of Logic Programming, 1989

Using the Temporal Logic RDL for Design Specifications.
Proceedings of the Concurrency: Theory, 1989

1988
Executing Temporal Logic: Review and Prospects (Abstract).
Proceedings of the Concurrency 88: International Conference on Concurrency, 1988

1987
Preservation of Expressive Completeness in Temporal Models
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
Negation as Inconsistency I.
J. Log. Program., 1986

1985
N-Prolog: An Extension of Prolog with Hypothetical Implication II - Logical Foundations, and Negation as Failure.
J. Log. Program., 1985

1984
N-Prolog: An Extension of Prolog with Hypothetical Implications I.
J. Log. Program., 1984

Theoretical Foundations for Non-Monotonic Reasoning in Expert Systems.
Proceedings of the Logics and Models of Concurrent Systems, 1984

1982
Intuitonistic Basis for Non-Monotonic Logic.
Proceedings of the 6th Conference on Automated Deduction, 1982

1980
On the Temporal Analysis of Fairness.
Proceedings of the Conference Record of the Seventh Annual ACM Symposium on Principles of Programming Languages, 1980

1978
What is a Classical Connective?
Math. Log. Q., 1978

1977
A New Version of Beth Semantics for Intuitionistic Logic.
J. Symb. Log., 1977

Craig Interpolation Theorem for Intuitionistic Logic and Extensions Part III.
J. Symb. Log., 1977

1976
Completeness Properties of Heyting's Predicate Calculus with Respect to RE Models.
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
Decidability of Some Intuitionistic Predicate Theories.
J. Symb. Log., 1972

Sufficient Conditions for the Undecidability of Intuitionistic Theories with Applications.
J. Symb. Log., 1972

Applications of Trees to Intermediate Logics.
J. Symb. Log., 1972

Tense systems with discrete moments of time, part I.
J. Philos. Log., 1972

A general filtration method for modal logics.
J. Philos. Log., 1972

1970
The Decidability of the Kreisel-Putnam System.
J. Symb. Log., 1970


  Loading...