News

The Artificial Intelligence Group was extremely successful this year at the paper selection process for the “International Conference on Principles of Knowledge Representation and Reasoning (KR)”. The KR is the leading forum for current research on the theory and practice of knowledge representation, automatic reasoning, and symbolic AI in general. This year's KR will be held in Melbourne in November, together with other prominent AI conferences such as the International Conference on Automated Planning and Scheduling (ICAPS) and the International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR).

The KR is the highest ranked conference in its field and papers are selected through a rigorous peer review process with an acceptance rate of 20-30%. The Artificial Intelligence Group is the most successful team in the world at the KR this year with seven accepted papers:

- A Framework for Inconsistency-tolerant Reasoning with Sets of Models (Hatab, Sauerwald, Thimm)
- Sequence Explanations for Acceptance in Abstract Argumentation (Bengel, Thimm)
- A Reduct-based Approach to Skeptical Preferred Reasoning in Abstract Argumentation (Bengel, Sander, Thimm)
- An Analysis of The Role of Syntax in Inductive Inference (Heyninck, Booth, Meyer, Spiegel)
- On Strong and Weak Admissibility in Non-Flat Assumption-Based Argumentation (Berthold, Blümel, Rapberger)
- On the Complexity and Properties of Preferential Propositional Dependence Logic (Sauerwald, Meier, Kontinen)
- Olcay Altay-Kern, Emmanuelle Dietz, Isabelle Kuhlmann, Matthias Thimm: Exploring Desirable Configurations in Global Logistics with Heuristic Search in Answer Set Programming (Altay-Kern, Dietz, Kuhlmann, Thimm)

The contributions of the AIG, partly collaborative work with international co-authors from science and industry, deal with theoretical and practical topics on formal argumentation, rational reasoning and the modeling of planning problems.