Skip to content

Commit

Permalink
Update index.md
Browse files Browse the repository at this point in the history
  • Loading branch information
ArneMeier committed Jun 25, 2024
1 parent 44f5a59 commit 31bc2a0
Showing 1 changed file with 0 additions and 3 deletions.
3 changes: 0 additions & 3 deletions index.md
Original file line number Diff line number Diff line change
Expand Up @@ -20,9 +20,6 @@ I am working at the [Institute of Theoretical Computer Science](https://www.thi.
- **[April 2024]** Our paper «Quantitative Claim-Centric Reasoning in Logic-Based Argumentation» together with <a href="https://www.csail.mit.edu/person/markus-hecher">Markus Hecher</a>, <a href="https://dice-research.org/YasirMahmood">Yasir Mahmood</a>, and <a href="https://ju.se/personinfo.html?sign=schjoh">Johannes Schmidt</a> has been accepted for publication at this years <a href="https://ijcai24.org/">IJCAI'24</a>.<br />
The next <a href="https://foiks2026.github.io">FoIKS</a> will take place in Hannover in 2026!
- **[December 2023]** Our paper «Submodel Enumeration for CTL Is Hard» together with Nicolas Fröhlich has been accepted for publication at next years <a href="https://aaai.org/aaai-conference/">AAAI'24</a>. You can find a preprint at <a href="https://arxiv.org/abs/2312.09868">arXiv</a>.
<!-- - **[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 <a href="http://jelia2023.inf.tu-dresden.de">JELIA</a>
- **[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 <a href="http://ijcai-23.org" target="_blank">IJCAI</a>
- **[Feb. 2023]** Started this webpage ;-) -->

{% include_relative _includes/projects.md %}

Expand Down

0 comments on commit 31bc2a0

Please sign in to comment.