Programmering, logik og intelligente systemer

Organisationsprofil

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.

Netværk Nyligt eksternt samarbejde på landeniveau. Dyk ned i detaljerne ved at klikke på punkterne.

Publikation 2006 2018

A logical investigation of false-belief tasks

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

Publikation: Kapitel i bog/rapport/konferenceprocesKonferencebidrag i proceedingsForskningpeer review

An iterative approach to precondition inference using constrained Horn clauses

Kafle, B., Gallagher, J. P., Gange, G., Schachte, P., Søndergaard, H. & Stuckey, P. J. jul. 2018 I : Theory and Practice of Logic Programming. 18, 3-4, s. 553-570

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

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

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Projekter 2005 2018

Aktiviteter 1999 2018

9th International Joint Conference on Automated Reasoning (Begivenhed)

Braüner, T. (Medlem)
14 jul. 201817 jul. 2018

Aktivitet: Medlemskab af udvalg, råd og nævn

MRC 2018

Christiansen, H. (Deltager)
9 jul. 201819 jul. 2018

Aktivitet: Organisation og deltagelse i konference

Presse/medie

Algoritmerne kommer!

Henning Christiansen

02/05/2017

1 mediebidrag

Presse/medie

Forsker vil åbne det skjulte internet

Troels Andreasen

11/02/2015

1 element af mediedækning

Presse/medie