| 2009 |
|---|
| 44 | EE | Henning Christiansen:
Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules.
J. Applied Logic 7(3): 341-362 (2009) |
| 2007 |
|---|
| 43 | EE | Henning Christiansen,
Christina Mackeprang Dahmcke:
A Machine Learning Approach to Test Data Generation: A Case Study in Evaluation of Gene Finders.
MLDM 2007: 742-755 |
| 2006 |
|---|
| 42 | | Henrik Legind Larsen,
Gabriella Pasi,
Daniel Ortiz Arroyo,
Troels Andreasen,
Henning Christiansen:
Flexible Query Answering Systems, 7th International Conference, FQAS 2006, Milan, Italy, June 7-10, 2006, Proceedings
Springer 2006 |
| 41 | EE | Henning Christiansen:
On the Implementation of Global Abduction.
CLIMA VII 2006: 226-245 |
| 40 | EE | Henning Christiansen,
Davide Martinenghi:
On Using Simplification and Correction Tables for Integrity Maintenance in Integrated Databases.
DEXA Workshops 2006: 569-576 |
| 39 | EE | Henning Christiansen,
Davide Martinenghi:
On Simplification of Database Integrity Constraints.
Fundam. Inform. 71(4): 371-417 (2006) |
| 38 | EE | Henning Christiansen,
Mohand-Said Hacid:
Introduction.
J. Intell. Inf. Syst. 26(1): 5-6 (2006) |
| 2005 |
|---|
| 37 | | Henning Christiansen,
Peter Rossen Skadhauge,
Jørgen Villadsen:
Constraint Solving and Language Processing, First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004, Revised Selected and Invited Papers
Springer 2005 |
| 36 | EE | Davide Martinenghi,
Henning Christiansen:
Efficient Integrity Checking for Databases with Recursive Views.
ADBIS 2005: 109-124 |
| 35 | EE | Henning Christiansen,
Verónica Dahl:
Meaning in Context.
CONTEXT 2005: 97-111 |
| 34 | EE | Davide Martinenghi,
Henning Christiansen:
Transaction Management with Integrity Checking.
DEXA 2005: 606-615 |
| 33 | EE | Henning Christiansen,
Verónica Dahl:
HYPROLOG: A New Logic Programming Language with Assumptions and Abduction.
ICLP 2005: 159-173 |
| 32 | EE | Henning Christiansen,
Davide Martinenghi:
Incremental Integrity Checking: Limitations and Possibilities.
LPAR 2005: 712-727 |
| 31 | EE | Henning Christiansen:
CHR grammars.
TPLP 5(4-5): 467-501 (2005) |
| 2004 |
|---|
| 30 | | Henning Christiansen,
Mohand-Said Hacid,
Troels Andreasen,
Henrik Legind Larsen:
Flexible Query Answering Systems, 6th International Conference, FQAS 2004, Lyon, France, June 24-26, 2004, Proceedings
Springer 2004 |
| 29 | EE | Henning Christiansen,
Davide Martinenghi:
Simplification of Integrity Constraints for Data Integration.
FoIKS 2004: 31-48 |
| 28 | EE | Henning Christiansen:
CHR Grammars
CoRR cs.CL/0408027: (2004) |
| 2003 |
|---|
| 27 | EE | Henning Christiansen,
Davide Martinenghi:
Simplification of Database Integrity Constraints Revisited: A Transformational Approach.
LOPSTR 2003: 178-197 |
| 26 | | Henning Christiansen:
A constraint-based bottom-up counterpart to definite clause grammars.
RANLP 2003: 227-236 |
| 25 | EE | Henning Christiansen,
Verónica Dahl:
Logic Grammars for Diagnosis and Repair.
International Journal on Artificial Intelligence Tools 12(3): 227-248 (2003) |
| 2002 |
|---|
| 24 | | Troels Andreasen,
Amihai Motro,
Henning Christiansen,
Henrik Legind Larsen:
Flexible Query Answering Systems, 5th International Conference, FQAS 2002, Copenhagen, Denmark, October 27-29, 2002, Proceedings
Springer 2002 |
| 23 | EE | Henning Christiansen:
Logical Grammars Based on Constraint Handling Rules.
ICLP 2002: 481 |
| 22 | EE | Henning Christiansen,
Verónica Dahl:
Logic Grammars for Diagnosis and Repair.
ICTAI 2002: 307-314 |
| 2001 |
|---|
| 21 | EE | Henning Christiansen:
CHR as grammar formalism. A first report
CoRR cs.PL/0106059: (2001) |
| 2000 |
|---|
| 20 | | Slim Abdennadher,
Henning Christiansen:
An Experimental CLP Platform for Integrity Constraints and Abduction.
FQAS 2000: 141-152 |
| 19 | | Henning Christiansen,
Davide Martinenghi:
Symbolic Constraints for Meta-Logic Programming.
Applied Artificial Intelligence 14(4): 345-367 (2000) |
| 1999 |
|---|
| 18 | EE | Henning Christiansen:
Open Theories and Abduction for Context and Accommodation.
CONTEXT 1999: 455-458 |
| 1998 |
|---|
| 17 | | Troels Andreasen,
Henning Christiansen,
Henrik Legind Larsen:
Flexible Query Answering Systems, Third International Conference, FQAS'98, Roskilde, Denmark, May 13-15, 1998, Proceedings
Springer 1998 |
| 16 | EE | Henrik Legind Larsen,
Troels Andreasen,
Henning Christiansen:
Knowledge Discovery for Flexible Querying.
FQAS 1998: 227-235 |
| 15 | EE | Henning Christiansen,
Troels Andreasen:
A Practical Approach to Hypothetical Database Queries.
Transactions and Change in Logic Databases 1998: 340-355 |
| 14 | | Henning Christiansen:
Automated Reasoning with a Constraint-Based Metainterpreter.
J. Log. Program. 37(1-3): 213-254 (1998) |
| 1997 |
|---|
| 13 | | Troels Andreasen,
Henning Christiansen:
Hypothetical Queries to Deductive Databases.
DDLP 1997: 0- |
| 12 | EE | Henning Christiansen:
Implicit Program Synthesis by a Reversible Metainterpreter.
LOPSTR 1997: 90-110 |
| 1996 |
|---|
| 11 | | Troels Andreasen,
Henning Christiansen:
Counterfactual Exceptions in Deductive Database Queries.
ECAI 1996: 340-344 |
| 10 | | Henning Christiansen,
Troels Andreasen:
An Experimental Prototype for Flexible Query-Answering Mechanisms - A Metainterpretation Approach.
FQAS 1996: 277-288 |
| 9 | EE | Troels Andreasen,
Henning Christiansen:
Flexible Query-Answering Systems Modelled in Metalogic Programming.
KRDB 1996 |
| 1995 |
|---|
| 8 | | Henning Christiansen:
Alternative Reasoning in a Metaprogramming System.
Deductive Databases / Abduction in Deductive Databases 1995: 175-186 |
| 1994 |
|---|
| 7 | | Henning Christiansen,
Troels Andreasen,
Alf Beck Nielsen:
Negative Counterfactuals as Constraints in Deductive Databases.
FQAS 1994: 105-111 |
| 6 | | Henning Christiansen:
Efficient and Complete Demo Predicates for Definite Clause Languages.
ICLP 1994: 735-736 |
| 1992 |
|---|
| 5 | | Henning Christiansen:
A Complete Resolution method for Logical Meta-Programming Languages.
META 1992: 205-219 |
| 1990 |
|---|
| 4 | EE | Henning Christiansen:
A survey of adaptable grammars.
SIGPLAN Notices 25(11): 35-44 (1990) |
| 1989 |
|---|
| 3 | | Henning Christiansen:
Structure Sharing in Incremental Systems.
Structured Programming 10(4): 169-186 (1989) |
| 1988 |
|---|
| 2 | | Henning Christiansen:
Structure Sharing in Attribute Grammars.
PLILP 1988: 180-200 |
| 1985 |
|---|
| 1 | | Henning Christiansen:
Recognition of generative languages.
Programs as Data Objects 1985: 63-81 |
