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
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Research Output 1981 2017
Flexible Query Answering Systems: 12th International Conference, FQAS 2017, London, UK, June 21-22, 2017. Proceedings
Christiansen, H. (ed.), Jaudoin, H. (ed.), Chountas, P. (ed.), Andreasen, T. (ed.) & Legind Larsen, H. (ed.) May 2017 Cham, Switzerland: Springer. 285 p. (Lecture notes in artificial intelligence, Vol. 10333).Research output: Book/Report › Anthology › Research › peer-review
Interactive Installations for Spatial Access to Artistic Sketchbooks
Christiansen, H. & Laursen, B. 2017 In : EAI Endrosed Trasactions on Creative Technologies. 4, 12, 8 p., e3Research output: Contribution to journal › Journal article › Research › peer-review
Open Access
On proving confluence modulo equivalence for Constraint Handling Rules
Christiansen, H. & Kirkeby, M. H. 2017 In : Formal Aspects of Computing. 29, 1, p. 57-95Research output: Contribution to journal › Journal article › Research › peer-review
Open Access
Partiality and Underspecification in Information, Languages, and Knowledge
Christiansen, H. (ed.), Jiménez-López, M. D. (ed.), Loukanova, R. (ed.) & Moss, L. (ed.) 2017 Cambridge Scholars Publishing. 360 p.Research output: Book/Report › Anthology › Research › peer-review
Widening the Experience of Artistic Sketchbooks
Christiansen, H. & Laursen, B. 2017 Interactivity, Game Creation, Design, Learning, and Innovation: 5th International Conference, ArtsIT 2016, and First International Conference, DLI 2016, Esbjerg, Denmark, May 2–3, 2016, Proceedings. Brooks, A. L. & Brooks, E. (eds.). Cham: Springer, p. 220-227 (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Vol. 196).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
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 → 30/09/2018
Project: Research
Interaktiv kunstudstilling: "Italienske bøger" i oplevelsescylinder
Laursen, B., Christiansen, H. & Brandrup, M.
01/03/2013 → …
Project: Research
Activities 1982 2018
Workshop on Linguistic Complexity & Natural Language Processing
Christiansen, H. (Participant)20 Aug 2018 → 25 Aug 2018
Activity: Organisation and participation in conference
MRC 2018
Christiansen, H. (Participant)9 Jul 2018 → 19 Jul 2018
Activity: Organisation and participation in conference
International Workshop Modelling and Reasoning in Context
Christiansen, H. (Organizer)2017
Activity: Organisation and participation in conference
ICAART 2017 - International Conference on Agents and Artificial Intelligence
Christiansen, H. (Organizer)2017
Activity: Organisation and participation in conference
LOPSTR 2017 - International Symposium on Logic-Based Program Synthesis and Transformation
Christiansen, H. (Organizer)2017
Activity: 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