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

Filter
Article in proceedings
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-9

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-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-594

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-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, 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

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

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

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

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

2013

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

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

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

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

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

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

Un calcul de Viterbi pour un Modèle de Markov Caché Contraint

Petit, M. & Christiansen, H., 2009, Proceedings des 5ème Journée Francophone de Programmation par Contraintes.

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

Open Access
File
2008

Logic Grammars Extended with Constraint Logic: Abstract of invited tutorial

Christiansen, H., 2008, Proceedings of the Second International Workshop;Non-Classical Formal Languages in Linguistics, ForLing 2008. Bel-Enguix, G. & Jimenes-Lopes, M. D. (eds.). p. 3-4 2 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch

Prioritized Abduction with CHR

Christiansen, H., 2008, CHR 2008, The 5th Workshop on Constraint Handling Rules. SCHRIJVERS, T., RAISER, F. & FRÜHWIRTH, T. (eds.). Johannes Kepler University, Vol. 08-10, p. 159-173 (RISC-Linz Report Series, Vol. 08-10).

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

2007

A Machine Learning Approach to Test Data Generation: A Case Study in Evaluation of Gene Finders

Christiansen, H. & Dahmcke, C. M., 2007, Proc. International Conference on Machine Learning and Data Mining MLDM'2007: Lecture Notes in Artificial Intelligence. Springer, Vol. 4571, p. 741-755 15 p. (Lecture notes in artificial intelligence; No. 4571).

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

From use cases to UML class diagrams using logic grammars and constraints

Christiansen, H., Have, C. T. & Tveitane, K., 2007, International Conference: Recent Advances in Natural Language Processing: Proceedings. Angelova, G., Bontcheva, K., Mitkov, R., Nicolov, N. & Nikolov, N. (eds.). INCOMA Ltd., p. 128-132

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

Integrity Checking and Maintenance with Active Rules in XML Databases

Christiansen, H. & Rekouts, M., 2007, 24th British National Conference on Databases : proceedings. IEEE Computer Society Press, p. 59-67 8 p.

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

Open Access
File

Logic-statistic modeling and analysis of biological sequence data: a research agenda

Christiansen, H., 2007, Pre-Proceedings of the 2007 International Workshop on Abduction and Induction in Artificial Intelligence (AIAI’07). Doncescu, A., Flach, P. A., Inoue, K., Kakas, A. C. & Ray, O. (eds.). p. 42-49 8 p.

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

On the Implementation of Global Abduction

Christiansen, H., 2007, Computational logic in Multi-Agent Systems: 7th Workshop on Computational Logic in Multi-Agent Systems, CLIMA-VIIHakodate, japan, May 2006Revised Selected and Invited papers. Inoue, K., Satoh, K. & Toni, F. (eds.). Kluwer Academic Publishers, Vol. 4371, p. 226-245 16 p. (Lecture Notes in Computer Science, Vol. 4371).

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

Reasoning about Use Cases using Logic Grammars and Constraints

Christiansen, H., Have, C. T. & Tveitane, K., 2007, Proceedings of the 4th International Workshop on Constraints and Language Processing, CSLP 2007. Christiansen, H. & Villadsen, J. (eds.). Roskilde Universitet, p. 40-52 12 p. (Datalogiske Skrifter; No. 113).

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

2006

On using Simplification and Correction Tables for Integrity Maintenance in Integrated Databases

Christiansen, H. & Martinenghi, D., 2006, Proceedings of LAAIC'06, Second International Workshop on Logical Aspects and Applications of Integrity Constraints, Included in Proc. DEXA 2006, Seventeenth Int'l Workshop on Database and Expert Systems Applications. IEEE Computer Society Press, p. 569-573 5 p.

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

Open Access
File
2005

Efficient Integrity Checking for Databases with Recursive Views

Martinenghi, D. & Christiansen, H., 2005, Advances in Databases and Information Systems, ADBIS 2005. Eder, J., Haav, H-M., Kalja, A. & Penjam, J. (eds.). Springer, p. 109-124 16 p. (Lecture Notes in Computer Science, Vol. 3631).

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

Experiences and directions for Abduction and Induction using Constraint Handling Rules

Christiansen, H., 2005, Proc. of Workshop on Integration of Abduction and Induction in AI: Position paper. Ray, O., Kakas, A. & Flach, P. (eds.). Department of Computing, Imperial College London

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

HYPROLOG: A New Logic Programming Language with Assumptions and Abduction

Christiansen, H. & Dahl, V., 2005, Logic Programming, 21st International Conference, ICLP 2005. Gabbrielli, M. & Gupta, G. (eds.). Springer, p. 159-173 15 p. (Lecture Notes in Computer Science, Vol. 3668).

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

