Publikationer pr. år
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.
Publikationsnetværk
Nyligt eksternt samarbejde på landeniveau. Dyk ned i detaljerne ved at klikke på punkterne.
Profiler
Troels Andreasen
- Institut for Mennesker og Teknologi - Lektor
- Programmering, logik og intelligente systemer - Lektor
- Experience Lab
Person: VIP
Publikationer 2006 2019
Behavioral Complexity as a Computational Material Strategy
Hobye, M. & Ranten, M. F., 10 maj 2019, (Accepteret/In press) I : International Journal of Design. 35 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Being Deceived: Information Asymmetry in Second-Order False Belief Tasks
Braüner, T., Blackburn, P. R. & Polyanskaya, I., 2019, (Accepteret/In press) I : Topics in Cognitive Science.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › 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.Publikation: Konferencebidrag › Paper › Forskning › peer review
Projekter 2005 2019
- 22 Afsluttet
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
Projekter: Projekt › Forskning
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
Projekter: Projekt › Forskning
Kulturportalen, Experience Lab RUC projekt
Jensen, S. S., Laursen, B., Gallagher, J. P., Andreasen, T. & Christiansen, H.
15/08/2014 → 01/02/2017
Projekter: Projekt › Forskning
Aktiviteter 1999 2019
Conference participation with poster presentation and robot demo
Henning Christiansen (Andet), Mads Hobye (Andet), Anja Mølle Lindelof (Andet)5 mar. 2019 → 8 mar. 2019
Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
Big Data
Henrik Bulskov (Oplægsholder)1 apr. 2019
Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
Logic and Cognition Pre-Conference Workshop
Torben Braüner (Arrangør), Sujata Ghosh (Arrangør)2 mar. 2019
Aktivitet: Deltagelse i eller arrangering af en begivenhed › Organisation og deltagelse i konference
Presse/medie
Venstrefløjen vender det blinde øje til bagsiden af indvandringen
02/04/2016
1 element af mediedækning
Presse/medie