Organisationsprofil

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.

Profiler

Troels Andreasen

troels@ruc.dk

Person: VIP

Torben Braüner

torben@ruc.dk

Institut for Mennesker og Teknologi - Lektor
Programmering, logik og intelligente systemer - Lektor

Person: VIP

Henning Christiansen

henning@ruc.dk

Institut for Mennesker og Teknologi - Professor
Programmering, logik og intelligente systemer - Professor
Experience Lab
Designing Human Technologies

Person: VIP

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 tidsskrift › Tidsskriftartikel › Forskning › peer 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 tidsskrift › Tidsskriftartikel › Forskning › peer 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/rapport › Konferencebidrag i proceedings › Forskning › peer review