Programmering, logik og intelligente systemer



The PLIS (Programming, Logic and Intelligent Systems) group at Roskilde University investigates foundations, tools and languages for the development of adaptable, reliable, human-oriented computer systems.

The group's research covers theoretical foundations, languages, tools and semantic models together with application areas. The main research topics are:

  • Knowledge-based systems and intelligent interaction with systems.
  • Logic and knowledge representation.
  • Programming languages and tools.

Long-term objectives

  • To develop tools and techniques allowing intuitive interaction with information and knowledge-based systems, including natural language understanding and generation, and interpretation of interaction with respect to a context that is constantly changing.
  • To construct logics and structures capable of creating and reasoning about models of the environment and human activities, including direct modelling of concepts familiar to humans, common-sense concepts and representation of dynamically changing situations.
  • To develop languages, methods and tools for software production, analysis and transformation, allowing automatic generation, checking and evolution of software systems.

Netværk Nyligt eksternt samarbejde på landeniveau. Dyk ned i detaljerne ved at klikke på punkterne.

Publikation 2006 2018

A logical investigation of false-belief tasks

Braüner, T., Polyanskaya, I. & Blackburn, P. R. 2018 (Accepteret/In press) Proceedings of the 40th Annual Meeting of the Cognitive Science Society, Madison, Wisconsin, USA.

Publikation: Kapitel i bog/rapport/konferenceprocesKonferencebidrag i proceedingsForskningpeer review

Functional and Logic Programming - 14th International Symposium (FLOPS 2018): Nagoya, Japan, May 9-11, 2018

Gallagher, J. P. (red.) & Sulzmann, M. (red.) apr. 2018 Springer. (Lecture Notes in Computer Science, Bind 10818).

Publikation: Bog/rapportAntologiForskningpeer review

Many-Valued Hybrid Logic

Hansen, J. U., Bolander, T. & Braüner, T. 2018 I : Journal of Logic and Computation.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Projekter 2005 2018

Aktiviteter 1999 2018

9th International Joint Conference on Automated Reasoning (Begivenhed)

Braüner, T. (Medlem)
14 jul. 201817 jul. 2018

Aktivitet: Medlemskab af udvalg, råd og nævn

Workshop on Linguistic Complexity & Natural Language Processing

Christiansen, H. (Deltager)
20 aug. 201825 aug. 2018

Aktivitet: Organisation og deltagelse i konference

25th Workshop on Logic, Language, Information and Computation (Begivenhed)

Braüner, T. (Medlem)
24 jul. 201827 jul. 2018

Aktivitet: Medlemskab af udvalg, råd og nævn


Algoritmerne kommer!

Henning Christiansen


1 mediebidrag


Forsker vil åbne det skjulte internet

Troels Andreasen


1 element af mediedækning