Research Output per year
Personal profile
Keywords
- Computer science, IT
- Natural Language Analysis
- Computer assisted information retrieval
- Data and Knowledge Bases
- Information seeking
- Intelligent information retrieval
- Artificial intelligence
- Logic programming
- Methodology for teaching Computer Science
- Education, Learning, Training
- Erasmus
- Socrates
- International student exchanges
Publication network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Research Output 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. (eds.). Association for Computational Linguistics, p. 1-9Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Open Access
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, p. 589-594Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › 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. (eds.). Lecture Notes in Computer Science: Springer, LNCS, p. 164-179 15 p. (Lecture Notes in Computer Science, Vol. 10855).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
File
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, p. 1-9Research output: Contribution to conference › Paper › Research
Confluence of CHR revisited: invariants and modulo equivalence [Extended version with proofs]
Christiansen, H. & Kirkeby, M. H., 3 Oct 2018, Roskilde: Roskilde Universitet. 20 p. (Roskilde Universitet. Computer Science. Computer Science Research Report, Vol. 153).Research output: Book/Report › Report › Research
Open Access
File
Projects 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
Project: Research
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
Project: Research
Interaktiv kunstudstilling: "Italienske bøger" i oplevelsescylinder
Laursen, B., Christiansen, H. & Brandrup, M.
01/03/2013 → …
Project: Research
Activities 1982 2018
Præsentation på IDA Universe – Driving IT: Dances with robots
Christiansen, H. (Speaker)2 Nov 2018
Activity: Talk or presentation › Lecture and oral contribution
ISMIS 2018, 24th International Symposium on Methodologies for Intelligent Systems
Christiansen, H. (Organizer)29 Oct 2018 → 31 Oct 2018
Activity: Participating in or organising an event › Organisation and participation in conference
International Workshop on Confluence
Christiansen, H. (Speaker)7 Jul 2018
Activity: Participating in or organising an event › Participation in workshop, seminar, course
Workshop on Linguistic Complexity & Natural Language Processing
Christiansen, H. (Organizer)20 Aug 2018 → 25 Aug 2018
Activity: Participating in or organising an event › Organisation and participation in conference
LOPSTR 2018 -28th International Symposium on Logic-Based Program Synthesis and Transformation
Christiansen, H. (Speaker), Kirkeby, M. H. (Speaker)4 Sep 2018 → 6 Sep 2018
Activity: Participating in or organising an event › Organisation and participation in conference
Press / Media
Italienske tegninger
Henning Christiansen, Hanne Leth Andersen & Bjørn Laursen
06/05/2014
1 item of media coverage
Press/Media: Press / Media