Loading [MathJax]/extensions/tex2jax.js

ACM Transactions on Computational Logic

1 - 8 von 8Seitengröße: 20
Reihenfolge:

Publikationen

  1. 2024

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

  3. 2023

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

  5. 2020

  6. Veröffentlicht

    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, S. 1-18 18 S., 7.

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

  7. 2018

  8. Veröffentlicht

    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, S. 2:1-2:14 14 S., 2.

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

  9. 2017

  10. Veröffentlicht

    Parametrised complexity of satisfiability in temporal logic

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

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

  11. 2014

  12. Veröffentlicht

    LoCo - A Logic for Configuration Problems.

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

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

  13. 2012

  14. Veröffentlicht

    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, S. 17:1-17:22

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

  15. 2011

  16. Veröffentlicht

    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, S. 13:1-13:28

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