other persons with the same name:
| 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 | |
| 1 | Slim Abdennadher | [20] |
| 2 | Troels Andreasen | [7] [9] [10] [11] [13] [15] [16] [17] [24] [30] [42] |
| 3 | Daniel Ortiz Arroyo | [42] |
| 4 | Verónica Dahl | [22] [25] [33] [35] |
| 5 | Christina Mackeprang Dahmcke | [43] |
| 6 | Mohand-Said Hacid | [30] [38] |
| 7 | Henrik Legind Larsen | [16] [17] [24] [30] [42] |
| 8 | Davide Martinenghi | [19] [27] [29] [32] [34] [36] [39] [40] |
| 9 | Amihai Motro | [24] |
| 10 | Alf Beck Nielsen | [7] |
| 11 | Gabriella Pasi | [42] |
| 12 | Peter Rossen Skadhauge | [37] |
| 13 | Jørgen Villadsen | [37] |