Intet foto af Henning Christiansen
  • Universitetsvej 1, 08.2

    DK-4000 Roskilde

    Danmark

1981 …2019
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.

Publikationer 1981 2019

Confluence and convergence modulo equivalence in probabilistically terminating reduction systems

Kirkeby, M. H. & Christiansen, H., 2019, I : International Journal of Approximate Reasoning. 105, s. 217-228

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer 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 , Bind 11408. s. 94 111 s. (Lecture Notes in Computer Science, Bind 11408).

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

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

Christiansen, H., 2019

Publikation: AndetUdgivelser på nettet - Net-publikationFormidling

Robot Gestalts in Staged Performances: Poster abstract

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

Publikation: KonferencebidragPosterForskningpeer review

Åben adgang

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 , Bind 11285. s. 112 130 s. (Lecture Notes in Computer Science, Bind 11285).

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

Projekter 2004 2018

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.

01/01/201631/12/2018

Projekter: ProjektForskning

Italian Drawings

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

01/02/201430/06/2016

Projekter: ProjektForskning

Interaktiv kunstudstilling: "Italienske bøger" i oplevelsescylinder

Laursen, B., Christiansen, H. & Brandrup, M.

01/03/201331/12/2013

Projekter: ProjektForskning

Aktiviteter 1982 2019

Conference participation with poster presentation and robot demo

Henning Christiansen (Andet), Mads Hobye (Andet), Anja Mølle Lindelof (Andet)
5 mar. 20198 mar. 2019

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

PLP 2018, The 5th Workshop on Probabilistic Logic Programming

Henning Christiansen (Arrangør)
1 sep. 2018

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

Workshop on Linguistic Complexity & Natural Language Processing

Henning Christiansen (Arrangør)
20 aug. 201825 aug. 2018

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

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

Henning Christiansen (Taler), Maja Hanne Kirkeby (Taler)
4 sep. 20186 sep. 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