|
Search the dblp DataBase
Henning Christiansen:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Davide Martinenghi, Henning Christiansen
Efficient Integrity Checking for Databases with Recursive Views. [Citation Graph (0, 0)][DBLP] ADBIS, 2005, pp:109-124 [Conf]
- Henning Christiansen
On the Implementation of Global Abduction. [Citation Graph (0, 0)][DBLP] CLIMA VII, 2006, pp:226-245 [Conf]
- Henning Christiansen
Open Theories and Abduction for Context and Accommodation. [Citation Graph (0, 0)][DBLP] CONTEXT, 1999, pp:455-458 [Conf]
- Henning Christiansen, Verónica Dahl
Meaning in Context. [Citation Graph (0, 0)][DBLP] CONTEXT, 2005, pp:97-111 [Conf]
- Henning Christiansen, Troels Andreasen
A Practical Approach to Hypothetical Database Queries. [Citation Graph (0, 0)][DBLP] Transactions and Change in Logic Databases, 1998, pp:340-355 [Conf]
- Troels Andreasen, Henning Christiansen
Hypothetical Queries to Deductive Databases. [Citation Graph (0, 0)][DBLP] DDLP, 1997, pp:0-0 [Conf]
- Henning Christiansen
Alternative Reasoning in a Metaprogramming System. [Citation Graph (0, 0)][DBLP] Deductive Databases / Abduction in Deductive Databases, 1995, pp:175-186 [Conf]
- Davide Martinenghi, Henning Christiansen
Transaction Management with Integrity Checking. [Citation Graph (0, 0)][DBLP] DEXA, 2005, pp:606-615 [Conf]
- Henning Christiansen, Davide Martinenghi
On Using Simplification and Correction Tables for Integrity Maintenance in Integrated Databases. [Citation Graph (0, 0)][DBLP] DEXA Workshops, 2006, pp:569-576 [Conf]
- Troels Andreasen, Henning Christiansen
Counterfactual Exceptions in Deductive Database Queries. [Citation Graph (0, 0)][DBLP] ECAI, 1996, pp:340-344 [Conf]
- Henning Christiansen, Davide Martinenghi
Simplification of Integrity Constraints for Data Integration. [Citation Graph (0, 0)][DBLP] FoIKS, 2004, pp:31-48 [Conf]
- Slim Abdennadher, Henning Christiansen
An Experimental CLP Platform for Integrity Constraints and Abduction. [Citation Graph (0, 0)][DBLP] FQAS, 2000, pp:141-152 [Conf]
- Henning Christiansen, Troels Andreasen
An Experimental Prototype for Flexible Query-Answering Mechanisms - A Metainterpretation Approach. [Citation Graph (0, 0)][DBLP] FQAS, 1996, pp:277-288 [Conf]
- Henning Christiansen, Troels Andreasen, Alf Beck Nielsen
Negative Counterfactuals as Constraints in Deductive Databases. [Citation Graph (0, 0)][DBLP] FQAS, 1994, pp:105-111 [Conf]
- Henrik Legind Larsen, Troels Andreasen, Henning Christiansen
Knowledge Discovery for Flexible Querying. [Citation Graph (0, 0)][DBLP] FQAS, 1998, pp:227-235 [Conf]
- Henning Christiansen
Logical Grammars Based on Constraint Handling Rules. [Citation Graph (0, 0)][DBLP] ICLP, 2002, pp:481- [Conf]
- Henning Christiansen
Efficient and Complete Demo Predicates for Definite Clause Languages. [Citation Graph (0, 0)][DBLP] ICLP, 1994, pp:735-736 [Conf]
- Henning Christiansen, Verónica Dahl
HYPROLOG: A New Logic Programming Language with Assumptions and Abduction. [Citation Graph (0, 0)][DBLP] ICLP, 2005, pp:159-173 [Conf]
- Henning Christiansen, Verónica Dahl
Logic Grammars for Diagnosis and Repair. [Citation Graph (0, 0)][DBLP] ICTAI, 2002, pp:307-314 [Conf]
- Troels Andreasen, Henning Christiansen
Flexible Query-Answering Systems Modelled in Metalogic Programming. [Citation Graph (0, 0)][DBLP] KRDB, 1996, pp:- [Conf]
- Henning Christiansen
Implicit Program Synthesis by a Reversible Metainterpreter. [Citation Graph (0, 0)][DBLP] LOPSTR, 1997, pp:90-110 [Conf]
- Henning Christiansen, Davide Martinenghi
Simplification of Database Integrity Constraints Revisited: A Transformational Approach. [Citation Graph (0, 0)][DBLP] LOPSTR, 2003, pp:178-197 [Conf]
- Henning Christiansen, Davide Martinenghi
Incremental Integrity Checking: Limitations and Possibilities. [Citation Graph (0, 0)][DBLP] LPAR, 2005, pp:712-727 [Conf]
- Henning Christiansen
A Complete Resolution method for Logical Meta-Programming Languages. [Citation Graph (0, 0)][DBLP] META, 1992, pp:205-219 [Conf]
- Henning Christiansen
Recognition of generative languages. [Citation Graph (0, 0)][DBLP] Programs as Data Objects, 1985, pp:63-81 [Conf]
- Henning Christiansen
Structure Sharing in Attribute Grammars. [Citation Graph (0, 0)][DBLP] PLILP, 1988, pp:180-200 [Conf]
- Henning Christiansen
A constraint-based bottom-up counterpart to definite clause grammars. [Citation Graph (0, 0)][DBLP] RANLP, 2003, pp:227-236 [Conf]
- Henning Christiansen, Davide Martinenghi
Symbolic Constraints for Meta-Logic Programming. [Citation Graph (0, 0)][DBLP] Applied Artificial Intelligence, 2000, v:14, n:4, pp:345-367 [Journal]
- Henning Christiansen
CHR Grammars [Citation Graph (0, 0)][DBLP] CoRR, 2004, v:0, n:, pp:- [Journal]
- Henning Christiansen
CHR as grammar formalism. A first report [Citation Graph (0, 0)][DBLP] CoRR, 2001, v:0, n:, pp:- [Journal]
- Henning Christiansen, Davide Martinenghi
On Simplification of Database Integrity Constraints. [Citation Graph (0, 0)][DBLP] Fundam. Inform., 2006, v:71, n:4, pp:371-417 [Journal]
- Henning Christiansen, Verónica Dahl
Logic Grammars for Diagnosis and Repair. [Citation Graph (0, 0)][DBLP] International Journal on Artificial Intelligence Tools, 2003, v:12, n:3, pp:227-248 [Journal]
- Henning Christiansen, Mohand-Said Hacid
Introduction. [Citation Graph (0, 0)][DBLP] J. Intell. Inf. Syst., 2006, v:26, n:1, pp:5-6 [Journal]
- Henning Christiansen
Automated Reasoning with a Constraint-Based Metainterpreter. [Citation Graph (0, 0)][DBLP] J. Log. Program., 1998, v:37, n:1-3, pp:213-254 [Journal]
- Henning Christiansen
A survey of adaptable grammars. [Citation Graph (0, 0)][DBLP] SIGPLAN Notices, 1990, v:25, n:11, pp:35-44 [Journal]
- Henning Christiansen
Structure Sharing in Incremental Systems. [Citation Graph (0, 0)][DBLP] Structured Programming, 1989, v:10, n:4, pp:169-186 [Journal]
- Henning Christiansen
CHR grammars. [Citation Graph (0, 0)][DBLP] TPLP, 2005, v:5, n:4-5, pp:467-501 [Journal]
- Henning Christiansen, Christina Mackeprang Dahmcke
A Machine Learning Approach to Test Data Generation: A Case Study in Evaluation of Gene Finders. [Citation Graph (0, 0)][DBLP] MLDM, 2007, pp:742-755 [Conf]
Integrity Checking and Maintenance with Active Rules in XML Databases. [Citation Graph (, )][DBLP]
Preprocessing for Optimization of Probabilistic-Logic Models for Sequence Analysis. [Citation Graph (, )][DBLP]
Non-discriminating Arguments and Their Uses. [Citation Graph (, )][DBLP]
Adaptable Grammars for Non-Context-Free Languages. [Citation Graph (, )][DBLP]
Abductive Logic Grammars. [Citation Graph (, )][DBLP]
Inference with Constrained Hidden Markov Models in PRISM [Citation Graph (, )][DBLP]
Search in 0.033secs, Finished in 0.034secs
|