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.

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

Profiles

Troels Andreasen

troels@ruc.dk

Department of People and Technology - Associate Professor
Programming, Logic and Intelligent Systems - Associate Professor
Experience Lab
Designing Human Technologies

Person: VIP

Torben Braüner

torben@ruc.dk

Department of People and Technology - Associate Professor
Programming, Logic and Intelligent Systems - Associate Professor

Person: VIP

Henning Christiansen

henning@ruc.dk

Department of People and Technology - Professor
Programming, Logic and Intelligent Systems - Professor
Experience Lab
Designing Human Technologies

Person: VIP

Research Output 2006 2019

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

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

Research output: Contribution to journal › Journal article › Research › peer-review

HCML: Write you own chatbot in the HCML script language and run in an interpreter written in Processing

Christiansen, H., 2019

Research output: Other contribution › Net publication - Internet publication › Communication

Linguistic Recursion and Danish Discourse Particles: Language in Children with Autism Spectrum Disorder

Blackburn, P. R., Braüner, T. & Polyanskaya, I., 2019, Coherence and Incoherence, From Psychology to Linguistics and Back. Springer Nature, (Language, Cognition, and Mind).

Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review