Arne Meier

ScholarGPS® ID: 48575526280328

Affiliation

Leibniz University Hannover, Hanover, Germany

Affiliation History

Field

Engineering and Computer Science

Discipline

Computer Science

Top Specialties

Logic | Model Checking | Artificial Intelligence | Semantics | Fingerprint

Metrics Summary

Publication Count

Predicted Citations

454

Predicted h-index

Ranking

Publications and Citation History

Publications based on Top Specialties

Types of Publication

Publications
Books
Patents
NIH/NSF

Add Delete
Strong Backdoors for Default Logic (journal article) Fichte, Johannes Klaus \| Meier, Arne \| Schindler, Irena ACM Transactions on Computational Logic, volume 25, issue 3, pages 1-24 (2024). 10.1145/3655024 Cite \| Source
Counting Complexity for Reasoning in Abstract Argumentation (journal article) Fichte, Johannes K. \| Hecher, Markus \| Meier, Arne Journal of Artificial Intelligence Research, volume 80 (2024). 10.1613/jair.1.16210 Cite \| Source
Submodel Enumeration for CTL Is Hard (journal article) Fröhlich, Nicolas \| Meier, Arne Proceedings of the AAAI Conference on Artificial Intelligence, volume 38, issue 9, pages 10517-10524 (2024). 10.1609/aaai.v38i9.28921 Cite \| Source
Parameterized complexity of weighted team definability (journal article) Kontinen, Juha \| Mahmood, Yasir \| Meier, Arne \| Vollmer, Heribert Mathematical Structures in Computer Science (2024). 10.1017/S0960129524000033 Cite \| Source
Foundations of Information and Knowledge Systems (book) Springer Nature Switzerland (2024) 10.1007/978-3-031-56940-1 Cite \| Source
Parameterised Counting in Logspace (journal article) Haak, Anselm \| Meier, Arne \| Prakash, Om \| Rao, B. V. Raghavendra Algorithmica, volume 85, issue 10, pages 2923-2961 (2023). 10.1007/s00453-023-01114-2 Cite \| Source
Quantitative Reasoning and Structural Complexity for Claim-Centric Argumentation (conference) Fichte, Johannes K. \| Hecher, Markus \| Mahmood, Yasir \| Meier, Arne Thirty-Second International Joint Conference on Artificial Intelligence {IJCAI-23} (2023) Macau, SAR China 10.24963/ijcai.2023/358 Cited by (1) \| Cite \| Source
Parameterized Complexity of Logic-based Argumentation in Schaefer’s Framework (journal article) Mahmood, Yasir \| Meier, Arne \| Schmidt, Johannes ACM Transactions on Computational Logic, volume 24, issue 3, pages 1-25 (2023). 10.1145/3582499 Cite \| Source
Logics with Probabilistic Team Semantics and the Boolean Negation (book chapter) In Logics in Artificial Intelligence Hannula, Miika \| Hirvonen, Minna \| Kontinen, Juha \| Mahmood, Yasir \| Meier, Arne \| Virtema, Jonni Springer Nature Switzerland (2023) 10.1007/978-3-031-43619-2_45 Cite \| Source
A parameterized view on the complexity of dependence and independence logic (journal article) Kontinen, Juha \| Meier, Arne \| Mahmood, Yasir Journal of Logic and Computation, volume 32, issue 8, pages 1624-1644 (2022). 10.1093/logcom/exac070 Cited by (2) \| Cite \| Source
Enumerating teams in first-order team logics (journal article) Haak, Anselm \| Meier, Arne \| Müller, Fabian \| Vollmer, Heribert Annals of Pure and Applied Logic, volume 173, issue 10, pages 103163- (2022). 10.1016/j.apal.2022.103163 Cited by (2) \| Cite \| Source
Temporal Team Semantics Revisited (conference) Gutsfeld, Jens Oliver \| Meier, Arne \| Ohrem, Christoph \| Virtema, Jonni LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science (2022) Haifa Israel 10.1145/3531130.3533360 Cited by (4) \| Cite \| Source
Parameterised complexity of model checking and satisfiability in propositional dependence logic (journal article) Mahmood, Yasir \| Meier, Arne Annals of Mathematics and Artificial Intelligence, volume 90, issue 2-3, pages 271-296 (2022). 10.1007/s10472-021-09730-w Cited by (2) \| Cite \| Source
A Parameterized View on the Complexity of Dependence Logic (book chapter) In Logical Foundations of Computer Science Kontinen, Juha \| Meier, Arne \| Mahmood, Yasir Springer International Publishing (2022) 10.1007/978-3-030-93100-1_9 Cite \| Source
Decomposition-Guided Reductions for Argumentation and Treewidth (conference) Fichte, Johannes \| Hecher, Markus \| Mahmood, Yasir \| Meier, Arne Thirtieth International Joint Conference on Artificial Intelligence {IJCAI-21} (2021) Montreal, Canada 10.24963/ijcai.2021/259 Cited by (3) \| Cite \| Source
Parameterized Complexity of Logic-Based Argumentation in Schaefer's Framework (journal article) Mahmood, Yasir \| Meier, Arne \| Schmidt, Johannes Proceedings of the AAAI Conference on Artificial Intelligence, volume 35, issue 7, pages 6426-6434 (2021). 10.1609/aaai.v35i7.16797 Cite \| Source
Knowledge-Base Degrees of Inconsistency: Complexity and Counting (journal article) Fichte, Johannes K. \| Hecher, Markus \| Meier, Arne Proceedings of the AAAI Conference on Artificial Intelligence, volume 35, issue 7, pages 6349-6357 (2021). 10.1609/aaai.v35i7.16788 Cited by (2) \| Cite \| Source
Parameterized complexity of abduction in Schaefer’s framework (journal article) Mahmood, Yasir \| Meier, Arne \| Schmidt, Johannes Journal of Logic and Computation, volume 31, issue 1, pages 266-296 (2021). 10.1093/logcom/exaa079 Cited by (2) \| Cite \| Source
Incremental FPT Delay (journal article) Meier, Arne Algorithms, volume 13, issue 5, pages 122- (2020). 10.3390/a13050122 Cited by (2) \| Cite \| Source
Parameterised Complexity of Abduction in Schaefer’s Framework (book chapter) In Logical Foundations of Computer Science Mahmood, Yasir \| Meier, Arne \| Schmidt, Johannes Springer International Publishing (2020) 10.1007/978-3-030-36755-8_13 Cited by (2) \| Cite \| Source