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

troels@ruc.dk

Department of People and Technology - Associate Professor
Programming, Logic and Intelligent Systems - Associate Professor
Centre for Big Data
Experience Lab

Person: VIP

Morten Brandrup

Experience Lab

Person

Henning Christiansen

henning@ruc.dk

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-228

Research 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. Mesnard, F. & Stuckey, P. J. (eds.). Cham: Springer, Vol. 11408. p. 94-111 (Lecture Notes in Computer Science, Vol. 11408). (Theoretical Computer Science and General Issues, Vol. 11408).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review