Incremental Integrity Checking: Limitations and Possibilities

Christiansen, H. & Martinenghi, D., 2005, Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, Proceedings, LPAR. Sutcliffe, G. & Voronkov, A. (eds.). Kluwer Academic Publishers, p. 712-727 16 p. (Lecture Notes in Computer Science, Vol. 3835).

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

Meaning in Context

Christiansen, H. & Dahl, V., 2005, Proc. CONTEXT'05, the Fourth International and Interdisciplinary Conference on Modeling and Using Context. Dey, A., Kokinov, B., Leake, D. & Turner, R. (eds.). Kluwer Academic Publishers, p. 97-111 (Lecture Notes in Computer Science, Vol. 3554).

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

Reasoning about passive declarations in CHR

Christiansen, H., 2005, Workshop Proceedings: Constraint Handling Rules: Proceedings of CHR 2005, Second Workshop on Constraint Handling Rules Workshop as International Conference on logic Programming (ICLP 2005). Schrijvers, T. & Frühwirth, T. (eds.). Katholieke Universiteit Leuven, p. 93-108 16 p.

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

Transaction management with integrity checking

Martinenghi, D. & Christiansen, H., 2005, Proc. DEXA 2005, 16th International Conference on Database and Expert Systems Applications. Andersen, K. V., Debenham, J. & Wagner, R. (eds.). Springer, p. 606-615 10 p. (Lecture Notes in Computer Science, Vol. 3588).

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

2004

Assumptions and Abduction in Prolog

Christiansen, H. & Dahl, V., 2004, Proceedings of WLPE 2004: 14th Workshop on Logic Programming Environments and MultiCPL 2004: Third Workshop on Multiparadigm Constraint Programming Languages Workshop Proceedings September 2004, Saint-Malo, France. Muñoz-Hernández, S., Gómez-Perez, J. M. & Hofstedt, P. (eds.). INSA Rennes, p. 87-101

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

CHR Grammars with multiple constraint stores

Christiansen, H., 2004, Ulmer Informatik-Berichte 2004-01: First Workshop on Constraint Handling Rules: Selected Contributions. Frühwirth, T. & Meister, M. (eds.). Universität Ulm, Fakultät für Informatik, 5 p. (Ulmer Informatik-Berichte; No. 2004-1).

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

Simplification of integrity constraints for data integration

Christiansen, H. & Martinenghi, D., 2004, Foundations of Information and Knowledge Systems: Third International Symposium. FoIKS 2004, Wilhelminenburg Castle, Austria, February 2004, Proceedings. Kluwer Academic Publishers, p. 31-48 (Lecture Notes in Computer Science, Vol. 2942).

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

2003

A constraint-based bottom-up counterpart to DCG

Christiansen, H., 2003, Proceedings of RANLP 2003: Recent Advances in Natural Language Processing. p. 105-111

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

2001

CHR as grammar formalism: a first report

Christiansen, H., 2001, Sixth annual workshop of the ERCIM working group on constraints. p. 12 s.

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

1999

Open theories and abduction for context and accommodation

Christiansen, H., 1999, Lecture notes in artificial intelligence 1688. Bouquet, P., Brezillon, P. & Serafini, L. (eds.). Springer, p. 455-458

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

1992

A complete resolution for logical meta-programming languages

Christiansen, H., 1992, META-92 : third International Workshop on Metaprogramming in logic. Pettorossi, A. & Barklund, J. (eds.). p. s. 142-156

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

1991

The Omikron projekt

Christiansen, H., 1991, 7th Annual Apple European University Consortium, 30th April to 2nd May : conference proceedings. p. 30-32

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

1990

Declarative semantics of a meta-programming language

Christiansen, H., 1990, Proceedings of the second Workshop on Meta-Programming in Logic : April 4-6, 1990 Leuven, Belgium. p. 159-168

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

1989

Structure sharing in attribute grammars

Christiansen, H., 1989, Programming language implementation and logic programming : international workshop PLILP 88, Orléans, France May 16-18 : proceedings. Deranart, P., Lorho, B. & Maluszynski, J. (eds.). p. 180-200 (Lecture Notes in Computer Science, Vol. 348).

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

1986

Recognition of generative languages

Christiansen, H., 1986, Programs as data objects: proceedings of a workshop, Copenhagen, Denmark, October 17-19, 1985. Ganzinger, H. & Jones, N. D. (eds.). Springer, p. 63-81 (Lecture Notes in Computer Science, Vol. 17).

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