The Decidability of the Kreisel-Putnam System. - Dov M. Gabbay (J. Symb. Log., 1970)

A general filtration method for modal logics. - Dov M. Gabbay (J. Philos. Log., 1972)

Tense systems with discrete moments of time, part I. - Dov M. Gabbay (J. Philos. Log., 1972)

Applications of Trees to Intermediate Logics. - Dov M. Gabbay (J. Symb. Log., 1972)

Sufficient Conditions for the Undecidability of Intuitionistic Theories with Applications. - Dov M. Gabbay (J. Symb. Log., 1972)

Decidability of Some Intuitionistic Predicate Theories. - Dov M. Gabbay (J. Symb. Log., 1972)

Applications of scott's notion of consequence to the study of general binary intensional connectives and entailment. - Dov M. Gabbay (J. Philos. Log., 1973)

The Undecidability of Intuitionistic Theories of Algebraically Closed Fields and Real Closed Fields. - Dov M. Gabbay (J. Symb. Log., 1973)

A Sequence of Decidable Finitely Axiomatizable Intermediate Logics with the Disjunction Property. - Dov M. Gabbay; Dick De Jongh (J. Symb. Log., 1974)

Completeness Properties of Heyting's Predicate Calculus with Respect to RE Models. - Dov M. Gabbay (J. Symb. Log., 1976)

Craig Interpolation Theorem for Intuitionistic Logic and Extensions Part III. - Dov M. Gabbay (J. Symb. Log., 1977)

A New Version of Beth Semantics for Intuitionistic Logic. - Dov M. Gabbay (J. Symb. Log., 1977)

What is a Classical Connective? - Dov M. Gabbay (Math. Log. Q., 1978)

On the Temporal Analysis of Fairness. - Dov M. Gabbay; Amir Pnueli; Saharon Shelah; Jonathan Stavi (POPL, 1980)

Intuitonistic Basis for Non-Monotonic Logic. - Dov M. Gabbay (CADE, 1982)

Theoretical Foundations for Non-Monotonic Reasoning in Expert Systems. - Dov M. Gabbay (Logics and Models of Concurrent Systems, 1984)

N-Prolog: An Extension of Prolog with Hypothetical Implications I. - Dov M. Gabbay; Uwe Reyle (J. Log. Program., 1984)

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

Negation as Inconsistency I. - Dov M. Gabbay; Marek J. Sergot (J. Log. Program., 1986)

The Declarative Past and Imperative Future: Executable Temporal Logic for Interactive Systems. - Dov M. Gabbay (Temporal Logic in Specification, 1987)

Preservation of Expressive Completeness in Temporal Models - Amihood Amir; Dov M. Gabbay (Inf. Comput., 1987)

Executing Temporal Logic: Review and Prospects (Abstract). - Howard Barringer; Dov M. Gabbay (Concurrency, 1988)

Using the Temporal Logic RDL for Design Specifications. - Dov M. Gabbay; Ian M. Hodkinson; Anthony Hunter (Concurrency: Theory, Language, And Architecture, 1989)

Modal Provability Foundations for Negation by Failure. - Dov M. Gabbay (ELP, 1989)

METATEM: A Framework for Programming in Temporal Logic. - Howard Barringer; Michael Fisher 001; Dov M. Gabbay; Graham Gough; Richard Owens (REX Workshop, 1989)

Algorithmic Proof with Diminishing Resources, Part 1. - Dov M. Gabbay (CSL, 1990)

An Axiomitization of the Temporal Logic with Until and Since over the Real Numbers. - Dov M. Gabbay; Ian M. Hodkinson (J. Log. Comput., 1990)

Abduction in Labelled Deductive Systems - A Conceptual Abstract. - Dov M. Gabbay (ECSQARU, 1991)

Making inconsistency respectable: a logical framework for inconsistency in reasoning. - Dov M. Gabbay; Anthony Hunter (FAIR, 1991)

Meta-Reasoning in Executable Temporal Logic. - Howard Barringer; Michael Fisher 001; Dov M. Gabbay; Anthony Hunter (KR, 1991)

Credulous vs. Sceptical Semantics for Ordered Logic Programs. - Dov M. Gabbay; Els Laenens; Dirk Vermeir (KR, 1991)

Theoretical Foundations for Non-Monotonic Reasoning Part 2: Structured Non-Monotonic Theories. - Dov M. Gabbay (SCAI, 1991)

Temporal Logic & Historical Databases. - Dov M. Gabbay; Peter McBrien (VLDB, 1991)

A Family of Goal Directed Theorem Provers Based on Conjunction and Implication: Part I. - Dov M. Gabbay; Frank Kriwaczek (J. Autom. Reason., 1991)

Handbook of logic in computer science. Volume 1. Background: Mathematical structures. - Samson Abramsky; Dov M. Gabbay; T. S. E. Maibaum (Clarendon Press, 1992)

Handbook of logic in computer science. Volume 2. Background: Computational structures. - Samson Abramsky; Dov M. Gabbay; T. S. E. Maibaum (Clarendon Press, 1992)

From A Hilbert Calculus to its Model Theoretic Semantics. - Dov M. Gabbay; Hans Jürgen Ohlbach (ALPUK, 1992)

Updating Atomic Information in Labelled Database Systems. - Marcelo Finger; Dov M. Gabbay (ICDT, 1992)

How to Construct a Logic for Your Application. - Dov M. Gabbay (GWAI, 1992)

Quantifier Elimination in Second-Order Predicate Logic. - Dov M. Gabbay; Hans Jürgen Ohlbach (KR, 1992)

Adding a temporal dimension to a logic system. - Marcelo Finger; Dov M. Gabbay (J. Log. Lang. Inf., 1992)

Extending the Curry-Howard Interpretation to Linear, Relevant and Other Resource Logics. - Dov M. Gabbay; Ruy J. G. B. de Queiroz (J. Symb. Log., 1992)

Logic Made Reasonable. - Dov M. Gabbay (Künstliche Intell., 1992)

Making Inconsistency Respectable: Part 2 - Meta-level handling of inconsistency. - Dov M. Gabbay; Anthony Hunter (ECSQARU, 1993)

Restricted Access Logics for Inconsistent Information. - Dov M. Gabbay; Anthony Hunter (ECSQARU, 1993)

