Henning Christiansen — Roskilde Universitets forskningsportal

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.

Publikation 1981 2018

52 Konferencebidrag i proceedings
27 Bidrag til bog/antologi
23 Rapport
21 Antologi
40 Mere

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-9

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

Åben adgang

Breathing Life into Familiar Domestic Objects

Christiansen, H., Lindelof, A. M. & Høbye, M., 2018, Proceedings of the 27th IEEE International Symposium on Robot and Human Interactive Communication, Nanjing, China, August 27-31, 2018. IEEE, s. 589-594

Publikation: 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-9

Publikation: 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