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 - 20 out of 29Page size: 20
Sort by: Title
Order:

Publications

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

  2. Published

    Team semantics for the specification and verification of hyperproperties

    Krebs, A., Meier, A., Virtema, J. & Zimmermann, M., 27 Aug 2018, 43rd International Symposium on Mathematical Foundations of Computer Science, MFCS 2018. Potapov, I., Worrell, J. & Spirakis, P. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 10. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 117).

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

  3. Published

    Strong Backdoors for Default Logic

    Fichte, J. K., Meier, A. & Schindler, I., 2016, Theory and Applications of Satisfiability Testing – SAT 2016 - 19th International Conference, Proceedings. Le Berre, D. & Creignou, N. (eds.). Cham, p. 45-59 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9710).

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

  4. Published

    Satisfiability of modal inclusion logic: Lax and strict semantics

    Hella, L., Kuusisto, A., Meier, A. & Vollmer, H., 10 Jan 2020, In: ACM Transactions on Computational Logic. 21, 1, p. 1-18 18 p., 7.

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

  5. Published

    Parametrised complexity of satisfiability in temporal logic

    Luck, M., Meier, A. & Schindler, I., Jan 2017, In: ACM Transactions on Computational Logic. 18, 1, 1.

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

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

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

  8. Published

    Parameterized Complexity of CTL - A Generalization of Courcelle's Theorem

    Lück, M., Meier, A. & Schindler, I., 2015, Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings. Dediu, A.-H., Formenti, E., Martín-Vide, C. & Truthe, B. (eds.). Vol. 8977. p. 549-560 12 p. (Lecture Notes in Computer Science).

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

  9. Published

    Parameterised Enumeration for Modification Problems

    Creignou, N., Ktari, R., Meier, A., Müller, J. S., Olive, F. & Vollmer, H., Sept 2019, In: Algorithms. 12, 9, p. 189 1 p., 9.

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

  10. Published

    Parameterised Counting in Logspace

    Haak, A., Meier, A., Prakash, O. & Rao, B. V. R., 2021, 38th International Symposium on Theoretical Aspects of Computer Science, STACS 2021. Blaser, M. & Monmege, B. (eds.). p. 1-17 17 p. 40. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 187).

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

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

  12. Published

    Parameterised Complexity of Model Checking and Satisfiability in Propositional Dependence Logic

    Mahmood, Y. & Meier, A., 2020, Foundations of Information and Knowledge Systems - 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17-21, 2020, Proceedings. Herzig, A. & Kontinen, J. (eds.). p. 157-174 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12012 LNCS).

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

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

  14. Published

    Parameterised Complexity of Abduction in Schaefer’s Framework

    Mahmood, Y., Meier, A. & Schmidt, J., 2020, Logical Foundations of Computer Science (LFCS 2020): International Symposium, LFCS 2020, Proceedings. Artemov, S. & Nerode, A. (eds.). Cham, p. 195-213 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11972 LNCS).

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

  15. Published

    Parallel Computational Tree Logic.

    Krebs, A., Meier, A. & Virtema, J., 2015, (CoRR).

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

  16. Published

    On the parameterized complexity of non-monotonic logics.

    Meier, A., Schindler, I., Schmidt, J., Thomas, M. & Vollmer, H., 2015, In: Arch. Math. Log.. 54, 5-6, p. 685-710

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

  17. Published

    On the Parameterized Complexity of Default Logic and Autoepistemic Logic.

    Meier, A., Schmidt, J., Thomas, M. & Vollmer, H., 2012, Language and Automata Theory and Applications: 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings. p. 389-400

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

  18. Published

    LTL Fragments are Hard for Standard Parameterisations

    Lück, M. & Meier, A., 2015, 22nd International Symposium on Temporal Representation and Reasoning, TIME 2015, Kassel, Germany, September 23-25, 2015. p. 59-68

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

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

  20. Published

    Incremental FPT delay

    Meier, A., 15 May 2020, In: Algorithms. 13, 5, 122.

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

Previous 1 2 Next