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
Book chapter
2018

Natural language processing with (tabled and constraint) logic programming

Christiansen, H. & Dahl, V. 2018 Declarative Logic Programming: Theory, Systems, and Applications. Kifer, M. & Liu, Y. A. (eds.). Association for Computing Machinery and Morgan & Claypool, p. 477-511

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

2014

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

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

2011

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

2006

Integrity Checking and Maintenance in Relational and Deductive Databases - and Beyond

Martinenghi, D., Christiansen, H. & Decker, H. 2006 Intelligent Databases: Technologies and Applications. Ma, Z. (ed.). Pennsylvania, USA: Idea Group Publishing, p. 238-285 48 p.

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

Second International Workshop on Logical Aspects and Applications of Integrity Constraints (LAAIC 2006)

Christiansen, H. (ed.) & Martinenghi, D. (ed.) 2006 17th International Conference on Database and Expert Systems Applications (DEXA 2006). IEEE Computer Society Press, p. 525-573 52 p.

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

2005

LAAIC'05, First International Workshop on Logical Aspects and Applications of Integrity Constraints

Christiansen, H. (ed.) & Martinenghi, D. (ed.) 2005 16th International Workshop on Database and Expert Systems Applications (DEXA 2005). IEEE Computer Society Press, p. 801-858

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

2004

A constraint-based bottom-up counterpart to definite clause grammars

Christiansen, H. 2004 Recent Advances in Natural Language Processing III, Selected papers from RANLP 2003. Nicolov, N., Mitkov, R., Angelova, G. & Bontcheva, K. (eds.). Amsterdam/Philadelphia: John Benjamins Publishing Company, p. 227-246

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

Special Issue on Flexible Query Answering Systems, the first ten years

Christiansen, H. (ed.) 20 Jul 2004 Journal of Intelligent Information Systems.

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

2002

Abductive language interpretation as bottom-up deduction

Christiansen, H. 2002 Proc. NLULP 2002: Natural Language Understanding and Logic Programming, Copenhagen, Denmark, July 28th, 2002. Wintner, S. (ed.). Roskilde: Roskilde Universitet, p. 33-48 (Datalogiske Skrifter; No. 92).

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

Logical grammars based on constraint handling rules

Christiansen, H. 2002 Logic Programming: 18th International Conference, ICLP 2002, Copenhagen, Denmark. Springer, p. 481 (Lecture Notes in Computer Science, Vol. 2401).

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

Logic grammars for diagnosis and repair

Christiansen, H. & Dahl, V. 2002 ICTAI'02: Proceedings of 14th IEEE International Conference on Tools with Artificial Intelligence, November 4-6, 2002 Washington DC. IEEE, p. 307-314

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

Open Access
File

Using prolog as metalanguage for teaching programming language concepts

Christiansen, H. 2002 Issues in information technology, EXIT, Warszawa, 2002. Kacprzyk, J., Krawczak, M. & Zadrozny, S. (eds.). p. 59-82

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

2000

Abduction and induction combined in a metalogic framework

Christiansen, H. 2000 Abductive and inductive reasoning: essays on their relation and integration. Flach, P. & Kakas, A. (eds.). Kluwer Academic Publishers, p. 195-211

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

1999

Integrity constraints and constraint logic programming

Christiansen, H. 1999 INAP'99: Proceedings of the 12th International Conference on Application of Prolog. Tokyo: Science University of Tokyo, p. 5-12

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

1998

A practical approach to hypotherical database queries

Andreasen, T. & Christiansen, H. 1998 Transactions and change in logic databases. Freitag, B., Decker, H., Kifer, M. & Voronkov, A. (eds.). Kluwer Academic Publishers, p. 340-355 (Lecture Notes in Computer Science, Vol. 1472).

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

Implicit program synthesis by a reversible metainterpreter

Christiansen, H. 1998 Proceedings of the Seventh International Workshop on Logic Program Synthesis and Transformation LOPSTR'97. Fuchs, N. E. (ed.). Kluwer Academic Publishers, p. 90-110 (Lecture Notes in Computer Science, Vol. 1463).

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

Knowledge discovery for flexible querying

Larsen, H. L., Andreasen, T. & Christiansen, H. 1998 Flexible query answering systems, Third International Conference, FQAS'98, Roskilde, Denmark, May 13-15, 1998. Christiansen, H., Andreasen, T. & Larsen, H. L. (eds.). Berlin: Kluwer Academic Publishers, p. 227-235 (Lecture notes in artificial intelligence; No. 1495).

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

Negation in the demo system: a progress report

Christiansen, H. 1998 Proceedings of ECAI98 Workshop on Abduction and Induction in AI. Flach, P. & Kakas, A. (eds.). Brighton, p. 34-40

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

1997

Discovery and application of term associations for flexible querying

Andreasen, T., Legind Larsen, H. & Christiansen, H. 1997 IFSA'97: Sixth International Fuzzy Systems Associatin World Congress. Prague

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

Nonstandard database interaction from metalogic programming

Andreasen, T. & Christiansen, H. 1997 Flexible query answering systems. Andreasen, T., Christiansen, H. & Larsen, H. L. (eds.). Kluwer Academic Publishers, p. 61-78

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

1996

An experimental prototype for flexible query-answering mechanisms: a metainterpretation approach

Andreasen, T. & Christiansen, H. 1996 Flexible Query-Answering Systems: Proceedings of the 1996 Workshop (FQAS'96). Roskilde: Roskilde Universitet, p. 277-288 (Datalogiske Skrifter; No. 62).

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

Counterfactual exceptions in deductive database queries

Andreasen, T. & Christiansen, H. 1996 12 European Conference on Artificial Intelligence, ECAI'96. Budapest, p. 340-344

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

Flexible query-answering systems modelled in metalogicprogramming

Andreasen, T. & Christiansen, H. 1996 12 European Conference on Artificial Intelligence, ECAI'96: workshop: Knowledge Representation Meets Databases. Budapest, p. 1-7

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

On solving member and instance constraints: metaprogramming and metareasoning

Christiansen, H. 1996 Logic (META96). Uppsala: Computer Science department, Uppsala University, Vol. 127, p. 13-25

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