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.

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

Publikationer 2006 2019

Being Deceived: Information Asymmetry in Second-Order False Belief Tasks

Braüner, T., Blackburn, P. R. & Polyanskaya, I., 2019, (Accepteret/In press) I : Topics in Cognitive Science.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Confluence and convergence modulo equivalence in probabilistically terminating reduction systems

Kirkeby, M. H. & Christiansen, H., 2019, I : International Journal of Approximate Reasoning. 105, s. 217-228

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Confluence of CHR Revisited: Invariants and Modulo Equivalence

Christiansen, H. & Kirkeby, M. H., 2019, Logic-Based Program Synthesis and Transformation - 28th International.Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers. Springer , Bind 11408. s. 94 111 s. (Lecture Notes in Computer Science, Bind 11408).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Projekter 2005 2019

Aktiviteter 1999 2019

Conference participation with poster presentation and robot demo

Henning Christiansen (Andet), Mads Hobye (Andet), Anja Mølle Lindelof (Andet)
5 mar. 20198 mar. 2019

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Præsentation på IDA Universe – Driving IT: Dances with robots

Henning Christiansen (Oplægsholder)
2 nov. 2018

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

27th IEEE International Symposium on Robot and Human Interactive Communication

Henning Christiansen (Taler)
27 aug. 201831 aug. 2018

Aktivitet: Deltagelse i eller arrangering af en begivenhedOrganisation og deltagelse i konference


Algoritmerne kommer!

Henning Christiansen


1 mediebidrag


Forsker vil åbne det skjulte internet

Troels Andreasen


1 element af mediedækning