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 2018
A Gold Standard to Measure Relative Linguistic Complexity with a Grounded Language Learning Model
Becerra-Bonache, L., Christiansen, H. & Jiménez-López, M. D., 2018, Proceedings of the Workshop on Linguistic Complexity and Natural Language Processing: A workshop at COLING 2018: The 27th International Conference on Computational Linguistics. Becerra-Bonache, L., Jiménez-López, M. D., Martín-Vide, C. & Torrens-Urrutia, A. (red.). Association for Computational Linguistics, s. 1-9Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
Åben adgang
Breathing Life into Familiar Domestic Objects
Christiansen, H., Lindelof, A. M. & Hobye, M., 2018, Proceedings of the 27th IEEE International Symposium on Robot and Human Interactive Communication: Nanjing, China, August 27-31, 2018. IEEE, s. 589-594Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
Confluence and Convergence in Probabilistically Terminating Reduction Systems
Kirkeby, M. H. & Christiansen, H., 10 jul. 2018, Logic-Based Program Synthesis and Transformation: 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers. Fioravanti, F. & Gallagher, J. P. (red.). Lecture Notes in Computer Science: Springer, LNCS, Bind 10855, s. 164-179 15 s. (Lecture Notes in Computer Science, Bind 10855).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
Fil
Confluence in Constraint Handling Rules: A retrospective overview. Extended abstract of an invited talk given at IWC 2018 7th International Workshop on Confluence, July 7th 2018, Oxford, United Kingdom
Christiansen, H. & Kirkeby, M. H., 2018, s. 1-9Publikation: Konferencebidrag › Paper › Forskning
Confluence of CHR revisited: invariants and modulo equivalence [Extended version with proofs]
Christiansen, H. & Kirkeby, M. H., 3 okt. 2018, Computer Science, Roskilde University. 20 s. (Roskilde Universitet. Computer Science. Computer Science Research Report, Bind 153).Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning
Åben adgang
Fil
Projekter 2004 2030
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: 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: Forskning
Interaktiv kunstudstilling: "Italienske bøger" i oplevelsescylinder
Laursen, B., Christiansen, H. & Brandrup, M.
01/03/2013 → …
Projekter: Forskning
Aktiviteter 1982 2018
Præsentation på IDA Universe – Driving IT: Dances with robots
Christiansen, H. (Oplægsholder)2 nov. 2018
Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag
ISMIS 2018, 24th International Symposium on Methodologies for Intelligent Systems
Christiansen, H. (Arrangør)29 okt. 2018 → 31 okt. 2018
Aktivitet: Deltagelse i eller arrangering af en begivenhed › Organisation og deltagelse i konference
Workshop on Linguistic Complexity & Natural Language Processing
Christiansen, H. (Arrangør)20 aug. 2018 → 25 aug. 2018
Aktivitet: Deltagelse i eller arrangering af en begivenhed › Organisation og deltagelse i konference
PLP 2018, The 5th Workshop on Probabilistic Logic Programming
Christiansen, H. (Arrangør)1 sep. 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
Christiansen, H. (Taler), Kirkeby, M. H. (Taler)4 sep. 2018 → 6 sep. 2018
Aktivitet: Deltagelse i eller arrangering af en begivenhed › Organisation og deltagelse i konference
Presse/medie
Italienske tegninger
Henning Christiansen, Hanne Leth Andersen & Bjørn Laursen
06/05/2014
1 element af mediedækning
Presse/medie