Old news:
Happy to announce the paper "A dialectical formalisation of preferred subtheories reasoning under resource bounds" has been published in the International Journal of Approximate Reasoning as open access! This is joint work with Sanjay Modgil and Marcello d'Agostino.
Happy to announce the our book chapter "A Tutorial in Proof-Theoretic Approaches to Logical Argumentation." has been published (pdf)! This is joint work with Christian Straßer. The tutorial is meant as an introduction to logical argumentation for master and PhD students, as well as researchers interested in diving into this exciting field.
Happy to announce that the paper "Proof Theory and Decision Procedures for Deontic STIT Logics" has been published in JAIR! This is the result of a long-term collaboration with Tim Lyon.
Our course proposal for ESSLLI 2025, Bochum has been accepted! Christian Strasser and I will teach the fundamental course "Introduction to Logical Argumentation".
Call for a PhD student (fte 1) to work on "AI Alignment and Dialogues" within the Cluster of Excellence “Bilateral AI” at TU Wien (project description is in the call).
November 2024, I am an invited speaker at the 1st Workshop on Green-Aware Artificial Intelligence Methods and Solutions to Improve AI Sustainability held at the 23rd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2024), in Bolzano, 25-28 November, 2024.
Launching of a special interest group "AI Ethics" and the Center for Artificial Intelligence and Machine Learning (CAIML). I am coordinating this group together with Sabine Köszegi and Marjo Rauhala.
Program Committee Member of AAAI25, The 39th Annual AAAI Conference on Artificial Intelligence.
September 2024, Christian Strasser and I give a tutorial at the 6th Summer School on Argumentation 12th-15th September 2024 (SA 2024).
Call for student employee to work on "ethical auditing of LLM-based chat services" at the Theory & Logic group, TU Wien (see call for project description).
September 2024, The paper "Towards Deontic Explanation through Dialogue" was accepted for publication and presentation at ArgXAI 2024, the 2nd International Workshop on Argumentation for eXplainable AI, Hagen. Joint work with Christian Strasser.
July 2024: The paper ``Deontic Reasoning based on Inconsistency Measures" accepted for KR2024, the 21st International Conference on Principles of Knowledge Representation and Reasoning, Hanoi. Joint work with Ofer Arieli, Badran Raddaoui, Christian Strasser.
June 2024: The paper "Towards and Argumentative Unification of Default Reasoning" was accepted for COMMA 2024, the 10th International Conference on Computational Models of Argument, Hagen. Joint work with Christian Strasser and Zheng Zhou.
June 2024: The paper "A nonmonotonic proof theory for dialectical argumentation under bounded resources" was accepted for COMMA 2024, the 10th International Conference on Computational Models of Argument. Joint work with Sanjay Modgil.
Committee member VCLA International Student Awards, 2024.
May 2024 - Panel member: CAIML Symposium 2024 (May 6, 2024). The 3rd CAIML Symposium will bring together leading experts and enthusiasts in the field of AI.
Program Committee Member of KR24, 21st International Conference on Knowledge Representation and Reasoning.
March 2024 - Started an Assistant Professor position AI Ethics at the Institute for Logic and Computation, TU Wien.
February 2024 - The paper "Defeasible Normative Reasoning: A Proof-Theoretic Integration of Logical Argumentation" was published at AAAI24, the 38th Annual AAAI Conference on Artificial Intelligence. Joint work with Ofer Arieli and Christian Strasser.
December 2023 - Talk at JURIX23 on "Arguing About Choosing a Normative System: Conflict of Laws." Joint work with Réka Markovich, Christian Strasser, and Leon van der Torre.
October 2023 - Talk "Towards Deontic Explanations in Formal Argumentation" at the NOREA workshop on normative reasoning at KU Leuven. Joint work with Christian Strasser.
September 2023 - Christian Strasser and I will be giving a course on ``Proof-Theoretic Approaches in Logical Argumentation'' at the Reasoning web Summer school, Oslo 21 - 24 September.
September 2023 - Christian Strasser and I will be giving the master course ``Introduction to Deontic Logic: challenges, paradoxes, and formal systems" at Ruhr Universität Bochum.
March 2023 - I will be giving the master course "Reasoning about Agency and Action in Logic" at Ruhr Universität Bochum.
December 1, 2022 - Started a new post-doctoral position at Ruhr Universität Bochum in the group "Reasoning, Rationality, and Science" led by Dunja Šešelja and Christian Strasser.