Enumeration Classes Defined by Circuits

Creignou, N., Durand, A. & Vollmer, H., 22 Aug. 2022, 47th International Symposium on Mathematical Foundations of Computer Science, MFCS 2022. Szeider, S., Ganian, R. & Silva, A. (Hrsg.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 39. (Leibniz International Proceedings in Informatics, LIPIcs; Band 241).

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

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

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

Submodel Enumeration of Kripke Structures in Modal Logic

Fröhlich, N. & Meier, A., 2022, AiML. Fernandez-Duque, D., Palmigiano, A., Palmigiano, A. & Pinchinat, S. (Hrsg.). S. 391-406 16 S. (Advances in Modal Logic; Band 14).

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

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

Parameterized Complexity of Logic-Based Argumentation in Schaefer's Framework.

Mahmood, Y., Meier, A. & Schmidt, J., 18 Mai 2021, 35th AAAI Conference on Artificial Intelligence, AAAI 2021. S. 6426-6434 9 S.

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

A Logical Characterization of Constant-Depth Circuits over the Reals

Barlag, T. & Vollmer, H., 2021, Logic, Language, Information, and Computation: 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings. Silva, A., Wassermann, R. & de Queiroz, R. (Hrsg.). Band abs/2005.04916. S. 16-30 15 S. (Lecture Notes in Computer Science (LNCS); Band 13038).

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

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

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

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

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. (Hrsg.). S. 157-174 18 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 12012 LNCS).

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