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.

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

Research Output 2006 2019

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

Blackburn, P. R., Braüner, T. & Polyanskaya, I., 2019, .... Springer Nature, (Language, Cognition, and Mind).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

A Gold Standard to Measure Relative Linguistic Complexity with a Grounded Language Learning Model

Becerra-Bonache, L., Christiansen, H. & Jiménez-López, M. D., 2018, Proceedings of the Workshop on Linguistic Complexity and Natural Language Processing: A workshop at COLING 2018: The 27th International Conference on Computational Linguistics. Becerra-Bonache, L., Jiménez-López, M. D., Martín-Vide, C. & Torrens-Urrutia, A. (eds.). Association for Computational Linguistics, p. 1-9

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access

A logical investigation of false-belief tasks

Braüner, T., Polyanskaya, I. & Blackburn, P. R., 2018, (Accepted/In press) Proceedings of the 40th Annual Meeting of the Cognitive Science Society, Madison, Wisconsin, USA.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Projects 2005 2018

Activities 1999 2018

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

Christiansen, H. (Speaker)
2 Nov 2018

Activity: Talk or presentationLecture and oral contribution

ISMIS 2018, 24th International Symposium on Methodologies for Intelligent Systems

Christiansen, H. (Organizer)
29 Oct 201831 Oct 2018

Activity: Participating in or organising an eventOrganisation and participation in conference

9th International Joint Conference on Automated Reasoning (Event)

Braüner, T. (Member)
14 Jul 201817 Jul 2018

Activity: MembershipMembership in committee, council, board

Press / Media

Algoritmerne kommer!

Henning Christiansen

02/05/2017

1 media contribution

Press/Media: Press / Media

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

Torben Bech Dyrberg

02/04/2016

1 item of media coverage

Press/Media: Press / Media

Forsker vil åbne det skjulte internet

Troels Andreasen

11/02/2015

1 item of media coverage

Press/Media: Press / Media