Henning Christiansen

other persons with the same name:

• Henning Christiansen

	2009
50		Troels Andreasen, Ronald R. Yager, Henrik Bulskov, Henning Christiansen, Henrik Legind Larsen: Flexible Query Answering Systems, 8th International Conference, FQAS 2009, Roskilde, Denmark, October 26-28, 2009. Proceedings Springer 2009
49		Henning Christiansen, John P. Gallagher: Non-discriminating Arguments and Their Uses. ICLP 2009: 55-69
48		Henning Christiansen, Ole Torp Lassen: Preprocessing for Optimization of Probabilistic-Logic Models for Sequence Analysis. ICLP 2009: 70-83
47		Henning Christiansen: Adaptable Grammars for Non-Context-Free Languages. IWANN (1) 2009: 488-495
46		Henning Christiansen, Verónica Dahl: Abductive Logic Grammars. WoLLIC 2009: 170-181
45		Henning Christiansen: Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules. J. Applied Logic 7(3): 341-362 (2009)
	2008
44		Henning Christiansen: Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules. Constraint Handling Rules 2008: 85-118
	2007
43		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		Henning Christiansen: On the Implementation of Global Abduction. CLIMA VII 2006: 226-245
40		Henning Christiansen, Davide Martinenghi: On Using Simplification and Correction Tables for Integrity Maintenance in Integrated Databases. DEXA Workshops 2006: 569-576
39		Henning Christiansen, Davide Martinenghi: On Simplification of Database Integrity Constraints. Fundam. Inform. 71(4): 371-417 (2006)
38		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		Davide Martinenghi, Henning Christiansen: Efficient Integrity Checking for Databases with Recursive Views. ADBIS 2005: 109-124
35		Henning Christiansen, Verónica Dahl: Meaning in Context. CONTEXT 2005: 97-111
34		Davide Martinenghi, Henning Christiansen: Transaction Management with Integrity Checking. DEXA 2005: 606-615
33		Henning Christiansen, Verónica Dahl: HYPROLOG: A New Logic Programming Language with Assumptions and Abduction. ICLP 2005: 159-173
32		Henning Christiansen, Davide Martinenghi: Incremental Integrity Checking: Limitations and Possibilities. LPAR 2005: 712-727
31		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		Henning Christiansen, Davide Martinenghi: Simplification of Integrity Constraints for Data Integration. FoIKS 2004: 31-48
28		Henning Christiansen: CHR Grammars CoRR cs.CL/0408027: (2004)
	2003
27		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		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		Henning Christiansen: Logical Grammars Based on Constraint Handling Rules. ICLP 2002: 481
22		Henning Christiansen, Verónica Dahl: Logic Grammars for Diagnosis and Repair. ICTAI 2002: 307-314
	2001
21		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		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		Henrik Legind Larsen, Troels Andreasen, Henning Christiansen: Knowledge Discovery for Flexible Querying. FQAS 1998: 227-235
15		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		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		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		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

Coauthor Index

1	Slim Abdennadher	[20]
2	Troels Andreasen	[7] [9] [10] [11] [13] [15] [16] [17] [24] [30] [42] [50]
3	Daniel Ortiz Arroyo	[42]
4	Henrik Bulskov	[50]
5	Verónica Dahl	[22] [25] [33] [35] [46]
6	Christina Mackeprang Dahmcke	[43]
7	John P. Gallagher	[49]
8	Mohand-Said Hacid	[30] [38]
9	Henrik Legind Larsen	[16] [17] [24] [30] [42] [50]
10	Ole Torp Lassen	[48]
11	Davide Martinenghi	[19] [27] [29] [32] [34] [36] [39] [40]
12	Amihai Motro	[24]
13	Alf Beck Nielsen	[7]
14	Gabriella Pasi	[42]
15	Peter Rossen Skadhauge	[37]
16	Jørgen Villadsen	[37]
17	Ronald R. Yager	[50]

Colors in the list of coauthors