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 2019
Confluence and convergence modulo equivalence in probabilistically terminating reduction systems
Kirkeby, M. H. & Christiansen, H., 2019, In : International Journal of Approximate Reasoning. 105, p. 217-228Research output: Contribution to journal › Journal article › Research › 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. Mesnard, F. & Stuckey, P. J. (eds.). Cham: Springer, Vol. 11408. p. 94-111 (Lecture Notes in Computer Science, Vol. 11408). (Theoretical Computer Science and General Issues, Vol. 11408).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
HCML: Write you own chatbot in the HCML script language and run in an interpreter written in Processing
Christiansen, H., 2019Research output: Other contribution › Net publication - Internet publication › Communication
Robot Gestalts in Staged Performances: Poster abstract
Christiansen, H., Hobye, M. & Lindelof, A. M., Mar 2019.Research output: Contribution to conference › Poster › Research › peer-review
Open Access
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 , Vol. 11285. p. 112 130 p. (Lecture Notes in Computer Science, Vol. 11285).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Projects 2004 2018
- 10 Finished
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
Kulturportalen, Experience Lab RUC projekt
Jensen, S. S., Laursen, B., Gallagher, J. P., Andreasen, T. & Christiansen, H.
15/08/2014 → 01/02/2017
Project: Research
Italian Drawings
Christiansen, H., Laursen, B., Hansen, M. R. P. & Simonsen, J.
01/02/2014 → 30/06/2016
Project: Research
Interaktiv kunstudstilling: "Italienske bøger" i oplevelsescylinder
Laursen, B., Christiansen, H. & Brandrup, M.
01/03/2013 → 31/12/2013
Project: Research
Activities 1982 2019
GRLMC-Research Group on Mathematical Linguistics, Departament de Filologies Romàniques, Facultat de Lletres, Universitat Rovira i Virgili (External organisation)
Henning Christiansen (Member)9 May 2019
Activity: Membership › Membership in review committee
Conference participation with poster presentation and robot demo
Henning Christiansen (Other), Mads Hobye (Other), Anja Mølle Lindelof (Other)5 Mar 2019 → 8 Mar 2019
Activity: Talk or presentation › Lecture and oral contribution
Workshop on Linguistic Complexity & Natural Language Processing
Henning Christiansen (Organizer)20 Aug 2018 → 25 Aug 2018
Activity: Participating in or organising an event › Organisation and participation in conference
Præsentation på IDA Universe – Driving IT: Dances with robots
Henning Christiansen (Speaker)2 Nov 2018
Activity: Talk or presentation › Lecture and oral contribution
MRC 2018
Henning Christiansen (Organizer)9 Jul 2018 → 19 Jul 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