Items where authors include "Meier, A."

Article

Hannula, M., Hirvonen, M., Kontinen, J. et al. (3 more authors) (2025) Logics with probabilistic team semantics and the Boolean negation. Journal of Logic and Computation, 35 (3). exaf021. ISSN 0955-792X

Meier, A., Ordyniak, S. orcid.org/0000-0003-1935-651X, Ramanujan, M.S. et al. (1 more author) (2019) Backdoors for Linear Temporal Logic. Algorithmica, 81 (2). pp. 476-496. ISSN 0178-4617

Proceedings Paper

Hannula, M., Hirvonen, M., Kontinen, J. et al. (3 more authors) (2023) Logics with probabilistic team semantics and the Boolean negation. In: Gaggl, S., Martinez, M.V. and Ortiz, M., (eds.) Logics in Artificial Intelligence: 18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings. 18th European Conference on Logics in Artificial Intelligence (JELIA 2023), 20-22 Sep 2023, Dresden, Germany. Lecture Notes in Computer Science (LNAI 14281). Springer Cham , pp. 665-680. ISBN 9783031436185

Gutsfeld, J.O., Meier, A., Ohrem, C. et al. (1 more author) (2022) Temporal team semantics revisited. In: LICS '22: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science. LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, 02-05 Aug 2022, Haifa Israel. Association for Computing Machinery . ISBN 9781450393515