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.
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Profiles
Troels Andreasen
- Programming, Logic and Intelligent Systems - Associate Professor
- Designing Human Technologies
- Department of People and Technology - Associate Professor
- Experience Lab
Person: VIP
Nina Boulus-Rødje
- Department of People and Technology - Assistant professor
- User-Driven IT Innovation - Assistant professor
Person: VIP
Torben Braüner
- Programming, Logic and Intelligent Systems - Associate Professor
- Department of People and Technology - Associate Professor
Person: VIP
Research Output 2006 2018
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 proceeding › Article in proceedings
Functional and Logic Programming - 14th International Symposium (FLOPS 2018): Nagoya, Japan, May 9-11, 2018
Gallagher, J. P. (ed.) & Sulzmann, M. (ed.) Apr 2018 Springer. (Lecture Notes in Computer Science, Vol. 10818).Research output: Book/Report › Anthology
Many-Valued Hybrid Logic
Hansen, J. U., Bolander, T. & Braüner, T. 2018 In : Journal of Logic and Computation.Research output: Contribution to journal › Journal article
Projects 2005 2018
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 → 30/09/2018
Project: Research
Hybrid-Logical Proofs at Work in Cognitive Psychology
Braüner, T., Blackburn, P. R. & Polyanskaya, I.
01/01/2014 → 25/09/2018
Project: Research
Activities 1999 2018
MRC 2018
Christiansen, H. (Participant)9 Jul 2018 → 19 Jul 2018
Activity: Organisation and participation in conference
9th International Joint Conference on Automated Reasoning (Event)
Braüner, T. (Member)14 Jul 2018 → 17 Jul 2018
Activity: Membership in committee, council, board
25th Workshop on Logic, Language, Information and Computation (Event)
Braüner, T. (Member)24 Jul 2018 → 27 Jul 2018
Activity: Membership in committee, council, board
Press / Media
Venstrefløjen vender det blinde øje til bagsiden af indvandringen
02/04/2016
1 item of media coverage
Press/Media: Press / Media