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.

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 journalJournal articleResearchpeer-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 proceedingArticle in proceedingsResearchpeer-review

Deductive Querying of Natural Logic Bases

Andreasen, T., Bulskov, H., Anker Jensen, P. & Nilsson, J. F., 2019.

Research output: Contribution to conferencePaperResearchpeer-review

Activities 2018 2019