Programming, Logic and Intelligent Systems

Organization profile

Organisation profile

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.

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Projects 2005 2018

Research Output 2006 2018

Many-Valued Hybrid Logic

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

Research output: Contribution to journalJournal article

Optimised determinisation and completion of finite tree automata

Gallagher, J. P., Ajspur, M. & Kafle, B. Jan 2018 In : Journal of Logic and Algebraic Programming. 95, p. 1-16

Research output: Contribution to journalJournal article

Activities 1999 2018

Workshop on Linguistic Complexity & Natural Language Processing

Christiansen, H. (Participant)
20 Aug 201825 Aug 2018

Activity: Organisation and participation in conference

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

Braüner, T. (Member)
24 Jul 201827 Jul 2018

Activity: Membership in committee, council, board

Press / Media

Algoritmerne kommer!

Henning Christiansen


1 media contribution

Press/Media: Press / Media

Venstrefløjen vender det blinde øje til bagsiden af indvandringen

Torben Bech Dyrberg


1 item of media coverage

Press/Media: Press / Media

Forsker vil åbne det skjulte internet

Troels Andreasen


1 item of media coverage

Press/Media: Press / Media