Intet billede af Henning Christiansen
  • Universitetsvej 1, 10.2

    DK-4000 Roskilde

    Danmark

1981 …2021

Research output per year

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

Personlig profil

Emneord

  • 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å prikkerne.

Publikation

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. Mesnard, F. & Stuckey, P. J. (red.). Cham: Springer, Bind 11408. s. 94-111 (Lecture Notes in Computer Science, Bind 11408). (Theoretical Computer Science and General Issues, Bind 11408).

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

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

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

Publikation: Bog/antologi/afhandling/rapportRapportForskningpeer review

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

Projekter

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.

01/01/201931/12/2021

Projekter: ProjektForskning

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

Aktiviteter

25th International Symposium on Methodologies for Intelligent Systems

Henning Christiansen (Deltager)

20 maj 202022 maj 2020

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

Præsentation: Danser med robotter

Henning Christiansen (Oplægsholder)

5 sep. 2019

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

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

27th IEEE International Symposium on Robot and Human Interactive Communication

Henning Christiansen (Taler)

27 aug. 201831 aug. 2018

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

Presse/medier

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