Henning Christiansen

ph.d.

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

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

Universitetsvej 1, 10.2
DK-4000 Roskilde
Danmark

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å punkterne.

Publikationer 1981 2019

54 Konferencebidrag i proceedings
27 Bidrag til bog/antologi
23 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

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

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 : 26.International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers. Silva, J. (red.). Cham: Springer, s. 112-130 (Lecture Notes in Computer Science, Bind 11285). (Theoretical Computer Science and General Issues; Nr. 11285).

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review