diff --git a/index.md b/index.md index c8d3b75..c8f48db 100644 --- a/index.md +++ b/index.md @@ -11,10 +11,11 @@ I am working at the [Institute of Theoretical Computer Science](https://www.thi. - **Complexity Theory:** problem complexity, parameterised complexity - **Logic in Computer Science:** non-classical, non-monotonic, team, temporal, hybrid, modal, default, and autopistemic logic -- **Enumeration**: parameterised enumeration, enumeration complexity +- **Argumentation:** abstract as well as logic-based +- **Enumeration:** parameterised enumeration, enumeration complexity ## News - +- **[December 2023]** Our paper «Submodel Enumeration for CTL Is Hard» together wiht Nicolas Fröhlich has been accepted for publication at next years AAAI'24. You can find a preprint at arXiv. - **[July 2023]** Our paper «Logics with probabilistic team semantics and the Boolean negation» together with Miika Hannula, Minna Hirvonen, Juha Kontinen, Yasir Mahmood and Jonni Virtema has been accepted for publication at this year JELIA - **[May 2023]** Our paper «Quantitative Reasoning and Structural Complexity for Claim-Centric Argumentation» together with Markus Hecher, Johannes Fichte and Yasir Mahmood has been accepted for publication at this year IJCAI - **[Feb. 2023]** Started this webpage ;-)