Research Output per year
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
- Department of People and Technology - Associate Professor
- Programming, Logic and Intelligent Systems - Associate Professor
- Experience Lab
Person: VIP
Torben Braüner
- Department of People and Technology - Associate Professor
- Programming, Logic and Intelligent Systems - Associate Professor
Person: VIP
Henrik Bulskov
- Department of People and Technology - Associate Professor
- Programming, Logic and Intelligent Systems - Associate Professor
Person: VIP
Research Output 2006 2019
Behavioral Complexity as a Computational Material Strategy
Hobye, M. & Ranten, M. F., 10 May 2019, (Accepted/In press) In : International Journal of Design. 35 p.Research output: Contribution to journal › Journal article › Research › peer-review
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
Challenging the pitfalls of traditionalist quagmire: … in between ideals of progressive teaching and learning and obscure pitfalls of traditional university practice.
Pedersen, S. & Hobye, M., 2019.Research output: Contribution to conference › Paper › Research › peer-review
Projects 2005 2019
- 22 Finished
INGRACOMLEN: Algoritmos de inferencia gramatical para medir la complejidad relativa de las lenguas naturales (Grammatical Inference Algorithms for measuring the relative complexity of natural languages)
Jiménez López, M. D., Christiansen, H., Becerra-Bonache, L., Martín Vide, C., Jacquenet, F., Batista Galván, M., Torrens Urrutia, A. & Loukanova, R.
01/01/2016 → 31/12/2018
Project: Research
Automatic Support for Proving Confluence Modulo Equivalence for Constraint Handling Rules
Christiansen, H. & Kirkeby, M. H.
Det Frie Forskningsråd | Natur og Univers
01/11/2015 → 31/12/2018
Project: Research
Kulturportalen, Experience Lab RUC projekt
Jensen, S. S., Laursen, B., Gallagher, J. P., Andreasen, T. & Christiansen, H.
15/08/2014 → 01/02/2017
Project: Research
Activities 1999 2019
Conference participation with poster presentation and robot demo
Henning Christiansen (Other), Mads Hobye (Other), Anja Mølle Lindelof (Other)5 Mar 2019 → 8 Mar 2019
Activity: Talk or presentation › Lecture and oral contribution
Big Data
Henrik Bulskov (Speaker)1 Apr 2019
Activity: Talk or presentation › Lecture and oral contribution
GRLMC-Research Group on Mathematical Linguistics, Departament de Filologies Romàniques, Facultat de Lletres, Universitat Rovira i Virgili (External organisation)
Henning Christiansen (Member)9 May 2019
Activity: Membership › Membership in review committee
Press / Media
Venstrefløjen vender det blinde øje til bagsiden af indvandringen
02/04/2016
1 item of media coverage
Press/Media: Press / Media