Henning Christiansen

ph.d.

Professor, Institut for Mennesker og Teknologi
Professor, Programmering, logik og intelligente systemer
Experience Lab

Fastnet+45 46 74 38 32
E-mailhenning@ruc.dk
Webstedhttp://www.ruc.dk/~henning

Universitetsvej 1, 10.2
DK-4000 Roskilde
Danmark

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

54 Konferencebidrag i proceedings
27 Bidrag til bog/antologi
24 Rapport
21 Antologi
42 Mere

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 tidsskrift › Tidsskriftartikel › Forskning › peer 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/rapport › Konferencebidrag i proceedings › Forskning › peer 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/rapport › Rapport › Forskning › peer review

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

Christiansen, H., 2019

Publikation: Andet › Udgivelser på nettet - Net-publikation › Formidling

Robot Gestalts in Staged Performances: Poster abstract

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

Publikation: Konferencebidrag › Poster › Forskning › peer review

Åben adgang

Projekter

1 Igangværende
10 Afsluttet

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/2019 → 31/12/2021

Projekter: Projekt › Forskning