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