Publikationer pr. år
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-228Publikation: 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. Springer , Bind 11408. s. 94 111 s. (Lecture Notes in Computer Science, 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., 2019Publikation: 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 - 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/rapport › Konferencebidrag i proceedings › Forskning › peer review
Projekter 2004 2018
- 10 Afsluttet
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/2016 → 31/12/2018
Projekter: Projekt › Forskning
Automatic Support for Proving Confluence Modulo Equivalence for Constraint Handling Rules
Christiansen, H. & Kirkeby, M. H.
Det Frie Forskningsråd | Natur og Univers
01/11/2015 → 31/12/2018
Projekter: Projekt › Forskning
Kulturportalen, Experience Lab RUC projekt
Jensen, S. S., Laursen, B., Gallagher, J. P., Andreasen, T. & Christiansen, H.
15/08/2014 → 01/02/2017
Projekter: Projekt › Forskning
Italian Drawings
Christiansen, H., Laursen, B., Hansen, M. R. P. & Simonsen, J.
01/02/2014 → 30/06/2016
Projekter: Projekt › Forskning
Interaktiv kunstudstilling: "Italienske bøger" i oplevelsescylinder
Laursen, B., Christiansen, H. & Brandrup, M.
01/03/2013 → 31/12/2013
Projekter: Projekt › Forskning
Aktiviteter 1982 2019
Conference participation with poster presentation and robot demo
Henning Christiansen (Andet), Mads Hobye (Andet), Anja Mølle Lindelof (Andet)5 mar. 2019 → 8 mar. 2019
Aktivitet: Tale eller præsentation › Foredrag 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 begivenhed › Organisation og deltagelse i konference
Workshop on Linguistic Complexity & Natural Language Processing
Henning Christiansen (Arrangør)20 aug. 2018 → 25 aug. 2018
Aktivitet: Deltagelse i eller arrangering af en begivenhed › Organisation 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. 2018 → 6 sep. 2018
Aktivitet: Deltagelse i eller arrangering af en begivenhed › Organisation og deltagelse i konference
7th International Workshop on Confluence
Henning Christiansen (Taler)7 jul. 2018
Aktivitet: Deltagelse i eller arrangering af en begivenhed › Deltagelse i workshop, seminar og kursus
Presse/medie
Italienske tegninger
Henning Christiansen, Hanne Leth Andersen & Bjørn Laursen
06/05/2014
1 element af mediedækning
Presse/medie