Intet foto af Henning Christiansen
  • Universitetsvej 1, 08.2

    DK-4000 Roskilde

    Danmark

1981 …2030
Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.

Personlig profil

Keywords

  • Datalogi, IT
  • Analyse af Naturligt Sprog
  • Computerbaseret informationssøgning
  • Data- og vidensbaser
  • Informationssøgning
  • Intelligent informationssøgning
  • Kunstig intelligens
  • Logikprogrammering
  • Metodik for undervisning i Datalogi
  • Pædagogik, Læring, Uddannelse
  • Erasmus
  • Socrates
  • Studenterudveksling

Publikationsnetværk Nyligt eksternt samarbejde på landeniveau. Dyk ned i detaljerne ved at klikke på punkterne.

Publikation 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. (red.). Association for Computational Linguistics, s. 1-9

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Åben adgang

Breathing Life into Familiar Domestic Objects

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

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer 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. (red.). Lecture Notes in Computer Science: Springer, LNCS, Bind 10855, s. 164-179 15 s. (Lecture Notes in Computer Science, Bind 10855).

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Fil

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

Christiansen, H. & Kirkeby, M. H., 3 okt. 2018, Computer Science, Roskilde University. 20 s. (Roskilde Universitet. Computer Science. Computer Science Research Report, Bind 153).

Publikation: Bog/antologi/afhandling/rapportRapportForskning

Åben adgang
Fil

Projekter 2004 2030

Aktiviteter 1982 2018

WFLP 2018, The 26th International Workshop on Functional and Logic Programming

Christiansen, H. (Taler), Kirkeby, M. H. (Taler)
6 sep. 2018

Aktivitet: Deltagelse i eller arrangering af en begivenhedDeltagelse i workshop, seminar og kursus

LOPSTR 2018 -28th International Symposium on Logic-Based Program Synthesis and Transformation

Christiansen, H. (Taler), Kirkeby, M. H. (Taler)
4 sep. 20186 sep. 2018

Aktivitet: Deltagelse i eller arrangering af en begivenhedOrganisation og deltagelse i konference

PLP 2018, The 5th Workshop on Probabilistic Logic Programming

Christiansen, H. (Arrangør)
1 sep. 2018

Aktivitet: Deltagelse i eller arrangering af en begivenhedOrganisation og deltagelse i konference

Workshop on Linguistic Complexity & Natural Language Processing

Christiansen, H. (Arrangør)
20 aug. 201825 aug. 2018

Aktivitet: Deltagelse i eller arrangering af en begivenhedOrganisation og deltagelse i konference

27th IEEE International Symposium on Robot and Human Interactive Communication

Christiansen, H. (Taler)
27 aug. 201831 aug. 2018

Aktivitet: Deltagelse i eller arrangering af en begivenhedOrganisation og deltagelse i konference

Presse/medie

Algoritmerne kommer!

Henning Christiansen

02/05/2017

1 mediebidrag

Presse/medie

Algoritmerne kommer!

Henning Christiansen

02/05/2017

1 element af mediedækning

Presse/medie

Italienske tegninger

Henning Christiansen, Hanne Leth Andersen & Bjørn Laursen

06/05/2014

1 element af mediedækning

Presse/medie

Det etiske styresystem

Henning Christiansen

04/01/2013

1 element af mediedækning

Presse/medie

Hvordan finder GPS'en vej?

Henning Christiansen

04/03/2011

1 element af mediedækning

Presse/medie