No photo of Henning Christiansen
  • Universitetsvej 1, 08.2

    DK-4000 Roskilde

    Denmark

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

Personal profile

Keywords

  • 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 1981 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

Robot Gestalts in Staged Performances: Poster abstract

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

Research output: Contribution to conferencePosterResearchpeer-review

Open Access

Towards a Constraint Solver for Proving Confluence with Invariant and Equivalence of Realistic CHR Programs

Christiansen, H. & Kirkeby, M. H., 2019, Functional and Constraint Logic Programming - 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers. Springer , Vol. 11285. p. 112 130 p. (Lecture Notes in Computer Science, Vol. 11285).

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

Projects 2004 2018

Activities 1982 2019

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

Workshop on Linguistic Complexity & Natural Language Processing

Henning Christiansen (Organizer)
20 Aug 201825 Aug 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

7th International Workshop on Confluence

Henning Christiansen (Speaker)
7 Jul 2018

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

Press / Media

Algoritmerne kommer!

Henning Christiansen

02/05/2017

1 media contribution

Press/Media: Press / Media

Algoritmerne kommer!

Henning Christiansen

02/05/2017

1 item of media coverage

Press/Media: Press / Media

Italienske tegninger

Henning Christiansen, Hanne Leth Andersen & Bjørn Laursen

06/05/2014

1 item of media coverage

Press/Media: Press / Media

Det etiske styresystem

Henning Christiansen

04/01/2013

1 item of media coverage

Press/Media: Press / Media

Hvordan finder GPS'en vej?

Henning Christiansen

04/03/2011

1 item of media coverage

Press/Media: Press / Media