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 |