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.

Projekter 2005 2018

Publikation 2006 2018

Many-Valued Hybrid Logic

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

Publikation: Bidrag til tidsskriftTidsskriftartikel

Optimised determinisation and completion of finite tree automata

Gallagher, J. P., Ajspur, M. & Kafle, B. jan. 2018 I : Journal of Logic and Algebraic Programming. 95, s. 1-16

Publikation: Bidrag til tidsskriftTidsskriftartikel

Aktiviteter 1999 2018

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