Inconsistency Handling in Multi-Perspective Specifications. - Anthony Finkelstein; Dov M. Gabbay; Anthony Hunter; Jeff Kramer; Bashar Nuseibeh (ESEC, 1993)

Semantical Correspondence Properties of Some Modal Systems of Logic. - Rolf Nossum; Dov M. Gabbay (SCAI, 1993)

Computation with run time skolemisation (N-Prolog part 3). - Dov M. Gabbay; Uwe Reyle (J. Appl. Non Class. Logics, 1993)

Undedidability of Modal and Intermediate First-Order Logics with Two Individual Variables. - Dov M. Gabbay; Valentin B. Shehtman (J. Symb. Log., 1993)

Editorial. - Dov M. Gabbay (J. Log. Comput., 1993)

Handbook of logic in computer science. Volume 3. Semantic Structures. - Samson Abramsky; Dov M. Gabbay; T. S. E. Maibaum (Clarendon Press, 1994)

Classical vs non-classical logics (the universality of classical logic). - Dov M. Gabbay (Handbook of Logic in Artificial Intelligence and Logic Programming (2), 1994)

Conditonal Logic Programming. - Dov M. Gabbay; Laura Giordano 001; Alberto Martelli; Nicola Olivetti (ICLP, 1994)

Speed with Quality. - Dov M. Gabbay; Ruy J. G. B. de Queiroz (Log. J. IGPL, 1994)

A Generalization of Analytic Deduction via Labelled Deductive Systems. Part I: Basic Substructural Logics. - Marcello D'Agostino; Dov M. Gabbay (J. Autom. Reason., 1994)

Inconsistency Handling in Multperspective Specifications. - Anthony Finkelstein; Dov M. Gabbay; Anthony Hunter; Jeff Kramer; Bashar Nuseibeh (IEEE Trans. Software Eng., 1994)

Handbook of logic in computer science. Volume 4. Semantic modelling. - Samson Abramsky; Dov M. Gabbay; T. S. E. Maibaum (Clarendon Press, 1995)

Hypothetical Updates, Priority and Inconsistency in a Logic Programming Language. - Dov M. Gabbay; Laura Giordano 001; Alberto Martelli; Nicola Olivetti (LPNMR, 1995)

METATEM: An Introduction. - Howard Barringer; Michael Fisher 001; Dov M. Gabbay; Graham Gough; Richard Owens (Formal Aspects Comput., 1995)

On the Logic of Information Flow. - Jon Barwise; Dov M. Gabbay; Chrysafis Hartonas (Log. J. IGPL, 1995)

The Bulletin turned into a Journal. - Dov M. Gabbay; Hans Jürgen Ohlbach; Ruy J. G. B. de Queiroz (Log. J. IGPL, 1995)

Editorial. - Dov M. Gabbay; Hans Jürgen Ohlbach; Ruy J. G. B. de Queiroz (Log. J. IGPL, 1995)

The Functional Interpretation of the Existential Quantifier. - Ruy J. G. B. de Queiroz; Dov M. Gabbay (Log. J. IGPL, 1995)

Logical Handling of Inconsistent and Default Information. - Philippe Besnard; Luis Fariñas del Cerro; Dov M. Gabbay; Anthony Hunter (Uncertainty Management in Information Systems, 1996)

A Methodology for Iterated Theory Change. - Dov M. Gabbay; Odinaldo Rodrigues (FAPR, 1996)

An Overview of Fibred Semantics and the Combination of Logics. - Dov M. Gabbay (FroCoS, 1996)

Language Understanding: A Procedural Perspective. - Ruth Kempson; Wilfried Meyer-Viol; Dov M. Gabbay (LACL, 1996)

What is Negation in a System? Negation in Structured Consequence Relations. - Dov M. Gabbay; Heinrich Wansing (Logic, Action, and Information, 1996)

Fibred Tableaux for Multi-Implication Logic. - Marcello D'Agostino; Dov M. Gabbay (TABLEAUX, 1996)

A Structural Property on Modal Frames Characterizing Default Logic. - Gianni Amati; Luigia Carlucci Aiello; Dov M. Gabbay; Fiora Pirri (Log. J. IGPL, 1996)

Languages, Meta-languages and METATEM, A Discussion Paper. - Howard Barringer; Graham Gough; Derek Brough; Dov M. Gabbay; Ian M. Hodkinson; Anthony Hunter; Richard Owens; Peter McBrien; Mark Reynolds 001; Michael Fisher 001 (Log. J. IGPL, 1996)

A Language for Handling Hypothetical Updates and Inconsistency. - Dov M. Gabbay; Laura Giordano 001; Alberto Martelli; Nicola Olivetti (Log. J. IGPL, 1996)

Fibred Semantics for Feature-Based Grammar Logic. - Jochen Dörre; Esther König; Dov M. Gabbay (J. Log. Lang. Inf., 1996)

Fibred Semantics and the Weaving of Logics, Part 1: Modal and Intuitionistic Logics. - Dov M. Gabbay (J. Symb. Log., 1996)

A Proof Theoretical Approach to Default Reasoning I: Tableaux for Default Logic. - Gianni Amati; Luigia Carlucci Aiello; Dov M. Gabbay; Fiora Pirri (J. Log. Comput., 1996)

Combining Temporal Logic Systems. - Marcelo Finger; Dov M. Gabbay (Notre Dame J. Formal Log., 1996)

Structured Belief Bases: A Practical Approach to Prioritised Base Revision. - Dov M. Gabbay; Odinaldo Rodrigues (ECSQARU-FAPR, 1997)

Parsing Natural Language using LDS: A Prototype. - Marcelo Finger; Rodger Kibble; Dov M. Gabbay; Ruth Kempson (Log. J. IGPL, 1997)

Grafting Modalities onto Substructural Implication Systems. - Marcello D'Agostino; Dov M. Gabbay; Alessandra Russo (Stud Logica, 1997)

Combining Logic I - Introduction. - Dov M. Gabbay; Fiora Pirri (Stud Logica, 1997)

Combining Logic II - Introduction. - Dov M. Gabbay; Fiora Pirri (Stud Logica, 1997)

Labelled Resolution for Classical and Non-classical Logics. - Dov M. Gabbay; Uwe Reyle (Stud Logica, 1997)

Elementary logics - a procedural perspective. - Dov M. Gabbay (Prentice Hall, 1998)

Dznamics of Practical Reasoning: A Position Paper. - Dov M. Gabbay (Advances in Modal Logic, 1998)

