Publikationen
2023
- Veröffentlicht
Parameterised Counting in Logspace
Haak, A., Meier, A., Prakash, O. & Rao, B. V. R., Okt. 2023, in: ALGORITHMICA. 85, 10, S. 2923-2961 39 S., 10.Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
- Veröffentlicht
Parameterized Complexity of Logic-based Argumentation in Schaefer's Framework
Mahmood, Y., Meier, A. & Schmidt, J., 10 Mai 2023, in: ACM Trans. Comput. Log.. 24, 3, S. 26:1-26:25 25 S., 26.Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
2022
- Veröffentlicht
A parameterized view on the complexity of dependence and dependence logic
Kontinen, J., Meier, A. & Mahmood, Y., Dez. 2022, in: J. Log. Comput.. 32, 8, S. 1624-1644 21 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
- Veröffentlicht
Enumerating teams in first-order team logics
Haak, A., Meier, A., Müller, F. & Vollmer, H., Dez. 2022, in: Annals of Pure and Applied Logic. 173, 10, 103163.Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
- Veröffentlicht
Temporal Team Semantics Revisited
Gutsfeld, J. O., Meier, A., Ohrem, C. & Virtema, J., Aug. 2022, LICS 22: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science. New York: Association for Computing Machinery (ACM), S. 44:1-44:13 13 S. 3533360Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review
- Veröffentlicht
Parameterised complexity of model checking and satisfiability in propositional dependence logic
Mahmood, Y. & Meier, A., März 2022, in: Annals of Mathematics and Artificial Intelligence. 90, 2-3, S. 271-296 26 S.Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review
- Veröffentlicht
A Parameterized View on the Complexity of Dependence Logic.
Kontinen, J., Meier, A. & Mahmood, Y., 2022, Logical Foundations of Computer Science: International Symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10-13, 2022, Proceedings.. Artemov, S. & Nerode, A. (Hrsg.). Cham, S. 125-142 18 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 13137 LNCS).Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review
2021
- Veröffentlicht
Knowledge-Base Degrees of Inconsistency - Complexity and Counting
Fichte, J. K., Hecher, M. & Meier, A., 18 Mai 2021, 35th AAAI Conference on Artificial Intelligence, AAAI 2021. S. 6349-6357 9 S. (AAAI-21 Technical Tracks; Band 35, Nr. 7).Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review
- Veröffentlicht
Parameterized Complexity of Logic-Based Argumentation in Schaefer's Framework.
Mahmood, Y., Meier, A. & Schmidt, J., 18 Mai 2021, 35th AAAI Conference on Artificial Intelligence, AAAI 2021. S. 6426-6434 9 S.Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review
- Veröffentlicht
Decomposition-Guided Reductions for Argumentation and Treewidth
Fichte, J. K., Hecher, M., Mahmood, Y. & Meier, A., 2021, Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI 2021, Virtual Event / Montreal, Canada, 19-27 August 2021.. Zhou, Z.-H. (Hrsg.). S. 1880-1886 7 S. (IJCAI International Joint Conference on Artificial Intelligence).Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review