No photo of Henning Christiansen
  • Universitetsvej 1, 08.2

    DK-4000 Roskilde

    Denmark

1981 …2030
If you made any changes in Pure these will be visible here soon.

Research Output 1981 2018

2018

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, Vol. 10855, p. 164-179 15 p. (Lecture Notes in Computer Science, Vol. 10855).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

File
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/ReportAnthologyResearchpeer-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., e3

Research output: Contribution to journalJournal articleResearchpeer-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-95

Research output: Contribution to journalJournal articleResearchpeer-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/ReportAnthologyResearchpeer-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 proceedingArticle in proceedingsResearchpeer-review

2016

HIC: An interactive image classification system based on supervised machine learning

Christiansen, H. 2016

Research output: Other contributionNet publication - Internet publicationEducation

2015

Confluence Modulo Equivalence in Constraint Handling Rules

Christiansen, H. & Kirkeby, M. H. 2015 Logic-Based Program Synthesis and Transformation: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers. Proietti, M. & Seki, H. (eds.). p. 41-58 (Lecture Notes in Computer Science, Vol. 8981).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File

Flexible Query Answering Systems 2015: Proceedings of the 11th International Conference FQAS 2015, Cracow, Poland, October 26-28, 2015

Andreasen, T. (ed.), Christiansen, H. (ed.), Kacprzyk, J. (ed.), Larsen, H. L. (ed.), Pasi, G. (ed.), Pivert, O. (ed.), De Tré, G. (ed.), Vila, M. A. (ed.), Yazici, A. (ed.) & Zadrozny, S. (ed.) 2015 Heidelberg: Springer. (Advances in Intelligent Systems and Computing, Vol. 4000).

Research output: Book/ReportAnthologyResearchpeer-review

Modeling and Using Context: 9th International and Interdisciplinary Conference, CONTEXT 2015, Lanarca, Cyprus, November 2-6,2015. Proceedings

Christiansen, H. (ed.), Stojanovic, I. (ed.) & Papadopoulos, G. A. (ed.) 2015 Cham: Springer. (Lecture notes in artificial intelligence, Vol. 9405).

Research output: Book/ReportAnthologyResearchpeer-review

Ontology-Based Role Association Networks for Visualizing Trends in Political Debate

Andreasen, T., Christiansen, H. & Eberholst, M. K. 2015 Modeling and Using Context: 9th International and Interdisciplinary Conference, CONTEXT 2015, Lanarca, Cyprus, November 2-6,2015. Proceedings. Christiansen, H., Stojanovic, I. & Papadopoulos, G. A. (eds.). Springer, p. 477-482 (Lecture notes in artificial intelligence, Vol. 9405).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Tracing Shifts in Emotions in Streaming Social Network Data

Andreasen, T., Christiansen, H. & Theil have, C. 2015 Foundations of Intelligent Systems: 22nd International Symposium, ISMIS 2015, Lyon, France, October 21-23, 2015, Proceedings. Esposito, F., Pivert, O., Hacid, M-S., Rás, Z. W. & Ferilli, S. (eds.). Springer, p. 280-289 (Lecture Notes in Computer Science, Vol. 9384).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

VISKBOOK by Laursen and Christiansen: Virtual sketchbooks, what and why

Christiansen, H. & Laursen, B. 2015

Research output: Other contributionNet publication - Internet publicationCommunication

2014

Confluence Modulo Equivalence in Constraint Handling Rules