WinKE: A Pedagogical Tool for Teaching Logic and Reasoning. - Marcello D'Agostino; Marco Mondadori; Ulrich Endriss; Dov M. Gabbay; Jeremy Pitt (Intelligent Tutoring Systems, 1998)

Fibring Semantic Tableaux. - Bernhard Beckert; Dov M. Gabbay (TABLEAUX, 1998)

Products of Modal Logics, Part 1. - Dov M. Gabbay; Valentin B. Shehtman (Log. J. IGPL, 1998)

Calendar Logic. - Hans Jürgen Ohlbach; Dov M. Gabbay (J. Appl. Non Class. Logics, 1998)

Algorithmic Proof Methods and Cut Elimination for Implicational Logics Part I: Modal Implication. - Dov M. Gabbay; Nicola Olivetti (Stud Logica, 1998)

Cut-free proof systems for logics of weak excluded middle. - Agata Ciabattoni; Dov M. Gabbay; Nicola Olivetti (Soft Comput., 1998)

Soft computing, labelling and granulation. - Dov M. Gabbay (Soft Comput., 1998)

CLDS for Propositional Intuitionistic Logic. - Krysia Broda; Dov M. Gabbay (TABLEAUX, 1999)

What's on My Mind... - Dov M. Gabbay (J. Log. Comput., 1999)

Agents in Proactive Environments. - Dov M. Gabbay; Rolf Nossum; Michael Thielscher (J. Log. Comput., 1999)

Handbook of logic in computer science. Volume 5. Logic and Algebraic Methods. - Samson Abramsky; Dov M. Gabbay; T. S. E. Maibaum (Clarendon Press, 2000)

Goal Directed Mechanisms: Proofs, Interpolation and Abduction Procedures. - Dov M. Gabbay (ARW, 2000)

Products of modal logics. Part 2: Relativised quantifiers in classical logic. - Dov M. Gabbay; Valentin B. Shehtman (Log. J. IGPL, 2000)

Conditional reasoning in logic programming. - Dov M. Gabbay; Laura Giordano 001; Alberto Martelli; Nicola Olivetti; Maria Luisa Sapino (J. Log. Program., 2000)

On Modal Logics Characterized by Models with Relative Accessibility Relations: Part II. - Stéphane Demri; Dov M. Gabbay (Stud Logica, 2000)

On Modal Logics Characterized by Models with Relative Accessibility Relations: Part I. - Stéphane Demri; Dov M. Gabbay (Stud Logica, 2000)

Dynamic syntax - the flow of language understanding. - Ruth Kempson; Wilfried Meyer-Viol; Dov M. Gabbay (Blackwell, 2001)

Encoding Two-Valued Nonclassical Logics in Classical Logic. - Hans Jürgen Ohlbach; Andreas Nonnengart; Maarten de Rijke; Dov M. Gabbay (Handbook of Automated Reasoning, 2001)

Symbolic knowledge extraction from trained neural networks: A sound approach. - Artur S. d'Avila Garcez; Krysia Broda; Dov M. Gabbay (Artif. Intell., 2001)

Interpolation in Practical Formal Development. - Juan Bicarregui; Theodosis Dimitrakos; Dov M. Gabbay; T. S. E. Maibaum (Log. J. IGPL, 2001)

Editorial. - Jim Cunningham; Dov M. Gabbay (Log. J. IGPL, 2001)

The New Logic. - Dov M. Gabbay; John Woods 001 (Log. J. IGPL, 2001)

More on Non-Cooperation in Dialogue Logic. - Dov M. Gabbay; John Woods 001 (Log. J. IGPL, 2001)

Non-Cooperation In Dialogue Logic. - Dov M. Gabbay; John Woods 001 (Synth., 2001)

Preface. - Dov M. Gabbay; John Woods 001 (Greek, Indian and Arabic Logic, 2001)

Neural-symbolic learning systems - foundations and applications. - Artur S. d'Avila Garcez; Krysia Broda; Dov M. Gabbay (Springer, 2002)

Analytic Sequent Calculi for Abelian and ukasiewicz Logics. - George Metcalfe; Nicola Olivetti; Dov M. Gabbay (TABLEAUX, 2002)

Quantum logic, Hilbert space, revision theory. - Kurt Engesser; Dov M. Gabbay (Artif. Intell., 2002)

Labelled Natural Deduction for Conditional Logics of Normality. - Krysia Broda; Dov M. Gabbay; Luís C. Lamb; Alessandra Russo (Log. J. IGPL, 2002)

Belief Contraction, Anti-formulae and Resource Overdraft: Part I Deletion in Resource bounded Logics. - Dov M. Gabbay; Odinaldo Rodrigues; John Woods 001 (Log. J. IGPL, 2002)

Naming Worlds in Modal and Temporal Logic. - Dov M. Gabbay; Guillaume Malod (J. Log. Lang. Inf., 2002)

A Theory of Hypermodal Logics: Mode Shifting in Modal Logic. - Dov M. Gabbay (J. Philos. Log., 2002)

Products of Modal Logics. Part 3: Products of Modal and Temporal Logics. - Dov M. Gabbay; Valentin B. Shehtman (Stud Logica, 2002)

Goal-Directed Calculli for Gödel-Dummett Logics. - George Metcalfe; Nicola Olivetti; Dov M. Gabbay (CSL, 2003)

Distributed Knowledge Representation in Neural-Symbolic Learning Systems: A Case Study. - Artur S. d'Avila Garcez; Luís C. Lamb; Krysia Broda; Dov M. Gabbay (FLAIRS, 2003)

Neural-Symbolic Intuitionistic Reasoning. - Artur S. d'Avila Garcez; Luís C. Lamb; Dov M. Gabbay (HIS, 2003)

Normative Models of Rational Agency: The Theoretical Disutility of Certain Approaches. - Dov M. Gabbay; John Woods 001 (Log. J. IGPL, 2003)

Special issue on Combining Probability and Logic. - Jon Williamson; Dov M. Gabbay (J. Appl. Log., 2003)

Controlled Revision - An algorithmic approach for belief revision. - Dov M. Gabbay; Gabriella Pigozzi; John Woods 001 (J. Log. Comput., 2003)

Fibring Neural Networks. - Artur S. d'Avila Garcez; Dov M. Gabbay (AAAI, 2004)

