The LII group study the fundamental principles for representing and reasoning about information in computer systems, based on symbolic logic, and their applications. A focus is on reasoning about change, e.g., using action logic, and in particular on the logical principles of information change. Central is formalisation of interaction in systems with several autonomous agents. Aspects of interaction which are interesting to formalise include the logical principles of trust, knowledge (epistemic logic) and rationality. Applications are found in social software, artificial intelligence, multi-agent systems and programming languages.
Group members:
Permanent researchers Postdocs PhD students
Dag Elgesem Lubos Steskal Piotr Kazmierczak
Richard Moe Marija Slavkovik Truls Pedersen
Thomas Ågotnes (Group leader) Samia Touileb
Activities
LOFT 2014 in Bergen
The 11th Conference on Logic and the Foundations of Game and Decision Theory will take place at the University of Bergen 27-30 July 2014. This bi-annual conference series focus on the applications of logical methods to foundational issues in the theory of individual and interactive decision-making. More information on schedule and content can be found here.