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

1 - 20 von 29Seitengröße: 20
sortieren: 1. Autor*in
Reihenfolge:

Publikationen

  1. Veröffentlicht

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

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

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

  3. Veröffentlicht

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

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

  4. Veröffentlicht

    Knowledge-Base Degrees of Inconsistency - Complexity and Counting

    Fichte, J. K., Hecher, M. & Meier, A., 18 Mai 2021, 35th AAAI Conference on Artificial Intelligence, AAAI 2021. S. 6349-6357 9 S. (AAAI-21 Technical Tracks; Band 35, Nr. 7).

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

  5. Veröffentlicht

    Counting complexity for reasoning in abstract argumentation

    Fichte, J. K., Hecher, M. & Meier, A., 23 Juli 2019, AAAI-19, IAAI-19, EAAI-19 Proceedings. Band 1. S. 2827-2834 8 S. (Proceedings of the AAAI Conference on Artificial Intelligence; Band 33).

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

  6. Veröffentlicht

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

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

  7. Veröffentlicht

    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. (Hrsg.). S. 1-17 17 S. 40. (Leibniz International Proceedings in Informatics, LIPIcs; Band 187).

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

  8. Veröffentlicht

    Enumerating teams in first-order team logics

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

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

  9. Veröffentlicht

    Parameterised Counting in Logspace

    Haak, A., Meier, A., Prakash, O. & Rao, B. V. R., Okt. 2023, in: ALGORITHMICA. 85, 10, S. 2923-2961 39 S., 10.

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

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

  11. Veröffentlicht

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

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

  12. Veröffentlicht

    A parameterized view on the complexity of dependence and dependence logic

    Kontinen, J., Meier, A. & Mahmood, Y., Dez. 2022, in: J. Log. Comput.. 32, 8, S. 1624-1644 21 S.

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

  13. Veröffentlicht

    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. (Hrsg.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 10. (Leibniz International Proceedings in Informatics, LIPIcs; Band 117).

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

  14. Veröffentlicht

    Parallel Computational Tree Logic.

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

    Publikation: Arbeitspapier/Preprint › Technical Report › Forschung

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

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

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

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

  19. Veröffentlicht

    Parameterised complexity of model checking and satisfiability in propositional dependence logic

    Mahmood, Y. & Meier, A., März 2022, in: Annals of Mathematics and Artificial Intelligence. 90, 2-3, S. 271-296 26 S.

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

  20. Veröffentlicht

    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. (Hrsg.). Cham, S. 195-213 19 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 11972 LNCS).

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

Vorherige 1 2 Nächste