Arne Meier

Hello, nice to have you here.

I am a professor at the Gottfried Wilhelm Leibniz Universität Hannover, Germany. I head the research group Algorithms. I obtained my Bachelor’s and Master’s Degrees in Computer Science as well as my PhD and Habilitation at Gottfried Wilhelm Leibniz Universität Hannover, Germany.

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

[June 2026] Our paper «Parameterised Complexity of Consistent Query Answering via Graph Representations» together with Miika Hannula, Teemu Hankala, and Yasir Mahmood has been accepted at ICDT 2027.
[Mai 2026] Our paper «Complexity of Logics with Semiring Semantics» together with Timon Barlag, Nicolas Fröhlich, Teemu Hankala, Miika Hannula, Minna Hirvonen, Vivian Holzapfel, Juha Kontinen, and Laura Strieker has been accepted at KR 2026.
[Mai 2026] Our paper «Representation Theorems for Cumulative Propositional Dependence Logics» together with Juha Kontinen, and Kai Sauerwald has been accepted at KR 2026.
[Mai 2026] Our paper «A Circuit-Theoretic View of FO over Semirings» together with Timon Barlag, Nicolas Fröhlich, Teemu Hankala, Miika Hannula, Minna Hirvonen, Vivian Holzapfel, Juha Kontinen, and Laura Strieker has been accepted at WoLLIC 2026.
[Februrary 2026] Our paper «Disjunctions of Two Dependence Atoms» together with Nicolas Fröhlich, and Phokion Kolaitis has been presented at CSL 2026.

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

['24 − '25]
[DAAD] Descriptive Complexity of Parameterised Counting Classes

[01'18 − 12'19]
[DFG] Nonclassical logics: parametrised and enumeration complexity

[10'13 − 07'22]
[MWK] Innovation Plus: Komplexität von Algorithmen

[02'20 − 09'22]

(FoIKS) International Symposium on Foundations of Information and Knowledge Systems