Research Output 1981 2017

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