Research group for logics and AI

The Research Group for Logics and AI Research Group studies the scientific basis for reasoning about information in systems consisting of interacting agents, with applications in several different subfields of the fields of artificial intelligence (AI) and multi-agent systems (MAS), especially in logic-based knowledge representation and reasoning. Important research interests include pure and applied modal logic (especially epistemic and strategic), machine ethics and normative systems, information aggregation, judgments and preferences, reasoning about social networks, and networks of text and people. Our research is often interdisciplinary, combining, among others, formal logic and computer science with ideas from the social sciences such as game theory and social network analysis.

Examples of research environments that are relevant to us include IJCAI, AAMAS, EUMAS, LOFT, TARK, LORI, LAMAS, DALI.