Publications

(2025). GL-Based Calculi for PCL and Its Deontic Cousin. JELIA - European Conference on Logics in Artificial Intelligence.

PDF Cite

(2025). Navigating Permission and Exceptions: A First-Order Perspective. DEON 2025 - Proceedings of the 17th International Conference on Deontic Logic and Normative Systems.

Cite

(2025). Deontic Explanations in Åqvist's Systems. DEON - 17th International Conference on Deontic Logic and Normative Systems.

PDF Cite

(2024). Attack-Defense Semantics of Argumentation. COMMA 2024: Computational Models of Argument.

PDF

(2024). Towards Deontic Explanations Through Dialogue. ArgXAI-24: 2nd International Workshop on Argumentation for eXplainable AI.

PDF Cite

(2024). A Principle-based Analysis for Numerical Balancing. LNGAI 2024: Proceedings of the 4th International Workshop on Logics for New-Generation Artificial Intelligence.

PDF Cite

(2024). Sequents vs hypersequents for Åqvist systems. International Joint Conference on Automated Reasoning.

PDF

(2024). Implementing the Fatio Protocol for Multi-Agent Argumentation in LogiKEy. ARQNL 2024: Automated Reasoning in Quantifed Non-Classical Logics.

PDF