Loading [MathJax]/extensions/tex2jax.js

Nonclassical logics: parametrised and enumeration complexity

Project: Research

Participants

  • Arne Meier (Principal Investigator)
  • Yasir Mahmood (Project staff)
  • Irena Schindler (Project staff)

Research Organisations

1 - 10 out of 29Page size: 10
Order:

Publications

  1. 2023

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

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

  4. 2022

  5. Published

    A parameterized view on the complexity of dependence and dependence logic

    Kontinen, J., Meier, A. & Mahmood, Y., Dec 2022, In: J. Log. Comput.. 32, 8, p. 1624-1644 21 p.

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

  6. Published

    Enumerating teams in first-order team logics

    Haak, A., Meier, A., Müller, F. & Vollmer, H., Dec 2022, In: Annals of Pure and Applied Logic. 173, 10, 103163.

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

  7. Published

    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), p. 44:1-44:13 13 p. 3533360

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

  8. Published

    Parameterised complexity of model checking and satisfiability in propositional dependence logic

    Mahmood, Y. & Meier, A., Mar 2022, In: Annals of Mathematics and Artificial Intelligence. 90, 2-3, p. 271-296 26 p.

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

  9. Published

    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. (eds.). Cham, p. 125-142 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13137 LNCS).

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

  10. 2021

  11. Published

    Knowledge-Base Degrees of Inconsistency - Complexity and Counting

    Fichte, J. K., Hecher, M. & Meier, A., 18 May 2021, 35th AAAI Conference on Artificial Intelligence, AAAI 2021. p. 6349-6357 9 p. (AAAI-21 Technical Tracks; vol. 35, no. 7).

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

  12. Published

    Parameterized Complexity of Logic-Based Argumentation in Schaefer's Framework.

    Mahmood, Y., Meier, A. & Schmidt, J., 18 May 2021, 35th AAAI Conference on Artificial Intelligence, AAAI 2021. p. 6426-6434 9 p.

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

  13. Published

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

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

Previous 1 2 3 Next