Artificial Intelligence Group

We teach and conduct research in the general area of Knowledge Representation and Reasoning and specifically on the topics: "Algorithms and complexity", "Formal argumentation", "Reasoning with inconsistency" and "Belief dynamics".