Hjem
Universitetet i Bergen
Logikk og AI

Varselmelding

There has not been added a translated version of this content. You can either try searching or go to the "area" home page to see if you can find the information there

Research projects

Hovedinnhold

These are some of the research projects and international cooperation networks LII researchers are involved in. Much of the research are done outside of formal project structures, however; see the publication list for a more complete picture of research themes.

VERDIKT Project

A new project on databased methods for analysing polarisation and information dissemination in the blogosphere has received funding from the Norwegian Research Council's VERDIKT programme.

Truls Pedersen

Truls Pedersen's project "A modal logical framework for social software" uses formal methods (particularly multi-agent modal logic) to analyse social software. Here, Pedersen expresses concepts which are central in social software with model logic. The term "social software" may refer computer...

The FORMGRID project

The main objective of the FORMGRID project is to develop new techniques and software tools for diagrammatically modeling grid computing systems, and for formally verifying their correct behavior. The FORMGRID project is hosted by Bergen University College and is funded by Norwegian Research Council.

15.03.2012