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. Springer , Vol. 11408. p. 94 111 p. (Lecture Notes in Computer Science, Vol. 11408).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

HCML: Write you own chatbot in the HCML script language and run in an interpreter written in Processing

Christiansen, H., 2019

Research output: Other contributionNet publication - Internet publicationCommunication

Activities 2018 2019

  • 5 Organisation and participation in conference
  • 2 Participation in workshop, seminar, course
  • 2 Lecture and oral contribution

Conference participation with poster presentation and robot demo

Henning Christiansen (Other), Mads Hobye (Other), Anja Mølle Lindelof (Other)
5 Mar 20198 Mar 2019

Activity: Talk or presentationLecture and oral contribution

PLP 2018, The 5th Workshop on Probabilistic Logic Programming

Henning Christiansen (Organizer)
1 Sep 2018

Activity: Participating in or organising an eventOrganisation 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 20186 Sep 2018

Activity: Participating in or organising an eventOrganisation and participation in conference