Publications

Josephine Dik, Réka Markovich (2024). Modeling Judicial Discretion with Nuanced Permissions. JURIX 2024.

Ofer Arieli, Kees van Berkel, Badran Raddaoui, Christian Straßer (2024). Deontic Reasoning based on Inconsistency Measures. Proceedings of KR 2024.

Agata Ciabattoni, Clemens Eisenhofer, Dmitry Rozplokhas (2024). Strongly Analytic Calculi for KLM Logics with SMT-Based Prover. Proceedings of KR 2024.

Kees van Berkel, Christian Straßer, Zheng Zhou (2024). Towards an Argumentative Unification of Default Reasoning. Frontiers in Artificial Intelligence and Applications.

Giorgio Cignarale, Roman Kuznets (2024). A priori Belief Updates as a Method for Agent Self-Recovery. Review of Analytic Philosophy 4(1).

Kees van Berkel, Christian Straßer (2024). A Tutorial in Proof-Theoretic Approaches to Logical Argumentation. Proceedings of the Reasoning Web Summer School 2023.

Michael A. Müller, Blaž Istenič Urh, Teodor-Stefan Zotescu, Ulle Endriss (2024). Breaking the Cycle. Preference-Based Aggregation for Cyclic Argumentation Frameworks. Computational Models of Argument 2024.

Beishui Liao, Leon van der Torre (2024). Attack-Defense Semantics of Argumentation. COMMA 2024: Computational Models of Argument.

Kees van Berkel, Christian Straßer (2024). Towards Deontic Explanations Through Dialogue. ArgXAI-24: 2nd International Workshop on Argumentation for eXplainable AI.

Christian Straßer, Pere Pardo (2024). The Goal after Tomorrow: Offline Goal Reasoning with Norms. Journal of Artificial Intelligence Research.

Jinsheng Chen, Beishui Liao, Leon van der Torre (2024). Bisimulation between base argumentation and premise-conclusion argumentation. Artificial Intelligence 336.

Agata Ciabattoni, Dmitry Rozplokhas (2024). Streamlining Input/Output Logics with Sequent Calculi (Extended Abstract). IJCAI 2024 Sister Conferences’ Best Paper Track.

Xavier Parent, Christoph Benzmüller (2024). Conditional normative reasoning as a fragment of HOL. Journal of Applied Non-classical Logic.

Aleks Knoks, Muyun Shaoc, Leon van der Torre, Vincent de Wit, Liuwen Yu (2024). A Principle-based Analysis for Numerical Balancing. LNGAI 2024: Proceedings of the 4th International Workshop on Logics for New-Generation Artificial Intelligence.

Agata Ciabattoni, Matteo Tesi (2024). Sequents vs hypersequents for Åqvist systems. International Joint Conference on Automated Reasoning.

Luca Pasetto, Christoph Benzmüller (2024). Implementing the Fatio Protocol for Multi-Agent Argumentation in LogiKEy. ARQNL 2024: Automated Reasoning in Quantifed Non-Classical Logics.

Xavier Parent, Christoph Benzmüller (2024). Conditional normative reasoning as a fragment of HOL (Isabelle/HOL dataset) . Archives of Formal Proof.

Matteo Tesi (2024). Subintuitionistic logics and their modal companions: a nested approach. Journal of Applied Non-Classical Logics.

Mario Piazza, Matteo Tesi (2024). Analyticity with extra-logical information. Journal of Logic and Computation.

Eugenio Orlandelli, Matteo Tesi (2024). A Syntactic Proof of the Decidability of First-Order Monadic Logic. Bulletin of the Section of Logic.

Ofer Arieli, Kees van Berkel, Christian Straßer (2024). Defeasible Normative Reasoning: A Proof-Theoretic Integration of Logical Argumentation. Proceedings of the AAAI Conference on Artificial Intelligence.

Matteo Tesi (2023). Constructive Theories Through a Modal Lens. Logic Journal of the IGPL.

Maya Olszewski, Xavier Parent, Leon van der Torre (2023). Permissive and regulative norms in deontic logic. Journal of Logic and Computation 34(4).