Workshop in Vienna
8.11.2023
We are co-organizing a workshop with TU Wien on "Recent Advances in Collaborative and Argumentative Decision-Making". The workshop will take place at TU Wien on November 24th.
Research on supporting decision-making is central to classical and modern Artificial Intelligence. Decision-making with several parties plausibly often involves both collaborative aspects and consensus regarding diverging opinions and conflicts. Two major research strands in these directions are Social Choice Theory and Formal Argumentation. The former is concerned, e.g., with collective decision making such as voting, while the latter aims to provide rational conclusions under inconsistent information.
The aim of this workshop is to bring together researchers from several parts of the diverse fields of Computational Social Choice and Formal Argumentation, in order to discuss recent results and ongoing work on the new challenges.
The programme can be found at the website of the workshop.
Participation in Competition
11.9.2023
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:
- k-Solutions, developed by Christian Pasero,
- ASTRA, developed by Andrei Popescu,
- AcbAr, developed by Tuomo Lehtonen, and
- ASPforABA, developed by Tuomo Lehtonen.
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!