Logic and AI

The Logic and Artificial Intelligence (LAI) group study the foundations of reasoning about information in systems of interacting  agents, with applications in several different sub-areas of Artificial Intelligence and Multi-Agent Systems particularly including logic-based knowledge representation and reasoning. Key interests include pure and applied modal logic (in particular epistemic and strategic), machine ethics and normative systems, aggregation of information, judgments and preferences, reasoning aboout social networks, and networks of text and people. Our research is often interdisciplinary, in particular combining formal logic and computer science with ideas from the social sciences such as game theory and social network analysis.

Examples of research communities of particular relevance to us include IJCAI, AAMAS, EUMAS, LOFT, TARK, LORI, LAMAS, DALI.

The head of the LAI group is Professor Thomas Ågotnes.