No photo of Henning Christiansen
  • Universitetsvej 1, 10.2

    DK-4000 Roskilde


1981 …2021

Research output per year

If you made any changes in Pure these will be visible here soon.

Personal profile


  • Computer science, IT
  • Natural Language Analysis
  • Computer assisted information retrieval
  • Data and Knowledge Bases
  • Information seeking
  • Intelligent information retrieval
  • Artificial intelligence
  • Logic programming
  • Methodology for teaching Computer Science
  • Education, Learning, Training
  • Erasmus
  • Socrates
  • International student exchanges

Publication network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

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

Flexible Query Answering Systems: 13th International Conference, FQAS 2019, Amantea, Italy, July 2-5, 2019, Proceedings

Cuzzocrea, A. (ed.), Greco, S. (ed.), Legind Larsen, H. (ed.), Sacca, D. (ed.), Andreasen, T. (ed.) & Christiansen, H. (ed.), 2019, Springer. 414 p. (Lecture notes in artificial intelligence; No. 11529).

Research output: Book/ReportReportResearchpeer-review

HCML: Write your 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

Robot Gestalts in Staged Performances: Poster abstract

Christiansen, H., Hobye, M. & Lindelof, A. M., Mar 2019.

Research output: Contribution to conferencePosterResearchpeer-review

Open Access


NorDigHealth: Novel Regional Digital Solutions for Improving Health

Barrett, B. A., Holen, M., Tvilsted, S. S., Hartvig, D. L., Fahse, F., Krauth, H. H., Seger, K., Burmeister, E., Jernskæg, D. R., Kjær, T. W., Sørensen, T. L., Bulskov, H., Christiansen, H. & Andreasen, T.


Project: Research

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.


Project: Research

Italian Drawings

Christiansen, H., Laursen, B., Hansen, M. R. P. & Simonsen, J.


Project: Research


25th International Symposium on Methodologies for Intelligent Systems

Henning Christiansen (Participant)

20 May 202022 May 2020

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

Præsentation: Danser med robotter

Henning Christiansen (Speaker)

5 Sep 2019

Activity: Talk or presentationLecture 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

The 26th International Workshop on Functional and Logic Programming

Henning Christiansen (Speaker), & Maja Hanne Kirkeby (Speaker)

6 Sep 2018

Activity: Participating in or organising an eventParticipation in workshop, seminar, course

Press / Media

Algoritmerne kommer!

Henning Christiansen


1 Media contribution

Press/Media: Press / Media

Algoritmerne kommer!

Henning Christiansen


1 item of Media coverage

Press/Media: Press / Media

Italienske tegninger

Henning Christiansen, Hanne Leth Andersen & Bjørn Laursen


1 item of Media coverage

Press/Media: Press / Media

Det etiske styresystem

Henning Christiansen


1 item of Media coverage

Press/Media: Press / Media

Hvordan finder GPS'en vej?

Henning Christiansen


1 item of Media coverage

Press/Media: Press / Media