Goal-Directed Methods for Lukasiewicz Logic. - George Metcalfe; Nicola Olivetti; Dov M. Gabbay (CSL, 2004)

Towards a Connectionist Argumentation Framework. - Artur S. d'Avila Garcez; Dov M. Gabbay; Luís C. Lamb (ECAI, 2004)

Argumentation Neural Networks. - Artur S. d'Avila Garcez; Dov M. Gabbay; Luís C. Lamb (ICONIP, 2004)

Analytic Calculi for Product Logics. - George Metcalfe; Nicola Olivetti; Dov M. Gabbay (Arch. Math. Log., 2004)

Applying connectionist modal logics to distributed knowledge representation problems. - Artur S. d'Avila Garcez; Luís C. Lamb; Krysia Broda; Dov M. Gabbay (Int. J. Artif. Intell. Tools, 2004)

Journal of Applied Logic Special Volume on Neural-Symbolic Systems. - Artur S. d'Avila Garcez; Dov M. Gabbay; Steffen Hölldobler; John G. Taylor (J. Appl. Log., 2004)

Preface. - Dov M. Gabbay; John Woods 001 (The Rise of Modern Logic: From Leibniz to Frege, 2004)

Belief Contraction, Anti-Formulae and Resource Overdraft: Part II Deletion In Resource Unbounded Logics. - Dov M. Gabbay; Odinaldo Rodrigues; John Woods 001 (Logic, Epistemology, and the Unity of Science, 2004)

Temporal Dynamics of Support and Attack Networks: From Argumentation to Zoology. - Howard Barringer; Dov M. Gabbay; John Woods 001 (Mechanizing Mathematical Reasoning, 2005)

A Connectionist Model for Constructive Modal Reasoning. - Artur S. d'Avila Garcez; Luís C. Lamb; Dov M. Gabbay (NIPS, 2005)

Algebras of Measurements: the logical structure of Quantum Mechanics - Daniel Lehmann 001; Kurt Engesser; Dov M. Gabbay (CoRR, 2005)

Editorial. - Matthias Baaz; Agata Ciabattoni; Dov M. Gabbay; Petr Hájek 001 (Log. J. IGPL, 2005)

Lukasiewicz Logic: From Proof Systems To Logic Programming. - George Metcalfe; Nicola Olivetti; Dov M. Gabbay (Log. J. IGPL, 2005)

Value-based Argumentation Frameworks as Neural-symbolic Learning Systems. - Artur S. d'Avila Garcez; Dov M. Gabbay; Luís C. Lamb (J. Log. Comput., 2005)

Sequent and hypersequent calculi for abelian and Łukasiewicz logics. - George Metcalfe; Nicola Olivetti; Dov M. Gabbay (ACM Trans. Comput. Log., 2005)

Modal Varieties of Temporal Logic. - Howard Barringer; Dov M. Gabbay (Handbook of Temporal Reasoning in Artificial Intelligence, 2005)

Advice on Abductive Logic. - Dov M. Gabbay; John Woods 001 (Log. J. IGPL, 2006)

Cut and Pay. - Marcelo Finger; Dov M. Gabbay (J. Log. Lang. Inf., 2006)

Context-dependent Abduction and Relevance. - Dov M. Gabbay; Rolf Nossum; John Woods 001 (J. Philos. Log., 2006)

Connectionist computations of intuitionistic reasoning. - Artur S. d'Avila Garcez; Luís C. Lamb; Dov M. Gabbay (Theor. Comput. Sci., 2006)

Preface. - Dov M. Gabbay; John Woods 001 (Logic and the Modalities in the Twentieth Century, 2006)

Common Foundations for belief revision, belief merging and voting. - Dov M. Gabbay; Gabriella Pigozzi; Odinaldo Rodrigues (Formal Models of Belief Change in Rational Agents, 2007)

From Runtime Verification to Evolvable Systems. - Howard Barringer; Dov M. Gabbay; David E. Rydeheard (RV, 2007)

A Logical Framework for Monitoring and Evolving Software Components. - Howard Barringer; David E. Rydeheard; Dov M. Gabbay (TASE, 2007)

Fuzzy logics based on [0, 1)-continuous uninorms. - Dov M. Gabbay; George Metcalfe (Arch. Math. Log., 2007)

Equal Rights for the Cut: Computable Non-analytic Cuts in Cut-based Proofs. - Marcelo Finger; Dov M. Gabbay (Log. J. IGPL, 2007)

Second-Order Quantifier Elimination in Higher-Order Contexts with Applications to the Semantical Analysis of Conditionals. - Dov M. Gabbay; Andrzej Szalas (Stud Logica, 2007)

Connectionist modal logic: Representing modalities in neural networks. - Artur S. d'Avila Garcez; Luís C. Lamb; Dov M. Gabbay (Theor. Comput. Sci., 2007)

Preface. - Dov M. Gabbay; John Woods 001 (The Many Valued and Nonmonotonic Turn in Logic, 2007)

Second-Order Quantifier Elimination - Foundations, Computational Aspects and Applications. - Dov M. Gabbay; Renate A. Schmidt; Andrzej Szalas (College Publications, 2008)

Reactive Kripke Models and Contrary to Duty Obligations. - Dov M. Gabbay (DEON, 2008)

A Normative View on the Blocks World. - Davide Grossi; Dov M. Gabbay; Leendert W. N. van der Torre (NORMAS, 2008)

Cut-Based Abduction. - Marcello D'Agostino; Marcelo Finger; Dov M. Gabbay (Log. J. IGPL, 2008)

A Sound and Complete Deductive System for CTL* Verification. - Dov M. Gabbay; Amir Pnueli (Log. J. IGPL, 2008)

Belief Revision in non-Classical Logics. - Dov M. Gabbay; Odinaldo Rodrigues; Alessandra Russo (Rev. Symb. Log., 2008)

Cumulativity without Closure of the Domain under Finite Unions. - Dov M. Gabbay; Karl Schlechta (Rev. Symb. Log., 2008)

Resource-origins of Nonmonotonicity. - Dov M. Gabbay; John Woods 001 (Stud Logica, 2008)

Preface. - Dov M. Gabbay; John Woods 001 (British Logic in the Nineteenth Century, 2008)

Preface. - Dov M. Gabbay; John Woods 001 (Mediaeval and Renaissance Logic, 2008)

