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.

Research Interests (alphabetical order)

• 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, preferential, and autoepistemic logic

News

• [September 2026] Our paper «On k-Bounded Nondeterminism for Branching Programs and Circuits» together with Anselm Haak, and Raghavendra Rao B V was presented at IPEC 2026.
• [June 2026] Our paper «Parameterised Complexity of Consistent Query Answering via Graph Representations» together with Miika Hannula, Teemu Hankala, and Yasir Mahmood was accepted at ICDT 2027.

Recent Papers

Conference or Workshop

1. 2026

   A Circuit-Theoretic View of FO over Semirings — Logic, Language, Information, and Computation - 32nd International Workshop, WoLLIC 2026, Lima, Peru, August 3-6, 2026, Proceedings

   Copied!

   @inproceedings{DBLP:conf/wollic/BarlagFHHHHKMS26,
     author = {Barlag, Timon and Fr{\"{o}}hlich, Nicolas and Hankala, Teemu and Hannula, Miika Juhani and Hirvonen, Minna and Holzapfel, Vivian and Kontinen, Juha and Meier, Arne and Strieker, Laura},
     editor = {Johann, Patricia and de Queiroz, Ruy J. G. B.},
     title = {A Circuit-Theoretic View of FO over Semirings},
     booktitle = {Logic, Language, Information, and Computation - 32nd International
                       Workshop, WoLLIC 2026, Lima, Peru, August 3-6, 2026, Proceedings},
     series = {Lecture Notes in Computer Science},
     volume = {16757},
     pages = {111--125},
     publisher = {Springer},
     year = {2026},
     url = {https://doi.org/10.1007/978-3-032-33486-2\_8},
     doi = {10.1007/978-3-032-33486-2\_8},
     keywords = {semiring semantics, circuit complexity, first-order logic, knowledge representation, model checking, complexity theory}
   }
   

   @
2. 2026

   Complexity of Logics with Semiring Semantics — Proceedings of the 23rd International Conference on Principles of Knowledge Representation and Reasoning, KR 2026, Lisbon, Portugal, July 20-23, 2026

   Copied!

   @inproceedings{DBLP:conf/kr/BarlagFHHHHKMS26,
     author = {Barlag, Timon and Fr{\"{o}}hlich, Nicolas and Hankala, Teemu and Hannula, Miika and Hirvonen, Minna and Holzapfel, Vivian and Kontinen, Juha and Meier, Arne and Strieker, Laura},
     editor = {Wassermann, Renata and Mugnier, Marie{-}Laure and Baader, Franz},
     title = {Complexity of Logics with Semiring Semantics},
     booktitle = {Proceedings of the 23rd International Conference on Principles of
                       Knowledge Representation and Reasoning, {KR} 2026, Lisbon, Portugal,
                       July 20-23, 2026},
     year = {2026},
     doi = {10.24963/KR.2026/12},
     keywords = {semiring semantics, complexity, logic, knowledge representation}
   }
   

   @
3. 2026

   Representation Theorems for Cumulative Propositional Dependence Logics — Proceedings of the 23rd International Conference on Principles of Knowledge Representation and Reasoning, KR 2026, Lisbon, Portugal, July 20-23, 2026

   Copied!

   @inproceedings{DBLP:conf/kr/KontinenMS26,
     author = {Kontinen, Juha and Meier, Arne and Sauerwald, Kai},
     editor = {Wassermann, Renata and Mugnier, Marie{-}Laure and Baader, Franz},
     title = {Representation Theorems for Cumulative Propositional Dependence Logics},
     booktitle = {Proceedings of the 23rd International Conference on Principles of
                       Knowledge Representation and Reasoning, {KR} 2026, Lisbon, Portugal,
                       July 20-23, 2026},
     year = {2026},
     doi = {10.24963/KR.2026/40},
     keywords = {preferential logic, dependence logic, cumulative logic, team semantics, knowledge representation, non-monotonic reasoning}
   }
   

   @
4. 2026

   Disjunctions of Two Dependence Atoms — 34th EACSL Annual Conference on Computer Science Logic (CSL 2026)

   Copied!

   @inproceedings{DBLP:conf/csl/0001KM26,
     author = {Fr{\"{o}}hlich, Nicolas and Kolaitis, Phokion G. and Meier, Arne},
     title = {Disjunctions of Two Dependence Atoms},
     booktitle = {34th {EACSL} Annual Conference on Computer Science Logic ({CSL} 2026)},
     series = {LIPIcs},
     volume = {363},
     pages = {10:1--10:21},
     publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
     year = {2026},
     doi = {10.4230/LIPICS.CSL.2026.10},
     url = {https://doi.org/10.4230/LIPIcs.CSL.2026.10},
     keywords = {dependence logic, team semantics, coherence, model checking, first-order logic}
   }
   

   @
5. 2026

   When Symmetry Yields NP-Hardness: Affine ML-SAT on S5 Frames — Foundations of Information and Knowledge Systems (FoIKS 2026)

   Copied!

   @inproceedings{DBLP:conf/foiks/KrebsM26,
     author = {Krebs, Andreas and Meier, Arne},
     title = {When Symmetry Yields {NP}-Hardness: Affine {ML-SAT} on {S5} Frames},
     booktitle = {Foundations of Information and Knowledge Systems ({FoIKS} 2026)},
     series = {Lecture Notes in Computer Science},
     volume = {16475},
     pages = {232--242},
     publisher = {Springer},
     year = {2026},
     doi = {10.1007/978-3-032-21540-6\_14},
     url = {https://doi.org/10.1007/978-3-032-21540-6_14},
     keywords = {modal logic, satisfiability, affine clones, S5 frames, complexity theory}
   }
   

   @

Journal

1. 2027

   Temporal team semantics revisited — Journal of Computer and System Sciences 163

   Copied!

   @article{GUTSFELD2027103859,
     author = {Gutsfeld, Jens Oliver and Ohrem, Christoph and Meier, Arne and Virtema, Jonni},
     doi = {https://doi.org/10.1016/j.jcss.2026.103859},
     issn = {0022-0000},
     journal = {Journal of Computer and System Sciences},
     keywords = {Team semantics, Temporal logic, Hyperproperties, Automata theory, Model checking, Asynchronicity},
     pages = {103859},
     title = {Temporal team semantics revisited},
     url = {https://www.sciencedirect.com/science/article/pii/S0022000026001054},
     volume = {163},
     year = {2027},
     confversion = {DBLP:conf/lics/GutsfeldMOV22}
   }
   

   @
2. 2025

   Logics with probabilistic team semantics and the Boolean negation — J. Log. Comput. 35(3)

   Copied!

   @article{DBLP:journals/logcom/HannulaHKMMV25,
     author = {Hannula, Miika and Hirvonen, Minna and Kontinen, Juha and Mahmood, Yasir and Meier, Arne and Virtema, Jonni},
     title = {Logics with probabilistic team semantics and the {Boolean} negation},
     journal = {J. Log. Comput.},
     volume = {35},
     number = {3},
     year = {2025},
     doi = {10.1093/LOGCOM/EXAF021},
     url = {https://doi.org/10.1093/logcom/exaf021},
     confversion = {DBLP:conf/jelia/HannulaHKMMV23},
     keywords = {team semantics, dependence logic, probabilistic logic, complexity theory}
   }
   

   @

View all publications →

Projects

Active

• [RSE-DAAD] Fine-grained complexity classification of CQA

  ['26 − '27]
• [DFG] Team Logics: New Bridges to Database Repairs

  [05'23 − 12'26]

Finished

• [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]

Powered by Jekyll and Minimal Light theme.