Loading [MathJax]/extensions/tex2jax.js

ACM Transactions on Computational Logic

1 - 8 out of 8Page size: 20
Order:

Publications

  1. 2024

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

  3. 2023

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

  5. 2020

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

  7. 2018

  8. Published

    Complexity of propositional logics in team semantic

    Vollmer, H., Hannula, M., Kontinen, J. & Virtema, J., Jan 2018, In: ACM Transactions on Computational Logic. 19, 1, p. 2:1-2:14 14 p., 2.

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

  9. 2017

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

  11. 2014

  12. Published

    LoCo - A Logic for Configuration Problems.

    Aschinger, M., Drescher, C., Gottlob, G. & Vollmer, H., 2014, In: ACM Trans. Comput. Log.. 15, 3, p. 20:1-20:25

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

  13. 2012

  14. Published

    The Complexity of Reasoning for Fragments of Autoepistemic Logic.

    Creignou, N., Meier, A., Vollmer, H. & Thomas, M., 2012, In: ACM Trans. Comput. Log.. 13, 2, p. 17:1-17:22

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

  15. 2011

  16. Published

    The tractability of model checking for LTL - The good, the bad, and the ugly fragments.

    Bauland, M., Mundhenk, M., Schneider, T., Schnoor, H., Schnoor, I. & Vollmer, H., 2011, In: ACM Trans. Comput. Log.. 12, 2, p. 13:1-13:28

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