Dov M. Gabbay

According to our database1, Dov M. Gabbay authored at least 293 papers between 1970 and 2019.

Collaborative distances:
  • Dijkstra number2 of three.
  • Erdős number3 of two.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Text Mining for Evaluating Authors' Birth and Death Years.
TKDD, 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. Computational Collective Intelligence, 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.
Logic Journal of the IGPL, 2016

Theory of disjunctive attacks, Part I.
Logic Journal of the 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.
Logic Journal of the 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. Applied Logic, 2014

Products of modal logics and tensor products of modal algebras.
J. Applied Logic, 2014

The paradoxes of permission an action based solution.
J. Applied Logic, 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. Applied Logic, 2013

Future determination of entities in Talmudic public announcement logic.
J. Applied Logic, 2013

A socio-cognitive model of trust using argumentation theory.
Int. J. Approx. Reasoning, 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].
Synthese, 2012

Sequential Dynamic Logic.
Journal of Logic, Language and Information, 2012

Equational approach to argumentation networks.
Argument & Computation, 2012

Modal and temporal argumentation networks.
Argument & Computation, 2012

Temporal, numerical and meta-level dynamics in argumentation networks.
Argument & Computation, 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.
Synthese, 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

Conditional Labelling for Abstract 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

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.
Studia Logica, 2010

A Theory of Hierarchical Consequence and Conditionals.
Journal of Logic, Language and Information, 2010

Semantic interpolation.
Journal of Applied Non-Classical Logics, 2010

Algorithms in cognition, informatics and logic: A position manifesto.
Logic Journal of the 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.
Studia Logica, 2009

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

Annotation Theories over Finite Graphs.
Studia Logica, 2009

Independence - Revision and Defaults.
Studia Logica, 2009

Voting by Eliminating Quantifiers.
Studia Logica, 2009

Modal Logics of Reactive Frames.
Studia Logica, 2009

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

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

Fibring Argumentation Frames.
Studia Logica, 2009

Modal Provability Foundations for Argumentation Networks.
Studia Logica, 2009

A Logical Account of Formal Argumentation.
Studia Logica, 2009

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

Fibred Security Language.
Studia Logica, 2009

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

Analysis of the Talmudic Argumentum A Fortiori Inference Rule (Kal Vachomer) using Matrix Abduction.
Studia 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.
Journal of Applied Non-Classical Logics, 2009

Defeasible inheritance systems and reactive diagrams.
Logic Journal of the IGPL, 2009

Modelling evolvable component systems: Part I: A logical framework.
Logic Journal of the 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.
Studia 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.
Logic Journal of the IGPL, 2008

Cut-Based Abduction.
Logic Journal of the 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.
Studia Logica, 2007

Equal Rights for the Cut: Computable Non-analytic Cuts in Cut-based Proofs.
Logic Journal of the 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. Philosophical Logic, 2006

Cut and Pay.
Journal of Logic, Language and Information, 2006

Advice on Abductive Logic.
Logic Journal of the 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.
Logic Journal of the IGPL, 2005

Editorial.
Logic Journal of the 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. Applied Logic, 2004

Applying connectionist modal logics to distributed knowledge representation problems.
International Journal on Artificial Intelligence 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. Applied Logic, 2003

Normative Models of Rational Agency: The Theoretical Disutility of Certain Approaches.
Logic Journal of the 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.
Studia Logica, 2002

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

Naming Worlds in Modal and Temporal Logic.
Journal of Logic, Language and Information, 2002

Belief Contraction, Anti-formulae and Resource Overdraft: Part I Deletion in Resource bounded Logics.
Logic Journal of the IGPL, 2002

Labelled Natural Deduction for Conditional Logics of Normality.
Logic Journal of the IGPL, 2002

Sequent and Hypersequent Calculi for Abelian and Lukasiewicz Logics
CoRR, 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.
Synthese, 2001

More on Non-Cooperation in Dialogue Logic.
Logic Journal of the IGPL, 2001

The New Logic.
Logic Journal of the IGPL, 2001

Editorial.
Logic Journal of the IGPL, 2001

Interpolation in Practical Formal Development.
Logic Journal of the 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.
Studia Logica, 2000

On Modal Logics Characterized by Models with Relative Accessibility Relations: Part II.
Studia Logica, 2000

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

Products of modal logics. Part 2: Relativised quantifiers in classical logic.
Logic Journal of the IGPL, 2000

Goal Directed Mechanisms: Proofs, Interpolation and Abduction Procedures.
Proceedings of the Seventh Workshop on Automated Reasoning, 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.
Studia Logica, 1998

Calendar Logic.
Journal of Applied Non-Classical Logics, 1998

Products of Modal Logics, Part 1.
Logic Journal of the 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.
Studia Logica, 1997

Combining Logic II - Introduction.
Studia Logica, 1997

Combining Logic I - Introduction.
Studia Logica, 1997

Grafting Modalities onto Substructural Implication Systems.
Studia Logica, 1997

Parsing Natural Language using LDS: A Prototype.
Logic Journal of the 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 Journal of Formal Logic, 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.
Journal of Logic, Language and Information, 1996

A Language for Handling Hypothetical Updates and Inconsistency.
Logic Journal of the IGPL, 1996

Languages, Meta-languages and METATEM, A Discussion Paper.
Logic Journal of the IGPL, 1996

A Structural Property on Modal Frames Characterizing Default Logic.
Logic Journal of the 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.
Logic Journal of the IGPL, 1995

Editorial.
Logic Journal of the IGPL, 1995

The Bulletin turned into a Journal.
Logic Journal of the IGPL, 1995

On the Logic of Information Flow.
Logic Journal of the IGPL, 1995

METATEM: An Introduction.
Formal Asp. Comput., 1995

Hypothetical Updates, Priority and Inconsistency in a Logic Programming Language.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 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. Reasoning, 1994

Speed with Quality.
Logic Journal of the 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

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).
Journal of Applied Non-Classical 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.
KI, 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.
Journal of Logic, Language and Information, 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., 2 Background: Computational structures.
Clarendon Press, ISBN: 0198537611, 1992

Handbook of logic in computer science., 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. Reasoning, 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

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

1980
On the Temporal Basis 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. Philosophical Logic, 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. Philosophical Logic, 1972

A general filtration method for modal logics.
J. Philosophical Logic, 1972

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


  Loading...