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 2020

Implications of Assessing Student-Driven Projects: A Case Study of Possible Challenges and an Argument for Reflexivity

Pedersen, S. & Hobye, M., 2020, I : Education Sciences. 10, 1

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Some remarks on Hybrid Modal Logic with Propositional Quantfiers

Blackburn, P. R., Braüner, T. & Kofod, J. L., 2020, The Metaphysics of Time. Aalborg Universitetsforlag, (Logic and Philosophy of Time - Themes from Prior, Bind 3).

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningpeer review

Behavioral Complexity as a Computational Material Strategy

Hobye, M. & Ranten, M. F., 10 maj 2019, (Accepteret/In press) I : International Journal of Design. 35 s.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Projekter 2005 2019

Aktiviteter 1999 2020

25th International Symposium on Methodologies for Intelligent Systems

Henning Christiansen (Deltager)
20 maj 202022 maj 2020

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

Big Data - definition, usage and pitfalls

Henrik Bulskov (Oplægsholder)
25 apr. 2019

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Energy-aware software engineering

John Patrick Gallagher (Oplægsholder)
1 nov. 2019

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag


Algoritmerne kommer!

Henning Christiansen


1 Mediebidrag


Forsker vil åbne det skjulte internet

Troels Andreasen


1 element af Mediedækning