Skip to content

Commit

Permalink
two news
Browse files Browse the repository at this point in the history
  • Loading branch information
ArneMeier committed Jul 4, 2024
1 parent 31bc2a0 commit 28a378a
Showing 1 changed file with 4 additions and 2 deletions.
6 changes: 4 additions & 2 deletions index.md
Original file line number Diff line number Diff line change
Expand Up @@ -16,9 +16,11 @@ I am working at the [Institute of Theoretical Computer Science](https://www.thi.
- **Logic in Computer Science:** non-classical, non-monotonic, team, temporal, hybrid, modal, default, and autoepistemic logic

## News
- **[June 2024]** Our paper «Counting Complexity for Reasoning in Abstract Argumentation» together with <a href="https://liu.se/en/employee/johfi52)">Johannes Fichte</a> and <a href="https://www.csail.mit.edu/person/markus-hecher">Markus Hecher</a> has been published at <a href="https://jair.org/index.php/jair/article/view/16210">JAIR</a>.<br />
- **[July 2024]** Our paper «Rejection in Abstract Argumentation: Harder Than Acceptance?» together with <a href="https://liu.se/en/employee/johfi52)">Johannes Fichte</a>, <a href="https://www.csail.mit.edu/person/markus-hecher">Markus Hecher</a>, and <a href="https://dice-research.org/YasirMahmood">Yasir Mahmood</a> has been accepted at <a href="https://www.ecai2024.eu/">ECAI 2024</a>.<br />
- **[June 2024]** Our paper «Counting Complexity for Reasoning in Abstract Argumentation» together with <a href="https://liu.se/en/employee/johfi52)">Johannes Fichte</a> and <a href="https://www.csail.mit.edu/person/markus-hecher">Markus Hecher</a> has been published at <a href="https://jair.org/index.php/jair/article/view/16210">JAIR</a>.
- **[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!
- **[April 2024]** The next <a href="https://foiks2026.github.io">FoIKS</a> will take place in Hannover in 2026!
- **[Februrary 2024]** Our paper «Parameterized complexity of weighted team definability» together with <a href="https://researchportal.helsinki.fi/en/persons/juha-kontinen">Juha Kontinen</a>, <a href="https://dice-research.org/YasirMahmood">Yasir Mahmood</a>, and <a href="https://www.thi.uni-hannover.de/de/vollmer">Heribert Vollmer</a> has been published at Cambridge's <a href="https://www.cambridge.org/core/journals/mathematical-structures-in-computer-science/article/parameterized-complexity-of-weighted-team-definability/61F58ADD30D9BE0BCDAC049F5AF6EF78">Mathematical Structures in Computer Science</a>
- **[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>.

{% include_relative _includes/projects.md %}
Expand Down

0 comments on commit 28a378a

Please sign in to comment.