FSL - Fibred Security Language. - Valerio Genovese; Dov M. Gabbay; Guido Boella; Leendert W. N. van der Torre (Normative Multi-Agent Systems, 2009)

Modelling evolvable component systems: Part I: A logical framework. - Howard Barringer; Dov M. Gabbay; David E. Rydeheard (Log. J. IGPL, 2009)

Defeasible inheritance systems and reactive diagrams. - Dov M. Gabbay; Karl Schlechta (Log. J. IGPL, 2009)

Roadmap for preferential logics. - Dov M. Gabbay; Karl Schlechta (J. Appl. Non Class. Logics, 2009)

Connections between Belief Revision, Belief Merging and Social Choice. - Dov M. Gabbay; Odinaldo Rodrigues; Gabriella Pigozzi (J. Log. Comput., 2009)

Size and Logic. - Dov M. Gabbay; Karl Schlechta (Rev. Symb. Log., 2009)

Reactive Preferential Structures and Nonmonotonic Consequence. - Dov M. Gabbay; Karl Schlechta (Rev. Symb. Log., 2009)

Analysis of the Talmudic Argumentum A Fortiori Inference Rule (Kal Vachomer) using Matrix Abduction. - Michael Abraham; Dov M. Gabbay; Uri J. Schild (Stud Logica, 2009)

A Meta-model of Access Control in a Fibred Security Language. - Steve Barker; Guido Boella; Dov M. Gabbay; Valerio Genovese (Stud Logica, 2009)

Fibred Security Language. - Guido Boella; Dov M. Gabbay; Valerio Genovese; Leendert W. N. van der Torre (Stud Logica, 2009)

Meta-Argumentation Modelling I: Methodology and Techniques. - Guido Boella; Dov M. Gabbay; Leendert W. N. van der Torre; Serena Villata (Stud Logica, 2009)

A Logical Account of Formal Argumentation. - Martin W. A. Caminada; Dov M. Gabbay (Stud Logica, 2009)

Modal Provability Foundations for Argumentation Networks. - Dov M. Gabbay (Stud Logica, 2009)

Fibring Argumentation Frames. - Dov M. Gabbay (Stud Logica, 2009)

Semantics for Higher Level Attacks in Extended Argumentation Frames Part 1: Overview. - Dov M. Gabbay (Stud Logica, 2009)

Logical Modes of Attack in Argumentation Networks. - Dov M. Gabbay; Artur S. d'Avila Garcez (Stud Logica, 2009)

Modal Logics of Reactive Frames. - Dov M. Gabbay; Sérgio Marcelino (Stud Logica, 2009)

Voting by Eliminating Quantifiers. - Dov M. Gabbay; Andrzej Szalas (Stud Logica, 2009)

Independence - Revision and Defaults. - Dov M. Gabbay; Karl Schlechta (Stud Logica, 2009)

Annotation Theories over Finite Graphs. - Dov M. Gabbay; Andrzej Szalas (Stud Logica, 2009)

Preface for Studia Logica Special Issue (2). - Dov M. Gabbay; Leendert W. N. van der Torre (Stud Logica, 2009)

Complete Extensions in Argumentation Coincide with 3-Valued Stable Models in Logic Programming. - Yining Wu; Martin Caminada; Dov M. Gabbay (Stud Logica, 2009)

Neural-Symbolic Cognitive Reasoning - Artur S. d'Avila Garcez; Luís C. Lamb; Dov M. Gabbay (Springer, 2009)

Preface. - Dov M. Gabbay; John Woods 001 (Logic from Russell to Church, 2009)

Fallacies as Cognitive Virtues. - Dov M. Gabbay; John Woods 001 (Games: Unifying Logic, Language, and Philosophy, 2009)

Logical Tools for Handling Change in Agent-Based Systems. - Dov M. Gabbay; Karl Schlechta (Springer, 2010)

Revision, Acceptability and Context - Theoretical and Algorithmic Aspects. - Dov M. Gabbay; Odinaldo Rodrigues; Alessandra Russo (Springer, 2010)

Modal and Temporal Argumentation Networks. - Howard Barringer; Dov M. Gabbay (Essays in Memory of Amir Pnueli, 2010)

Support in Abstract Argumentation. - Guido Boella; Dov M. Gabbay; Leendert W. N. van der Torre; Serena Villata (COMMA, 2010)

Higher-Order Coalition Logic. - Guido Boella; Dov M. Gabbay; Valerio Genovese; Leendert W. N. van der Torre (ECAI, 2010)

Modal Access Control Logic - Axiomatization, Semantics and FOL Theorem Proving. - Valerio Genovese; Daniele Rispoli; Dov M. Gabbay; Leendert W. N. van der Torre (STAIRS, 2010)

Reactive Links to Save Automata States. - Maxime Crochemore; Dov M. Gabbay (Stringology, 2010)

Interpolation in Equilibrium Logic and Answer Set Programming: the Propositional Case - Dov M. Gabbay; David Pearce 001; Agustín Valverde (CoRR, 2010)

Algorithms in cognition, informatics and logic: A position manifesto. - Dov M. Gabbay; Jörg H. Siekmann (Log. J. IGPL, 2010)

Semantic interpolation. - Dov M. Gabbay; Karl Schlechta (J. Appl. Non Class. Logics, 2010)

A Theory of Hierarchical Consequence and Conditionals. - Dov M. Gabbay; Karl Schlechta (J. Log. Lang. Inf., 2010)

A Comment on Work by Booth and Co-authors. - Dov M. Gabbay; Karl Schlechta (Stud Logica, 2010)

Introducing Equational Semantics for Argumentation Networks. - Dov M. Gabbay (ECSQARU, 2011)

Arguing about the Trustworthiness of the Information Sources. - Serena Villata; Guido Boella; Dov M. Gabbay; Leendert W. N. van der Torre (ECSQARU, 2011)

Intelligent evaluation of evidence using Wigmore diagrams. - Michal Chalamish; Dov M. Gabbay; Uri J. Schild (ICAIL, 2011)

Conditional Labelling for Abstract Argumentation. - Alan Perotti; Guido Boella; Dov M. Gabbay; Leon van der Torre; Serena Villata (ICCSW, 2011)

Argumentative Agents Negotiating on Potential Attacks. - Guido Boella; Dov M. Gabbay; Alan Perotti; Leendert W. N. van der Torre; Serena Villata (KES-AMSTA, 2011)

