Loading [MathJax]/extensions/tex2jax.js

Nichtklassische Logiken: Parametrisierte Komplexität und Enumeration

Projekt: Forschung

Mitwirkende

  • Arne Meier (Projektleiter*in (Principal Investigator))
  • Yasir Mahmood (Projektmitarbeiter*in)
  • Irena Schindler (Projektmitarbeiter*in)

Organisationseinheiten

21 - 29 von 29Seitengröße: 20
Reihenfolge:

Publikationen

  1. 2017

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

  3. 2016

  4. Veröffentlicht

    Backdoors for Linear Temporal Logic

    Meier, A., Ordyniak, S., Sridharan, R. & Schindler, I., 2016, 11th International Symposium on Parameterized and Exact Computation, IPEC 2016, August 24-26, 2016, Aarhus, Denmark. Guo, J. & Hermelin, D. (Hrsg.). Band 63. S. 23:1-23:17 23. (Leibniz International Proceedings in Informatics, LIPIcs; Band 63).

    Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review

  5. Veröffentlicht

    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. (Hrsg.). Cham, S. 45-59 15 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 9710).

    Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review

  6. 2015

  7. Veröffentlicht

    A Team Based Variant of CTL.

    Krebs, A., Meier, A. & Virtema, J., 2015, 22nd International Symposium on Temporal Representation and Reasoning, TIME 2015, Kassel, Germany, September 23-25, 2015. S. 140-149

    Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review

  8. Veröffentlicht

    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. S. 59-68

    Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review

  9. Veröffentlicht

    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, S. 685-710

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

  10. Veröffentlicht

    Parallel Computational Tree Logic.

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

    Publikation: Arbeitspapier/Preprint › Technical Report › Forschung

  11. Veröffentlicht

    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. (Hrsg.). Band 8977. S. 549-560 12 S. (Lecture Notes in Computer Science).

    Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review

  12. 2012

  13. Veröffentlicht

    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. S. 389-400

    Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review

Vorherige 1 2 Nächste