Christiansen, H. & Kirkeby, M. H. 2014 Logic-Based Program Synthesis and Transformation: Preliminary Proceedings of the 24th International Symposium, LOPSTR 2014 Canterbury (UK), September 9–11, 2014. Proietti, M. & Seki, H. (eds.). Istituto di Analisi dei Sistemi ed Informatica. Consiglio Nazionale delle Ricerche, p. 38-52 (Collana dei rapporti dell'Istituto di analisi dei sistemi ed informatica ).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Constraint-based Word Segmentation for Chinese

Christiansen, H. & Bo, L. 2014 Constraints and Language. Blache, P., Christiansen, H., Dahl, V., D. D. & Villadsen, J. (eds.). Cambridge Scholars Publishing, p. 237-251

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

Constraint Logic Programming for Resolution of Relative Time Expressions

Christiansen, H. 2014 Language, Life, Limits: 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Beckman, A., Csuhaj-Varjú, E. & Meer, . K. (eds.). Springer VS, p. 93-102 (Lecture Notes in Computer Science, Vol. 8493).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Constraint Programming for Context Comprehension

Christiansen, H. 2014 Context in Computing: A Cross-Disciplinary Approach for Modeling the Real World. Brézillon, P. & Gonzalez, A. J. (eds.). Springer Science+Business Media, p. 401-418

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

Constraints and Language

Blache, P. (ed.), Christiansen, H. (ed.), Dahl, V. (ed.), Duchier, D. (ed.) & Villadsen, J. (ed.) 2014 Cambridge Scholars Press.

Research output: Book/ReportAnthologyResearchpeer-review

Constraints and Logic Programming in Grammars and Language Analysis

Christiansen, H. 2014 Constraints and Language. Blache, P., Christiansen, H., Dahl, V., Duchier, D. & Villadsen, J. (eds.). Cambridge Scholars Publishing, p. 21-35

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

Foundations of Intelligent Systems: 21st International Symposium, ISMIS 2014, Roskilde, Denmark, June 25-27, 2014. Proceedings

Andreasen, T. (ed.), Christiansen, H. (ed.), Cubero, J. C. (ed.) & Ras, Z. W. (ed.) 2014 Heidelberg: Springer Science+Business Media. 568 p. (Lecture notes in artificial intelligence, Vol. 8502).

Research output: Book/ReportAnthologyResearchpeer-review

Preface

Christiansen, H. 2014 Constraints and Language. Blache, P., Christiansen, H., Dahl, V., Duchier, D. & Villadsen, J. (eds.). Cambridge Scholars Publishing, p. xv-xvi

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

2013

Effects of using coding potential, sequence conservation and mRNA structure conservation for predicting pyrroly-sine containing genes

Have, C. T., Zambach, S. & Christiansen, H. 2013 In : B M C Bioinformatics. 14, 1, 12 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Flexible Query Answering Systems - 10th International Conference, FQAS 2013, Granada, Spain, September 18-20, 2013. Proceedings

Larsen, H. L. (ed.), Martin-Bautista, M. J. (ed.), Vila, M. A. (ed.), Andreasen, T. (ed.) & Christiansen, H. (ed.) 2013 Springer. 710 p. (Lecture Notes in Computer Science, Vol. 8132).

Research output: Book/ReportAnthologyResearchpeer-review

Querying Sentiment Development over Time

Andreasen, T., Christiansen, H. & Have, C. T. 2013 Flexible Query Answering Systems: 10th International Conference, FQAS 2013, Granada, Spain, September 18-20, 2013. Proceedings. Heidelberg: Springer, Vol. 8132, p. 613-624 (Lecture notes in artificial intelligence, Vol. 8132).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Resolving Relative Time Expressions in Dutch Text with Constraint Handling Rules

van de Camp, M. & Christiansen, H. 2013 Constraint Solving and Language Processing: 7th International Workshop, CSLP 2012, Orléans, France, September 13-14, 2012, Revised Selected Papers. Springer Publishing Company, Vol. 8114, p. 166-177

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

2012

A declarative pipeline language for big data analysis

Christiansen, H., Theil-Have, C., Lassen, O. T. & Petit, M. Sep 2012 Proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2012). Leuven: Katholieke Universiteit Leuven, Vol. Report CW 625, p. 3-17

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

An adaptation of Constraint Handling Rules for Interactive and Intelligent Installations

Christiansen, H. Sep 2012 CHR 2012 - Proceedings of the 9th International Workshop on Constraint Handling Rules, Budapest, Hungary — September 4th, 2012. Sneyers, J. & Frühwirth, T. (eds.). Leuven: Katholieke Universiteit Leuven, Vol. CW 624, p. 1-15

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

An exposition of abductive reasoning through logic programming with constraints

Christiansen, H. 2012 Proceedings of the 8th Scandinavian Logic Symposium. Blackburn, P., Jørgensen, K. F., Jones, N. & Palmgren, E. (eds.). p. 23-25 3 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Efficient tabling of structured data using indexing and program transformation

Have, C. T. & Christiansen, H. 23 Jan 2012 In : Lecture Notes in Computer Science. 7149, p. 93-107 15 p.

Research output: Contribution to journalConference articleResearchpeer-review

File

Resolving relative time expressions in Dutch text with Constraint Handling Rules

