Our group participated in the recent 5th International Competition on Computational Models of Argumentation (ICCMA). In this competition solvers for computationally complex reasoning tasks in argumentation are evaluated against each other in terms of runtime efficiency.
Our group participated in two tracks: the dynamic track and the ABA track, with the former focusing on dynamically changing argumentation scenarios and the latter incorporating structural aspects of arguments. We contributed to the following submissions:
These approaches each present their own algorithmic approach to computationally complex reasoning tasks. ASPforABA scored the first place where it participated. The results were presented in this year's International Conference on Principles of Knowledge Representation and Reasoning (KR2023) in Rhodes. Detailed results can be found here.
We thank the developers, contributors, and the competition organizers for the invaluable work for the scientific community!
Our group participated in the AI Summer School 2023, organized by the Austrian Society for Artificial Intelligence (ASAI) in Vienna. The pogramme included aspects of machine learning, knowledge graphs, declarative problem solving, and ethics in AI.
We participated in this year's edition of the Dragon Boat University Cup with the boat of our faculty ("Die Passionierten"). We placed eighth in the ranking and are looking forward to next year!