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 2018

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. (red.). Association for Computational Linguistics, s. 1-9

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Åben adgang

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: Bidrag til bog/antologi/rapportKonferencebidrag 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

Projekter 2005 2018

Aktiviteter 1999 2018

9th International Joint Conference on Automated Reasoning (Begivenhed)

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

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

Fourteenth International Symposium on Functional and Logic Programming (Begivenhed)

Gallagher, J. P. (Redaktør)

Aktivitet: Redaktionelt arbejde og fagfællebedømmelseRedaktør af tidsskriftForskning

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

Christiansen, H. (Oplægsholder)
2 nov. 2018

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