van de Camp, M. & Christiansen, H. 2012 7th International Workshop on Constraint Solving and Language Processing (CSLP'12): Proceedings. Duchier, D. & Parmentier, Y. (eds.). Orléans: University of Orléans, p. 74-85

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

2011

6th International Workshop, CSLP 2011, Constraints and Language Processing, Karlsruhe, Germany, 27 September 2011, Proceedings

Christiansen, H. (ed.), Blache, P. (ed.) & Dahl, V. (ed.) 2011 (Datalogiske Skrifter; No. 134).

Research output: Book/ReportAnthologyResearchpeer-review

Adaptable Grammars for Non-Context-Free Languages: (Extended and revised version)

Christiansen, H. 2011 Bio-Inspired Models for Natural and Formal Languages. Bel-Enguix, G. & Jiménez-López, M. D. (eds.). Newcastle upon Tyne: Cambridge Scholars Publishing, p. 33-51

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

A Grammatical View of Language Evolution

Bel-Enguix, G., Christiansen, H. & Jiménez-López, M. D. 2011 AI Methods for Interdisciplinary Research in Language and Biology: Proceedings of the 1st International Workshop on AI Methods for Interdisciplinary Research in Language and Biology - BILC 2011. Bel-Enguix, G., Dahl, V. & Ortega De La Puente, A. (eds.). Portugal: SciTePress, p. 57-66

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Approaching the Chinese Word Segmentation Problem with CHR Grammars

Christiansen, H. & Li, B. 2011 6th International Workshop, CSLP 2011, Constraints and Language Processing, Karlsruhe, Germany, 27 September 2011, Proceedings. p. 21-31 (Datalogiske Skrifter; No. 134).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Hvad er algoritmen bag den korteste vej?

Christiansen, H. 5 Mar 2011

Research output: Other contributionNet publication - Internet publicationCommunication

Modeling and Using Context: 7th International and Interdisciplinary Conference, CONTEXT 2011, Karlsruhe, Germany, September 26-30, 2011. Proceedings

Beigl, M. (ed.), Christiansen, H. (ed.), Roth-Berghofer, T. (ed.), Kofod-Petersen, A. (ed.), Coventry, K. R. (ed.) & Schmidtke, H. R. (ed.) 2011 Springer. (Lecture Notes in Computer Science, Vol. 6937).

Research output: Book/ReportAnthologyResearchpeer-review

Modeling Dependent Events with CHRiSM for Probabilistic Abduction

Christiansen, H. & Saleh, A. H. 2011 Proceedings of the Eighth International Workshop on Constraint Handling Rules. German University of Cairo: Faculty of Media Engineering and Technology (MET), p. 48-63

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Modeling repeats in DNA using extended probabilistic regular expressions

Have, C. T. & Christiansen, H. 2011 Biology, Computation and Linguistics: Proceedings of 1st International Work-Conference on Linguistics, Biology and Computer Science: Interplays. Bel-Enguix, G., Dahl, V. & Jimenez-Lopez, M. D. (eds.). IOS Press, Vol. 228, p. 55-70

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Taming the Zoo of Discrete HMM Subspecies & some of their Relatives

Christiansen, H., Have, C. T., Lassen, O. T. & Petit, M. 2011 Biology, Computation and Linguistics: Proceedings of 1st International Work-Conference on Linguistics, Biology and Computer Science: Interplays. Bel-Enguix, G., Dahl, V. & Jimenez-Lopez, M. D. (eds.). IOS Press, p. 28-42

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

2010

Inference with constrained hidden Markov models in PRISM

Christiansen, H., Have, C. T., Lassen, O. T. & Petit, M. 2010 In : Theory and Practice of Logic Programming. 10, 4-6, p. 449-464 15 p.

Research output: Contribution to journalJournal articleResearchpeer-review

The Viterbi Algorithm expressed in Constraint Handling Rules

Christiansen, H., Have, C. T., Lassen, O. T. & Petit, M. May 2010 Proceeedings of the 7th International Workshop on Constraint Handling Rules. Van Weert, P. & De Koninck, L. (eds.). Leuven, Belgium: Katholieke Universiteit Leuven, p. 17-24 7 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

2009

Abductive Logic Grammars

Christiansen, H. & Dahl, V. 2009 In : Lecture Notes in Computer Science. p. 170-181

Research output: Contribution to journalConference articleResearchpeer-review

A Constraint Model for Constrained Hidden Markov Models: a First Biological Application

Christiansen, H., Have, C. T., Lassen, O. T. & Petit, M. 2009 Proceedings of WCB09: Workshop on Constraint Based Methods for Bioinformatics. p. 19 26 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File

Adaptable Grammars for Non-Context-Free Languages

Christiansen, H. 2009 In : Lecture Notes in Computer Science. 5517, p. 488-503

Research output: Contribution to journalConference articleResearchpeer-review

Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules

Christiansen, H. 2009 In : Journal of Applied Logic. 7, 3, p. 341-362

Research output: Contribution to journalJournal articleResearchpeer-review

Flexible Query Answering Systems: 8th International Conference, FQAS 2009, Roskilde, Denmark, October 2009, Proceedings

Andreasen, T. (ed.), Yager, R. R. (ed.), Bulskov, H. (ed.), Christiansen, H. (ed.) & Larsen, H. L. (ed.) 2009 Berlin-Heidelberg-New York: Springer. 676 p. (Lecture Notes in Computer Science; No. 5822).

Research output: Book/ReportAnthologyResearch

Non-Discriminating Arguments and Their Uses

Christiansen, H. & Gallagher, J. P. 2009 In : Lecture Notes in Computer Science. 5649, p. 55-69 15 p.

Research output: Contribution to journalConference articleResearchpeer-review

Open Access
File

Preprocessing for Optimization of Probabilistic-Logic Models for Sequence Analysis

Christiansen, H. & Lassen, O. T. 2009 In : Lecture Notes in Computer Science. p. 70-83 14 p.

Research output: Contribution to journalConference articleResearchpeer-review

Proceedings of the International Workshop on Logic in Databases (LID 2009)

Bertossi, L. (ed.) & Christiansen, H. (ed.) 2009 Roskilde: Roskilde Universitet. (Datalogiske Skrifter; No. 127).

Research output: Book/ReportAnthologyResearch

Open Access
File