Profilinformationen

Prof. Dr.  Arne Meier

https://orcid.org/0000-0002-8061-5376
Forschungs-netzwerk anzeigen
1 - 20 von 86Seitengröße: 20

Publikationen

  1. 2025
  2. Veröffentlicht

    Logics with probabilistic team semantics and the Boolean negation.

    Hannula, M., Hirvonen, M., Kontinen, J., Mahmood, Y., Meier, A. & Virtema, J., 30 März 2025, in: Journal of Logic and Computation. 35, 3, 3.

    Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review

  3. Elektronisch veröffentlicht (E-Pub)

    Logic and Computation Through the Lens of Semirings

    Barlag, T., Fröhlich, N., Hankala, T., Hannula, M., Hirvonen, M., Holzapfel, V., Kontinen, J., Meier, A. & Strieker, L., 18 Feb. 2025, (Elektronisch veröffentlicht (E-Pub)).

    Publikation: Arbeitspapier/Preprint › Technical Report › Forschung

  4. Veröffentlicht

    A SUBSET-SUM Characterisation of the A-Hierarchy

    Gutleben, J. & Meier, A., 16 Feb. 2025, SOFSEM 2025: Theory and Practice of Computer Science - 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Proceedings. Královič, R. & Kůrková, V. (Hrsg.). Springer Science and Business Media Deutschland GmbH, S. 31-44 14 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 15539 LNCS).

    Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review

  5. 2024
  6. Veröffentlicht

    Rejection in Abstract Argumentation: Harder Than Acceptance?

    Fichte, J. K., Hecher, M., Mahmood, Y. & Meier, A., 16 Okt. 2024, ECAI 2024 - 27th European Conference on Artificial Intelligence, Including 13th Conference on Prestigious Applications of Intelligent Systems, PAIS 2024, Proceedings. Endriss, U., Melo, F. S., Bach, K., Bugarin-Diz, A., Alonso-Moral, J. M., Barro, S. & Heintz, F. (Hrsg.). S. 3212-3219 8 S. (Frontiers in Artificial Intelligence and Applications; Band 392).

    Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review

  7. Veröffentlicht

    Counting Complexity for Reasoning in Abstract Argumentation

    Fichte, J. K., Hecher, M. & Meier, A., 23 Juni 2024, in: Journal of Artificial Intelligence Research. 80, S. 805–834 30 S.

    Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review

  8. Veröffentlicht

    Strong Backdoors for Default Logic

    Fichte, J. K., Meier, A. & Schindler, I., 17 Juni 2024, in: ACM Transactions on Computational Logic. 25, 3, 36 S., 15.

    Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review

  9. Veröffentlicht

    Parameterized complexity of weighted team definability

    Kontinen, J., Mahmood, Y., Meier, A. & Vollmer, H., Mai 2024, in: Mathematical Structures in Computer Science. 34, 5, S. 375-389 15 S.

    Publikation: Beitrag in Fachzeitschrift › Artikel › Forschung › Peer-Review

  10. Veröffentlicht

    Submodel Enumeration for CTL Is Hard

    Fröhlich, N. & Meier, A., 25 Apr. 2024, in: Proceedings of the AAAI Conference on Artificial Intelligence. 38, 9, S. 10517-10524 8 S.

    Publikation: Beitrag in Fachzeitschrift › Konferenzaufsatz in Fachzeitschrift › Forschung › Peer-Review

  11. Veröffentlicht

    Foundations of Information and Knowledge Systems: 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings

    Meier, A. (Herausgeber*in) & Ortiz, M. (Herausgeber*in), 17 Apr. 2024, 1 Aufl. Cham. 402 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 14589 LNCS)

    Publikation: Buch/Bericht/Sammelwerk/Konferenzband › Sammelwerk › Forschung › Peer-Review

  12. Veröffentlicht

    Quantitative Claim-Centric Reasoning in Logic-Based Argumentation

    Hecher, M., Mahmood, Y., Meier, A. & Schmidt, J., 2024, Proceedings of the 33rd International Joint Conference on Artificial Intelligence, IJCAI 2024. Larson, K. (Hrsg.). S. 3404-3412 9 S. (IJCAI International Joint Conference on Artificial Intelligence).

    Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review

  13. Elektronisch veröffentlicht (E-Pub)

    Synchronous Team Semantics for Temporal Logics

    Krebs, A., Meier, A., Virtema, J. & Zimmermann, M., 2024, (Elektronisch veröffentlicht (E-Pub)).

    Publikation: Arbeitspapier/Preprint › Technical Report › Forschung

  14. 2023
  15. 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

  16. Veröffentlicht

    A logic-based framework for database repairs

    Fröhlich, N., Meier, A., Pardal, N. & Virtema, J., 27 Juni 2023.

    Publikation: Arbeitspapier/Preprint › Technical Report › Forschung

  17. 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

  18. Veröffentlicht

    Logics with Probabilistic Team Semantics and the Boolean Negation.

    Hannula, M., Hirvonen, M., Kontinen, J., Mahmood, Y., Meier, A. & Virtema, J., 2023, JELIA 2023: Logics in Artificial Intelligence. Gaggl, S., Martinez, M. V., Ortiz, M. & Ortiz, M. (Hrsg.). Cham, S. 665-680 16 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 14281 LNAI).

    Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review

  19. Veröffentlicht

    Quantitative Reasoning and Structural Complexity for Claim-Centric Argumentation.

    Fichte, J. K., Hecher, M., Mahmood, Y. & Meier, A., 2023, Proceedings of the 32nd International Joint Conference on Artificial Intelligence, IJCAI 2023. Elkind, E. (Hrsg.). S. 3212-3220 9 S. (IJCAI International Joint Conference on Artificial Intelligence; Band 2023-August).

    Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review

  20. 2022
  21. 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

  22. 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

  23. 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. 3533360

    Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review

  24. 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

Vorherige 1 2 3 4 5 Nächste