| Publication | Date of Publication | Type |
|---|
Logemes as a new approach to metalogic
Logic Journal of the IGPL | 2026-06-02 | Paper |
Spaces of argumentation and their interaction: the role of media in public discussion. Two case studies
Journal of Applied Logics - IfCoLog Journal of Logics and their Applications | 2026-04-30 | Paper |
| Interpretable biomedical named entity recognition via BLSTM with Talmudic public announcement logic | 2026-01-08 | Paper |
| Value-based practical reasoning: modal logic + argumentation | 2025-08-26 | Paper |
From knowledge to action: logics of permitted and obligatory announcements
The Journal of Artificial Intelligence Research (JAIR) | 2025-03-31 | Paper |
Forgetting in abstract argumentation: limits and possibilities
The Journal of Artificial Intelligence Research (JAIR) | 2025-03-11 | Paper |
Rethinking Talmudic temporal logic. I: Legal analysis functions without parallel histories
Journal of Applied Logics - IfCoLog Journal of Logics and their Applications | 2024-09-25 | Paper |
Rethinking Talmudic temporal logic. II: Two-dimensional perspectival logic in place of dual-time
Journal of Applied Logics - IfCoLog Journal of Logics and their Applications | 2024-09-25 | Paper |
| Defeasible description logic reasoning based on abstract syntax graph | 2024-03-22 | Paper |
Depth-bounded reasoning. Volume 1: classical propositional logic
Studies in Logic (London) | 2024-03-01 | Paper |
| Evolutionary temporal logic for modelling many-lives argumentation networks | 2024-01-02 | Paper |
| The burden of persuasion in abstract argumentation | 2023-03-31 | Paper |
A comprehensive account of the burden of persuasion in abstract argumentation
Journal Of Logic And Computation | 2023-03-30 | Paper |
| scientific article; zbMATH DE number 7659877 (Why is no real title available?) | 2023-03-06 | Paper |
| scientific article; zbMATH DE number 7655699 (Why is no real title available?) | 2023-02-21 | Paper |
Modal provability foundations for negation by failure
Extensions of Logic Programming | 2022-11-26 | Paper |
| scientific article; zbMATH DE number 7599958 (Why is no real title available?) | 2022-10-12 | Paper |
| What is negation in a system 2020? | 2022-10-12 | Paper |
| scientific article; zbMATH DE number 7594222 (Why is no real title available?) | 2022-09-28 | Paper |
| scientific article; zbMATH DE number 7593536 (Why is no real title available?) | 2022-09-27 | Paper |
| scientific article; zbMATH DE number 7593542 (Why is no real title available?) | 2022-09-27 | Paper |
| Decision making with weighted quantitative argumentation based on regression | 2022-09-07 | Paper |
Hypothetical updates, priority and inconsistency in a logic programming language
Logic Programming and Nonmonotonic Reasoning | 2022-08-30 | Paper |
| The degrees of monotony-dilemma in abstract argumentation | 2022-06-15 | Paper |
| A brief introduction to the Shkop approach to conflict resolution in formal argumentation | 2022-03-03 | Paper |
Ensuring reference independence and cautious monotony in abstract argumentation
International Journal of Approximate Reasoning | 2022-01-20 | Paper |
What Is Negation in a System 2020?
Outstanding Contributions to Logic | 2022-01-04 | Paper |
| Normative reasoning and consequence | 2021-06-15 | Paper |
| Argumentation as exogenous coordination | 2021-06-03 | Paper |
| scientific article; zbMATH DE number 7238902 (Why is no real title available?) | 2020-08-25 | Paper |
Principles of Talmudic logic
Handbook of Philosophical Logic | 2020-08-10 | Paper |
Normality, non-contamination and logical depth in classical natural deduction
Studia Logica | 2020-03-27 | Paper |
The Talmudic logic project, ongoing since 2008
Logica Universalis | 2020-02-20 | Paper |
A methodology for iterated theory change
Practical Reasoning | 2019-04-29 | Paper |
| scientific article; zbMATH DE number 7015111 (Why is no real title available?) | 2019-02-07 | Paper |
Fibred tableaux for multi-implication logics
Theorem Proving with Analytic Tableaux and Related Methods | 2019-01-10 | Paper |
Theory of disjunctive attacks, Part I
Logic Journal of the IGPL | 2019-01-08 | Paper |
The attack as intuitionistic negation
Logic Journal of the IGPL | 2019-01-08 | Paper |
The attack as strong negation. I
Logic Journal of the IGPL | 2019-01-08 | Paper |
| Elementary logic with applications. A procedural perspective for computer scientists | 2018-10-02 | Paper |
Topological aspects of matrix abduction. I
Studies in Universal Logic | 2017-08-28 | Paper |
Topological aspects of matrix abduction. II
Studies in Universal Logic | 2017-08-28 | Paper |
Abduction and dialogical proof in argumentation and logic programming
(available as arXiv preprint) | 2017-07-18 | Paper |
| Abduction and dialogical proof in argumentation and logic programming | 2017-07-18 | Paper |
Sequent and hypersequent calculi for abelian and łukasiewicz logics
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Theory of semi-instantiation in abstract argumentation
Logica Universalis | 2017-05-12 | Paper |
The handling of loops in argumentation networks
Journal Of Logic And Computation | 2017-01-31 | Paper |
| A New Perspective on Nonmonotonic Logics | 2016-12-14 | Paper |
Logical foundations for bipolar and tripolar argumentation networks: preliminary results
Journal of Logic and Computation | 2016-04-28 | Paper |
Equilibrium states in numerical argumentation networks
Logica Universalis | 2015-12-07 | Paper |
Probabilistic argumentation: an equational approach
Logica Universalis | 2015-09-25 | Paper |
Probabilistic argumentation: an equational approach
Logica Universalis | 2015-09-25 | Paper |
Intuitionistic basis for input/output logic
David Makinson on Classical Methods for Non-Classical Problems | 2015-05-19 | Paper |
When are two arguments the same? Equivalence in abstract argumentation
Outstanding Contributions to Logic | 2015-05-11 | Paper |
Reactive standard deontic logic
Journal Of Logic And Computation | 2015-02-26 | Paper |
Reactivity and grammars: an exploration
Lecture Notes in Computer Science | 2015-02-10 | Paper |
Sequential dynamic logic
Journal of Logic, Language and Information | 2015-02-09 | Paper |
An equational approach to the merging of argumentation networks
Journal Of Logic And Computation | 2015-01-19 | Paper |
Products of modal logics and tensor products of modal algebras
Journal of Applied Logic | 2014-11-20 | Paper |
Toward a linguistic interpretation of deontic paradoxes. Beth-Reichenbach semantics approach for a new analysis of the miners scenario
Deontic Logic and Normative Systems | 2014-09-08 | Paper |
| scientific article; zbMATH DE number 6296813 (Why is no real title available?) | 2014-05-19 | Paper |
A neural cognitive model of argumentation with application to legal inference and decision making
Journal of Applied Logic | 2014-04-24 | Paper |
The paradoxes of permission an action based solution
Journal of Applied Logic | 2014-04-24 | Paper |
Reasoning about delegation and revocation schemes in answer set programming
Journal Of Logic And Computation | 2014-04-01 | Paper |
The equational approach to contrary-to-duty obligations
Lecture Notes in Computer Science | 2014-03-31 | Paper |
Reactive Kripke semantics
Cognitive Technologies | 2013-12-06 | Paper |
Semantics and proof-theory of depth bounded Boolean logics
Theoretical Computer Science | 2013-11-29 | Paper |
Two dimensional standard deontic logic [including a detailed analysis of the 1985 Jones-Pörn deontic logic system]
Synthese | 2013-11-25 | Paper |
| Nonmonotonicity and holicity in quantum logic | 2013-10-04 | Paper |
| Sampling logic and argumentation networks: a manifesto | 2013-10-04 | Paper |
A socio-cognitive model of trust using argumentation theory
International Journal of Approximate Reasoning | 2013-06-04 | Paper |
Future determination of entities in Talmudic public announcement logic
Journal of Applied Logic | 2013-05-02 | Paper |
Reactive Kripke models and contrary to duty obligations. Part A: Semantics
Journal of Applied Logic | 2013-05-02 | Paper |
| Delegation, count as, and security in Talmudic logic, a preliminary study | 2013-04-24 | Paper |
Dung's argumentation is essentially equivalent to classical propositional logic with the Peirce-Quine dagger
Logica Universalis | 2013-03-21 | Paper |
Completeness theorems for reactive modal logics
Annals of Mathematics and Artificial Intelligence | 2013-02-18 | Paper |
Introducing reactive modal tableaux
Annals of Mathematics and Artificial Intelligence | 2013-02-18 | Paper |
Causal dynamic inference
Annals of Mathematics and Artificial Intelligence | 2013-02-18 | Paper |
Overview on the connection between reactive Kripke models and argumentation networks
Annals of Mathematics and Artificial Intelligence | 2013-02-18 | Paper |
A logic of argumentation for specification and verification of abstract argumentation frameworks
Annals of Mathematics and Artificial Intelligence | 2013-02-18 | Paper |
Modelling defeasible and prioritized support in bipolar argumentation
Annals of Mathematics and Artificial Intelligence | 2013-02-18 | Paper |
Introducing reactive Kripke semantics and arc accessibility
Annals of Mathematics and Artificial Intelligence | 2013-02-18 | Paper |
Embedding and automating conditional logics in classical higher-order logic
Annals of Mathematics and Artificial Intelligence | 2013-02-18 | Paper |
Global view on reactivity: switch graphs and their logics
Annals of Mathematics and Artificial Intelligence | 2013-02-18 | Paper |
Temporal deontic logic for the generalised Chisholm set of contrary to duty obligations
Lecture Notes in Computer Science | 2012-11-02 | Paper |
Discussion paper: Changing norms is changing obligation change
Lecture Notes in Computer Science | 2012-11-02 | Paper |
Bipolar argumentation frames and contrary to duty obligations, preliminary report
Lecture Notes in Computer Science | 2012-09-21 | Paper |
A numerical approach to the merging of argumentation networks
Lecture Notes in Computer Science | 2012-09-21 | Paper |
What is negation as failure?
Logic Programs, Norms and Action | 2012-07-23 | Paper |
An equational approach to logic programming
Correct Reasoning | 2012-07-23 | Paper |
Semantic interpolation
Journal of Applied Non-Classical Logics | 2012-07-17 | Paper |
| The functional interpretation of logical deduction | 2011-09-13 | Paper |
Logical analysis of the Talmudic rules of general and specific (Klalim-u-Praṭim)
History and Philosophy of Logic | 2011-07-29 | Paper |
Uncertainty rules in Talmudic reasoning
History and Philosophy of Logic | 2011-07-29 | Paper |
Introducing equational semantics for argumentation networks
Lecture Notes in Computer Science | 2011-06-29 | Paper |
Arguing about the trustworthiness of the information sources
Lecture Notes in Computer Science | 2011-06-29 | Paper |
Reactive intuitionistic tableaux
Synthese | 2011-06-08 | Paper |
| Probability in the law: a plea for not making do | 2011-05-31 | Paper |
| Network modalities: an exploration paper | 2011-05-18 | Paper |
| Higher-order coalition logic | 2011-05-11 | Paper |
Reactive automata
Information and Computation | 2011-04-28 | Paper |
| Modal access control logic. Axiomatization, semantics and FOL theorem proving | 2011-04-12 | Paper |
