News:

• Two papers were accepted for AAAI 2025:

  • An algebraic notion of conditional independence, and its application to knowledge representation,

  • An Alternative Theory of Stable Revision for Nondeterministic Approximation Fixpoint Theory and the Relationships (joint work with Spencer Killen and Jia-Huai You)

• I gave a keynote talk at the Workshop on Theory and Applications of Answer Set Programming on Recent Advances on the Operator-Based Semantics of Logic Programming.

• Some recently accepted papers:

  • Abstract Dialectical Frameworks are Boolean Networks (joint work with Joao Leite and Matthias Knorr, LPNMR 2024 and NMR 2024)

  • The Role of Syntax in Inductive Inference: A Property-based Study (joint work with Tommie Meyer and Richard Booth, NMR 2024)

  • Operator-based semantics for choice programs: is choosing losing? (KR 2024)

  • Conditional Splittings of Belief Bases and Nonmonotonic Inference with c-Representations (joint work with Christoph Beierle, Lars-Phillip Spiegel, Jonas Philipp Haldimann, Marco Wilhelm, and Gabriele Kern-Isberner, KR 2024)

• I gave a tutorial on Approximation Fixpoint Theory at KR 2024 together with Hannes Straß.

• The paper Semantics for Non-Flat Assumption-Based Argumentation, Revisited (joint work with Ofer Arieli) was accepted for IJCAI 2024.

• I was awarded funding for the project LogicLM: Combining Logic Programs with Language Model in the AiNed XS-program.

• I (co-)chaired the Workshop on Non-Monotonic Reasoning 2024 (NMR 2024). This workshop was my very first publication venue, and I've contributed to every occurrence of the workshop since then. I'm therefore looking forward to contributing to the success of the workshop in 2024. 

• I'm co-chairing the Cape-KR workshop 2025 (main chair: Tommie Meyer).