Multi-sorted Argumentation. - Tjitze Rienstra; Alan Perotti; Serena Villata; Dov M. Gabbay; Leendert W. N. van der Torre (TAFA, 2011)

Obligations and prohibitions in Talmudic deontic logic. - Michael Abraham; Dov M. Gabbay; Uri J. Schild (Artif. Intell. Law, 2011)

Equilibria und weiteres Heiteres II - Dov M. Gabbay; Karl Schlechta (CoRR, 2011)

Reactive automata. - Maxime Crochemore; Dov M. Gabbay (Inf. Comput., 2011)

Interpolable Formulas in Equilibrium Logic and Answer Set Programming. - Dov M. Gabbay; David Pearce 001; Agustín Valverde (J. Artif. Intell. Res., 2011)

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

Reactive intuitionistic tableaux. - Dov M. Gabbay (Synth., 2011)

The Functional Interpretation of Logical Deduction - Ruy J. G. B. de Queiroz; Anjolina Grisi de Oliveira; Dov M. Gabbay (World Scientific, 2011)

Conditionals and Modularity in General Logics - Dov M. Gabbay; Karl Schlechta (Springer, 2011)

Logic and the Law: Crossing the Lines of Discipline. - Dov M. Gabbay; John Woods 001 (Approaches to Legal Rationality, 2011)

Relevance in the Law. - Dov M. Gabbay; John Woods 001 (Approaches to Legal Rationality, 2011)

The Law of Evidence and Labelled Deduction: A Position Paper. - Dov M. Gabbay; John Woods 001 (Approaches to Legal Rationality, 2011)

What Is Negation as Failure? - Dov M. Gabbay (Logic Programs, Norms and Action, 2012)

An Equational Approach to Logic Programming. - Dov M. Gabbay (Correct Reasoning, 2012)

Bipolar Argumentation Frames and Contrary to Duty Obligations, Preliminary Report. - Dov M. Gabbay (CLIMA, 2012)

A Numerical Approach to the Merging of Argumentation Networks. - Dov M. Gabbay; Odinaldo Rodrigues (CLIMA, 2012)

The Equational Approach to CF2 Semantics. - Dov M. Gabbay (COMMA, 2012)

Discussion Paper: Changing Norms Is Changing Obligation Change. - Jan M. Broersen; Dov M. Gabbay; Leendert W. N. van der Torre (DEON, 2012)

Temporal Deontic Logic for the Generalised Chisholm Set of Contrary to Duty Obligations. - Dov M. Gabbay (DEON, 2012)

Contrary to time conditionals in Talmudic logic. - Michael Abraham; Dov M. Gabbay; Uri J. Schild (Artif. Intell. Law, 2012)

Embedding and automating conditional logics in classical higher-order logic. - Christoph Benzmüller; Dov M. Gabbay; Valerio Genovese; Daniele Rispoli (Ann. Math. Artif. Intell., 2012)

Causal dynamic inference. - Alexander Bochman; Dov M. Gabbay (Ann. Math. Artif. Intell., 2012)

Overview on the connection between reactive Kripke models and argumentation networks. - Dov M. Gabbay (Ann. Math. Artif. Intell., 2012)

Introducing reactive Kripke semantics and arc accessibility. - Dov M. Gabbay (Ann. Math. Artif. Intell., 2012)

Introducing reactive modal tableaux. - Dov M. Gabbay (Ann. Math. Artif. Intell., 2012)

Completeness theorems for reactive modal logics. - Dov M. Gabbay (Ann. Math. Artif. Intell., 2012)

Global view on reactivity: switch graphs and their logics. - Dov M. Gabbay; Sérgio Marcelino (Ann. Math. Artif. Intell., 2012)

Modelling defeasible and prioritized support in bipolar argumentation. - Serena Villata; Guido Boella; Dov M. Gabbay; Leendert W. N. van der Torre (Ann. Math. Artif. Intell., 2012)

A logic of argumentation for specification and verification of abstract argumentation frameworks. - Serena Villata; Guido Boella; Dov M. Gabbay; Leendert W. N. van der Torre; Joris Hulstijn (Ann. Math. Artif. Intell., 2012)

Temporal, numerical and meta-level dynamics in argumentation networks. - Howard Barringer; Dov M. Gabbay; John Woods 001 (Argument Comput., 2012)

Modal and temporal argumentation networks. - Howard Barringer; Dov M. Gabbay; John Woods 001 (Argument Comput., 2012)

Equational approach to argumentation networks. - Dov M. Gabbay (Argument Comput., 2012)

Sequential Dynamic Logic. - Alexander Bochman; Dov M. Gabbay (J. Log. Lang. Inf., 2012)

Two dimensional Standard Deontic Logic [including a detailed analysis of the 1985 Jones-Pörn deontic logic system]. - Mathijs de Boer; Dov M. Gabbay; Xavier Parent 001; Marija Slavkovic 001 (Synth., 2012)

Preface. - Dov M. Gabbay; Francis Jeffry Pelletier; John Woods 001 (Logic: A History of its Central Concepts, 2012)

Normative Reasoning and Consequence. - Jan M. Broersen; Stephen Cranefield; Yehia Elrakaiby; Dov M. Gabbay; Davide Grossi; Emiliano Lorini; Xavier Parent 001; Leendert W. N. van der Torre; Luca Tummolini; Paolo Turrini; François Schwarzentruber (Normative Multi-Agent Systems, 2013)

A socio-cognitive model of trust using argumentation theory. - Serena Villata; Guido Boella; Dov M. Gabbay; Leendert W. N. van der Torre (Int. J. Approx. Reason., 2013)

Future determination of entities in Talmudic public announcement logic. - Michael Abraham; Israel Belfer; Dov M. Gabbay; Uri J. Schild (J. Appl. Log., 2013)

Reactive Kripke models and contrary to duty obligations. Part A: Semantics. - Dov M. Gabbay (J. Appl. Log., 2013)

Semantics and proof-theory of depth bounded Boolean logics. - Marcello D'Agostino; Marcelo Finger; Dov M. Gabbay (Theor. Comput. Sci., 2013)

Reactive Kripke Semantics - Dov M. Gabbay (Springer, 2013)

When are Two Arguments the Same? Equivalence in Abstract Argumentation. - Dov M. Gabbay; Davide Grossi (Johan van Benthem on Logic and Information Dynamics, 2014)

