No photo of Henning Christiansen
  • Universitetsvej 1, 08.2

    DK-4000 Roskilde

    Denmark

1981 …2030
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 2018

A Gold Standard to Measure Relative Linguistic Complexity with a Grounded Language Learning Model

Becerra-Bonache, L., Christiansen, H. & Jiménez-López, M. D., 2018, Proceedings of the Workshop on Linguistic Complexity and Natural Language Processing: A workshop at COLING 2018: The 27th International Conference on Computational Linguistics. Becerra-Bonache, L., Jiménez-López, M. D., Martín-Vide, C. & Torrens-Urrutia, A. (eds.). Association for Computational Linguistics, p. 1-9

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

Open Access

Breathing Life into Familiar Domestic Objects

Christiansen, H., Lindelof, A. M. & Hobye, M., 2018, Proceedings of the 27th IEEE International Symposium on Robot and Human Interactive Communication: Nanjing, China, August 27-31, 2018. IEEE, p. 589-594

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

Confluence and Convergence in Probabilistically Terminating Reduction Systems

Kirkeby, M. H. & Christiansen, H., 10 Jul 2018, Logic-Based Program Synthesis and Transformation: 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers. Fioravanti, F. & Gallagher, J. P. (eds.). Lecture Notes in Computer Science: Springer, LNCS, Vol. 10855, p. 164-179 15 p. (Lecture Notes in Computer Science, Vol. 10855).

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

File

Confluence of CHR revisited: invariants and modulo equivalence [Extended version with proofs]

Christiansen, H. & Kirkeby, M. H., 3 Oct 2018, Computer Science, Roskilde University. 20 p. (Roskilde Universitet. Computer Science. Computer Science Research Report, Vol. 153).

Research output: Book/ReportReportResearch

Open Access
File

Projects 2004 2030

Activities 1982 2018

Præsentation på IDA Universe – Driving IT: Dances with robots

Christiansen, H. (Speaker)
2 Nov 2018

Activity: Talk or presentationLecture and oral contribution

ISMIS 2018, 24th International Symposium on Methodologies for Intelligent Systems

Christiansen, H. (Organizer)
29 Oct 201831 Oct 2018

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

Workshop on Linguistic Complexity & Natural Language Processing

Christiansen, H. (Organizer)
20 Aug 201825 Aug 2018

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

PLP 2018, The 5th Workshop on Probabilistic Logic Programming

Christiansen, H. (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

Christiansen, H. (Speaker), Kirkeby, M. H. (Speaker)
4 Sep 20186 Sep 2018

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

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