Loading [MathJax]/extensions/tex2jax.js
Image/logo of the organisation entitled Institute of Theoretical Computer Science

Institute of Theoretical Computer Science

Organisational unit: Institute

Type of address: Visitor addres
Appelstraße 9a
30167
Hannover
1 - 20 out of 219Page size: 20
Order:

Publications

  1. 2025

  2. E-pub ahead of print

    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, (E-pub ahead of print).

    Research output: Working paper/Preprint › Technical report › Research

  3. Published

    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. (eds.). Springer Science and Business Media Deutschland GmbH, p. 31-44 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15539 LNCS).

    Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review

  4. 2024

  5. Published

    Rejection in Abstract Argumentation: Harder Than Acceptance?

    Fichte, J. K., Hecher, M., Mahmood, Y. & Meier, A., 16 Oct 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. (eds.). p. 3212-3219 8 p. (Frontiers in Artificial Intelligence and Applications; vol. 392).

    Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review

  6. Published

    Logics for Dependence and Independence: Expressivity and Complexity (Dagstuhl Seminar 24111)

    Kontinen, J., Virtema, J., Vollmer, H., Yang, F. & Fröhlich, N., 19 Sept 2024, In: Dagstuhl Reports. 14, 3, p. 31-51 21 p., 3.

    Research output: Contribution to journal › Article › Research › peer review

  7. Published

    Counting Complexity for Reasoning in Abstract Argumentation

    Fichte, J. K., Hecher, M. & Meier, A., 23 Jun 2024, In: Journal of Artificial Intelligence Research. 80, p. 805–834 30 p.

    Research output: Contribution to journal › Article › Research › peer review

  8. Published

    Strong Backdoors for Default Logic

    Fichte, J. K., Meier, A. & Schindler, I., 17 Jun 2024, In: ACM Transactions on Computational Logic. 25, 3, 36 p., 15.

    Research output: Contribution to journal › Article › Research › peer review

  9. Published

    Logical characterizations of algebraic circuit classes over integral domains

    Barlag, T., Chudigiewitsch, F. & Gaube, S. A., May 2024, In: Mathematical Structures in Computer Science. 34, 5, p. 346-374 29 p.

    Research output: Contribution to journal › Article › Research › peer review

  10. Published

    Parameterized complexity of weighted team definability

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

    Research output: Contribution to journal › Article › Research › peer review

  11. Published

    Special issue on logic and complexity

    Creignou, N., Durand, A. & Vollmer, H., May 2024, In: Mathematical Structures in Computer Science. 34, p. 344-345 2 p.

    Research output: Contribution to journal › Editorial in journal › Research › peer review

  12. Published

    Submodel Enumeration for CTL Is Hard

    Fröhlich, N. & Meier, A., 25 Apr 2024, AAAI Proceedings. Wooldridge, M., Dy, J. & Natarajan, S. (eds.). p. 10517-10524 8 p. (Proceedings of the AAAI Conference on Artificial Intelligence; vol. 38, no. 9).

    Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review

  13. Published

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

    Meier, A. (Editor) & Ortiz, M. (Editor), 17 Apr 2024, 1 ed. Cham. 402 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14589 LNCS)

    Research output: Book/Report › Anthology › Research › peer review

  14. Published

    Counting and enumerating in first-order team logics

    Müller, F., 8 Apr 2024, Hannover. 87 p.

    Research output: Thesis › Doctoral thesis

  15. Published

    Computing Repairs Under Functional and Inclusion Dependencies via Argumentation

    Mahmood, Y., Virtema, J., Barlag, T. & Ngomo, A. C. N., 29 Mar 2024, Foundations of Information and Knowledge Systems : 13th International Symposium, FoIKS 2024. Meier, A. & Ortiz, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 23-42 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14589 LNCS).

    Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review

  16. Published

    Graph Neural Networks and Arithmetic Circuits

    Barlag, T., Holzapfel, V., Strieker, L., Virtema, J. & Vollmer, H., 2024, In: Advances in Neural Information Processing Systems. 37

    Research output: Contribution to journal › Conference article › Research › peer review

  17. Published

    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. (ed.). p. 3404-3412 9 p. (IJCAI International Joint Conference on Artificial Intelligence).

    Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review

  18. E-pub ahead of print

    Synchronous Team Semantics for Temporal Logics.

    Krebs, A., Meier, A., Virtema, J. & Zimmermann, M., 2024, (E-pub ahead of print).

    Research output: Working paper/Preprint › Technical report › Research

  19. 2023

  20. Published

    Logical labeling schemes

    Chandoo, M., Oct 2023, In: Discrete mathematics. 346, 10, 113565.

    Research output: Contribution to journal › Article › Research › peer review

  21. Published

    Parameterised Counting in Logspace

    Haak, A., Meier, A., Prakash, O. & Rao, B. V. R., Oct 2023, In: ALGORITHMICA. 85, 10, p. 2923-2961 39 p., 10.

    Research output: Contribution to journal › Article › Research › peer review

  22. Published

    Parameterized Complexity of Logic-based Argumentation in Schaefer's Framework

    Mahmood, Y., Meier, A. & Schmidt, J., 10 May 2023, In: ACM Trans. Comput. Log.. 24, 3, p. 26:1-26:25 25 p., 26.

    Research output: Contribution to journal › Article › Research › peer review

  23. Published

    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. (eds.). Cham, p. 665-680 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14281 LNAI).

    Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review

Previous 1 2 3 4 5 6 7 8 ...11 Next