The Handling of Loops in Talmudic Logic, with Application to Odd and Even Loops in Argumentation. - Michael Abraham; Dov M. Gabbay; Uri J. Schild (HOWARD-60, 2014)

Reactivity and Grammars: An Exploration. - Howard Barringer; David E. Rydeheard; Dov M. Gabbay (Language, Culture, Computation (1), 2014)

A self-correcting iteration schema for argumentation networks. - Dov M. Gabbay; Odinaldo Rodrigues (COMMA, 2014)

Toward a Linguistic Interpretation of Deontic Paradoxes - Beth-Reichenbach Semantics Approach for a New Analysis of the Miners Scenario. - Dov M. Gabbay; Livio Robaldo; Xin Sun 001; Leendert W. N. van der Torre; Zohreh Baniasadi (DEON, 2014)

Abduction and Dialogical Proof in Argumentation and Logic Programming. - Richard Booth 001; Dov M. Gabbay; Souhila Kaci; Tjitze Rienstra; Leendert W. N. van der Torre (ECAI, 2014)

The Equational Approach to Contrary-to-duty Obligations. - Dov M. Gabbay (FoIKS, 2014)

When Text Authors Lived Using Undated Citations. - Dror Mughaz; Yaakov HaCohen-Kerner; Dov M. Gabbay (IRFC, 2014)

Systems of Interacting Argumentation Networks. - Dov M. Gabbay (FLAP, 2014)

The paradoxes of permission an action based solution. - Dov M. Gabbay; Loïc Gammaitoni; Xin Sun 001 (J. Appl. Log., 2014)

Products of modal logics and tensor products of modal algebras. - Dov M. Gabbay; Ilya Shapirovsky; Valentin B. Shehtman (J. Appl. Log., 2014)

A neural cognitive model of argumentation with application to legal inference and decision making. - Artur S. d'Avila Garcez; Dov M. Gabbay; Luís C. Lamb (J. Appl. Log., 2014)

Reasoning about delegation and revocation schemes in answer set programming. - Steve Barker; Guido Boella; Dov M. Gabbay; Valerio Genovese (J. Log. Comput., 2014)

An equational approach to the merging of argumentation networks. - Dov M. Gabbay; Odinaldo Rodrigues (J. Log. Comput., 2014)

What is a logical system? An evolutionary view: 1964-2014. - Dov M. Gabbay (Computational Logic, 2014)

Editorial Note. - Jörg H. Siekmann; Dov M. Gabbay (Computational Logic, 2014)

Key-Phrases as Means to Estimate Birth and Death Years of Jewish Text Authors. - Dror Mughaz; Yaakov HaCohen-Kerner; Dov M. Gabbay (International KEYSTONE Conference, 2015)

Present and Future of Formal Argumentation (Dagstuhl Perpectives Workshop 15362). - Dov M. Gabbay; Massimiliano Giacomin; Beishui Liao; Leendert W. N. van der Torre (Dagstuhl Reports, 2015)

Editorial comment about "On the Difference between ABA and AA". - Dov M. Gabbay (FLAP, 2015)

The attack as strong negation, part I. - Dov M. Gabbay; Michael Gabbay 001 (Log. J. IGPL, 2015)

Reactive standard deontic logic. - Dov M. Gabbay; Christian Straßer (J. Log. Comput., 2015)

Probabilistic Argumentation: An Equational Approach. - Dov M. Gabbay; Odinaldo Rodrigues (Logica Universalis, 2015)

Equilibrium States in Numerical Argumentation Networks. - Dov M. Gabbay; Odinaldo Rodrigues (Logica Universalis, 2015)

A New Perspective on Nonmonotonic Logics - Dov M. Gabbay; Karl Schlechta (Springer, 2016)

Identity Merging and Identity Revision in Talmudic Logic: An Outline Paper. - Michael Abraham; Israel Belfer; Uri J. Schild; Dov M. Gabbay (Computational Models of Rationality, 2016)

Further Applications of the Gabbay-Rodrigues Iteration Schema in Argumentation and Revision Theories. - Dov M. Gabbay; Odinaldo Rodrigues (Computational Models of Rationality, 2016)

Argumentation as Information Input: A Position Paper. - Dov M. Gabbay; Michael Gabbay 001 (COMMA, 2016)

Degrees of "in", "out" and "undecided" in Argumentation Networks. - Dov M. Gabbay; Odinaldo Rodrigues (COMMA, 2016)

Quantum States and Disjunctive Attacks in Talmudic Logic. - Michael Abraham; Israel Belfer; Uri J. Schild; Dov M. Gabbay (FLAP, 2016)

Introducing Bayesian Argumentation Networks. - Dov M. Gabbay; Odinaldo Rodrigues (FLAP, 2016)

Editorial Preface. - Matthias Thimm; Dov M. Gabbay (FLAP, 2016)

Theory of disjunctive attacks, Part I. - Dov M. Gabbay; Michael Gabbay 001 (Log. J. IGPL, 2016)

The attack as intuitionistic negation. - Dov M. Gabbay; Michael Gabbay 001 (Log. J. IGPL, 2016)

Introduction to the special issue on Loops in Argumentation. - Pietro Baroni; Dov M. Gabbay; Massimiliano Giacomin (J. Log. Comput., 2016)

Logical foundations for bipolar and tripolar argumentation networks: preliminary results. - Dov M. Gabbay (J. Log. Comput., 2016)

The handling of loops in argumentation networks. - Dov M. Gabbay (J. Log. Comput., 2016)

Theory of Semi-Instantiation in Abstract Argumentation. - Dov M. Gabbay (Logica Universalis, 2016)

Editorial. - Pietro Baroni; Dov M. Gabbay; Massimiliano Giacomin; Leon van der Torre (FLAP, 2017)

HEAL2100: Human Effective Argumentation and Logic for the 21st Century. The Next Step in the Evolution of Logic. - Dov M. Gabbay; Lydia Rivlin (FLAP, 2017)

Reasoning Schemes, Expert Opinion and Critical Questions. Sex Offenders Case Study. - Dov M. Gabbay; Gadi Rozenberg (FLAP, 2017)

Reasoning under the Influence of Universal Distortion. Sex Offenders Case Study. - Dov M. Gabbay; Gadi Rozenberg; Lydia Rivlin (FLAP, 2017)

Algorithms in Philosophy, Informatics and Logic. A Position Manifesto 2017. - Dov M. Gabbay; Jörg H. Siekmann (FLAP, 2017)

