Arne Meier

Hello, nice to have you here.

I am a private lecturer (German: Privatdozent) at the Gottfried Wilhelm Leibniz Universität Hannover, Germany. I am working at the Institute of Theoretical Computer Science, where I also did my Bachelor’s and Master’s Degrees in Computer Science as well as my PhD and Habilitation.

Artificial Intelligence: logical foundations
Complexity Theory: problem complexity, parameterised complexity
Logic in Computer Science: non-classical, non-monotonic, team, temporal, hybrid, modal, default, and autoepistemic logic
Argumentation: abstract as well as logic-based
Enumeration: parameterised enumeration, enumeration complexity

[April 2024] Our paper «Quantitative Claim-Centric Reasoning in Logic-Based Argumentation» together with Markus Hecher, Yasir Mahmood, and Johannes Schmidt has been accepted for publication at this years IJCAI’24.
The next FoIKS will take place in Hannover in 2026!
[December 2023] Our paper «Submodel Enumeration for CTL Is Hard» together with Nicolas Fröhlich has been accepted for publication at next years AAAI’24. You can find a preprint at arXiv.
[July 2023] Our paper «Logics with probabilistic team semantics and the Boolean negation» together with Miika Hannula, Minna Hirvonen, Juha Kontinen, Yasir Mahmood, and Jonni Virtema has been accepted for publication at this year JELIA
[May 2023] Our paper «Quantitative Reasoning and Structural Complexity for Claim-Centric Argumentation» together with Markus Hecher, Johannes Fichte, and Yasir Mahmood has been accepted for publication at this year IJCAI
[Feb. 2023] Started this webpage ;-)

[DAAD] Anwendungen und Komplexität von Logiken in der Semiring-Team-Semantik

[2024 − 2025 ]
[DFG] Team Logics: New Bridges to Database Repairs

[05'23 − ]

[DAAD] Descriptive Complexity of Parameterised Counting Classes

[01'2018 − 12'2019]
[DFG] Nonclassical logics: parametrised and enumeration complexity

[10'2013 − 07'2022]
[MWK] Innovation Plus: Komplexität von Algorithmen

[02'2020 − 09'2022]