Research Output per year
Organization profile
Organisation profile
An experimental laboratory for research on intelligent technologies, immersive experience and complex knowledge forms. The interdisciplinary team of researchers collaborate on a daily basis to make this lab a place for experiments, fun and serious matters.
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
Morten Brandrup
- Department of People and Technology - PhD Fellow
- User-Driven IT Innovation - PhD Fellow
- Experience Lab
Person: VIP
Henning Christiansen
- Department of People and Technology - Professor
- Programming, Logic and Intelligent Systems - Professor
- Experience Lab
Person: VIP
Research Output 2017 2019
Confluence and convergence modulo equivalence in probabilistically terminating reduction systems
Kirkeby, M. H. & Christiansen, H., 2019, In : International Journal of Approximate Reasoning. 105, p. 217-228Research output: Contribution to journal › Journal article › Research › peer-review
Confluence of CHR Revisited: Invariants and Modulo Equivalence
Christiansen, H. & Kirkeby, M. H., 2019, Logic-Based Program Synthesis and Transformation - 28th International.Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers. Springer , Vol. 11408. p. 94 111 p. (Lecture Notes in Computer Science, Vol. 11408).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
HCML: Write you own chatbot in the HCML script language and run in an interpreter written in Processing
Christiansen, H., 2019Research output: Other contribution › Net publication - Internet publication › Communication
Activities 2018 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
PLP 2018, The 5th Workshop on Probabilistic Logic Programming
Henning Christiansen (Organizer)1 Sep 2018
Activity: Participating in or organising an event › Organisation and participation in conference
LOPSTR 2018 -28th International Symposium on Logic-Based Program Synthesis and Transformation
Henning Christiansen (Speaker), Maja Hanne Kirkeby (Speaker)4 Sep 2018 → 6 Sep 2018
Activity: Participating in or organising an event › Organisation and participation in conference