Preface. - Matthias Baaz; Agata Ciabattoni; Dov M. Gabbay; Stefan Hetzl; Daniel Weller 001 (J. Log. Comput., 2017)

Mining and Using Key-Words and Key-Phrases to Identify the Era of an Anonymous Text. - Dror Mughaz; Yaakov HaCohen-Kerner; Dov M. Gabbay (Trans. Comput. Collect. Intell., 2017)

Argumentation as Exogenous Coordination. - Leendert W. N. van der Torre; Tjitze Rienstra; Dov M. Gabbay (It's All About Coordination, 2018)

Present and Future of Formal Argumentation (Dagstuhl Perspectives Workshop 15362). - Dov M. Gabbay; Massimiliano Giacomin; Beishui Liao; Leendert W. N. van der Torre (Dagstuhl Manifestos, 2018)

Editorial. - Dov M. Gabbay; Jörg H. Siekmann (FLAP, 2018)

A geometrical view of I/O logic. - Dov M. Gabbay; Xavier Parent 001; Leon van der Torre (CoRR, 2019)

The Talmudic Logic Project, Ongoing Since 2008. - Dov M. Gabbay; Uri J. Schild; Esther David (Logica Universalis, 2019)

Text Mining for Evaluating Authors' Birth and Death Years. - Dror Mughaz; Yaakov HaCohen-Kerner; Dov M. Gabbay (ACM Trans. Knowl. Discov. Data, 2019)

Forgetting an Argument. - Ringo Baumann; Dov M. Gabbay; Odinaldo Rodrigues (AAAI, 2020)

Towards DiArg: An Argumentation-based Dialogue Reasoning Engine. - Timotheus Kampik; Dov M. Gabbay (SAFA@COMMA, 2020)

Attack-Defence Frameworks: Argumentation-Based Semantics for Attack-Defence Trees. - Dov M. Gabbay; Ross Horne; Sjouke Mauw; Leendert van der Torre (GraMSec@CSF, 2020)

A Bimodal Simulation of Defeasibility in the Normative Domain. - Tomer Libal; Matteo Pascucci; Leon van der Torre; Dov M. Gabbay (FCR@KI, 2020)

Book Symposium on Woods' Truth in Fiction: Editorial Remarks. - Dov M. Gabbay (FLAP, 2020)

Introducing Abstract Argumentation with Many Lives. - Dov M. Gabbay; Gadi Rozenberg (FLAP, 2020)

Normality, Non-contamination and Logical Depth in Classical Natural Deduction. - Marcello D'Agostino; Dov M. Gabbay; Sanjay Modgil (Stud Logica, 2020)

Explainable Reasoning in Face of Contradictions: From Humans to Machines. - Timotheus Kampik; Dov M. Gabbay (EXTRAAMAS@AAMAS, 2021)

The Burden of Persuasion in Abstract Argumentation. - Timotheus Kampik; Dov M. Gabbay; Giovanni Sartor (CLAR, 2021)

If You Want to Smoke, Don't Buy Cigarettes: Near-Anankastics, Contexts, and Hyper Modality. - Kees van Berkel 002; Dov M. Gabbay; Leendert van der Torre (DEON, 2021)

The Degrees of Monotony-Dilemma in Abstract Argumentation. - Timotheus Kampik; Dov M. Gabbay (ECSQARU, 2021)

What is Negation in a System 2020? - Dov M. Gabbay (FLAP, 2021)

Preface. - Dov M. Gabbay; Massimiliano Giacomin; Guillermo Ricardo Simari; Matthias Thimm (FLAP, 2021)

Case-Based Reasoning via Comparing the Strength Order of Features. - Liuwen Yu; Dov M. Gabbay (EXTRAAMAS@AAMAS, 2022)

Value-Based Practical Reasoning: Modal Logic + Argumentation. - Jieting Luo; Beishui Liao; Dov M. Gabbay (COMMA, 2022)

Dynamic Deontic Logic for Permitted Announcements. - Xu Li; Dov M. Gabbay; Réka Markovich (KR, 2022)

BTPK-based learning: An Interpretable Method for Named Entity Recognition. - Yulin Chen; Zelai Yao; Haixiao Chi; Dov M. Gabbay; Bo Yuan 017; Bruno Bentzen; Beishui Liao (CoRR, 2022)

The Law of Evidence and Labelled Deduction: Ten Years Later. - Dov M. Gabbay; John Woods 001 (FLAP, 2022)

Ensuring reference independence and cautious monotony in abstract argumentation. - Timotheus Kampik; Juan Carlos Nieves; Dov M. Gabbay (Int. J. Approx. Reason., 2022)

Evolutionary Temporal Logic for Modelling Many-Lives Argumentation Networks. - Dov M. Gabbay; Gadi Rozenberg (FLAP, 2023)

Dripping the Poison: The Instruments of Bias. A Qualitative Case Study of News Articles in Four Languages over Nine Years. - Sviatlana Höhn; Barbara Lewandowska-Tomaszczyk; Sjouke Mauw; Dov M. Gabbay (FLAP, 2023)

A comprehensive account of the burden of persuasion in abstract argumentation. - Timotheus Kampik; Dov M. Gabbay; Giovanni Sartor (J. Log. Comput., 2023)

A self-explanatory contrastive logical knowledge learning method for sentiment analysis. - Yulin Chen; Bo Yuan 017; Beishui Liao; Dov M. Gabbay (Knowl. Based Syst., 2023)

Interpretable Biomedical Named Entity Recognition via BLSTM with Talmudic Public Announcement Logic. - Yulin Chen; Beishui Liao; Bruno Bentzen; Bo Yuan 017; Zelai Yao; Haixiao Chi; Dov M. Gabbay (CLAR, 2025)

The use of logic and argumentation in therapy of sex offenders. - Dov M. Gabbay; Gadi Rozenberg; Lydia Rivlin (Log. J. IGPL, 2025)

Forgetting in Abstract Argumentation: Limits and Possibilities. - Ringo Baumann; Matti Berthold; Dov M. Gabbay; Odinaldo Rodrigues (J. Artif. Intell. Res., 2025)

From Knowledge to Action: Logics of Permitted and Obligatory Announcements. - Xu Li; Guillaume Aucher; Dov M. Gabbay; Réka Markovich (J. Artif. Intell. Res., 2025)