The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Henning Christiansen: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Davide Martinenghi, Henning Christiansen
    Efficient Integrity Checking for Databases with Recursive Views. [Citation Graph (0, 0)][DBLP]
    ADBIS, 2005, pp:109-124 [Conf]
  2. Henning Christiansen
    On the Implementation of Global Abduction. [Citation Graph (0, 0)][DBLP]
    CLIMA VII, 2006, pp:226-245 [Conf]
  3. Henning Christiansen
    Open Theories and Abduction for Context and Accommodation. [Citation Graph (0, 0)][DBLP]
    CONTEXT, 1999, pp:455-458 [Conf]
  4. Henning Christiansen, Verónica Dahl
    Meaning in Context. [Citation Graph (0, 0)][DBLP]
    CONTEXT, 2005, pp:97-111 [Conf]
  5. 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]
  6. Troels Andreasen, Henning Christiansen
    Hypothetical Queries to Deductive Databases. [Citation Graph (0, 0)][DBLP]
    DDLP, 1997, pp:0-0 [Conf]
  7. Henning Christiansen
    Alternative Reasoning in a Metaprogramming System. [Citation Graph (0, 0)][DBLP]
    Deductive Databases / Abduction in Deductive Databases, 1995, pp:175-186 [Conf]
  8. Davide Martinenghi, Henning Christiansen
    Transaction Management with Integrity Checking. [Citation Graph (0, 0)][DBLP]
    DEXA, 2005, pp:606-615 [Conf]
  9. 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]
  10. Troels Andreasen, Henning Christiansen
    Counterfactual Exceptions in Deductive Database Queries. [Citation Graph (0, 0)][DBLP]
    ECAI, 1996, pp:340-344 [Conf]
  11. Henning Christiansen, Davide Martinenghi
    Simplification of Integrity Constraints for Data Integration. [Citation Graph (0, 0)][DBLP]
    FoIKS, 2004, pp:31-48 [Conf]
  12. Slim Abdennadher, Henning Christiansen
    An Experimental CLP Platform for Integrity Constraints and Abduction. [Citation Graph (0, 0)][DBLP]
    FQAS, 2000, pp:141-152 [Conf]
  13. 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]
  14. 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]
  15. Henrik Legind Larsen, Troels Andreasen, Henning Christiansen
    Knowledge Discovery for Flexible Querying. [Citation Graph (0, 0)][DBLP]
    FQAS, 1998, pp:227-235 [Conf]
  16. Henning Christiansen
    Logical Grammars Based on Constraint Handling Rules. [Citation Graph (0, 0)][DBLP]
    ICLP, 2002, pp:481- [Conf]
  17. Henning Christiansen
    Efficient and Complete Demo Predicates for Definite Clause Languages. [Citation Graph (0, 0)][DBLP]
    ICLP, 1994, pp:735-736 [Conf]
  18. 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]
  19. Henning Christiansen, Verónica Dahl
    Logic Grammars for Diagnosis and Repair. [Citation Graph (0, 0)][DBLP]
    ICTAI, 2002, pp:307-314 [Conf]
  20. Troels Andreasen, Henning Christiansen
    Flexible Query-Answering Systems Modelled in Metalogic Programming. [Citation Graph (0, 0)][DBLP]
    KRDB, 1996, pp:- [Conf]
  21. Henning Christiansen
    Implicit Program Synthesis by a Reversible Metainterpreter. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1997, pp:90-110 [Conf]
  22. Henning Christiansen, Davide Martinenghi
    Simplification of Database Integrity Constraints Revisited: A Transformational Approach. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2003, pp:178-197 [Conf]
  23. Henning Christiansen, Davide Martinenghi
    Incremental Integrity Checking: Limitations and Possibilities. [Citation Graph (0, 0)][DBLP]
    LPAR, 2005, pp:712-727 [Conf]
  24. Henning Christiansen
    A Complete Resolution method for Logical Meta-Programming Languages. [Citation Graph (0, 0)][DBLP]
    META, 1992, pp:205-219 [Conf]
  25. Henning Christiansen
    Recognition of generative languages. [Citation Graph (0, 0)][DBLP]
    Programs as Data Objects, 1985, pp:63-81 [Conf]
  26. Henning Christiansen
    Structure Sharing in Attribute Grammars. [Citation Graph (0, 0)][DBLP]
    PLILP, 1988, pp:180-200 [Conf]
  27. Henning Christiansen
    A constraint-based bottom-up counterpart to definite clause grammars. [Citation Graph (0, 0)][DBLP]
    RANLP, 2003, pp:227-236 [Conf]
  28. 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]
  29. Henning Christiansen
    CHR Grammars [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  30. Henning Christiansen
    CHR as grammar formalism. A first report [Citation Graph (0, 0)][DBLP]
    CoRR, 2001, v:0, n:, pp:- [Journal]
  31. 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]
  32. 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]
  33. Henning Christiansen, Mohand-Said Hacid
    Introduction. [Citation Graph (0, 0)][DBLP]
    J. Intell. Inf. Syst., 2006, v:26, n:1, pp:5-6 [Journal]
  34. 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]
  35. Henning Christiansen
    A survey of adaptable grammars. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1990, v:25, n:11, pp:35-44 [Journal]
  36. Henning Christiansen
    Structure Sharing in Incremental Systems. [Citation Graph (0, 0)][DBLP]
    Structured Programming, 1989, v:10, n:4, pp:169-186 [Journal]
  37. Henning Christiansen
    CHR grammars. [Citation Graph (0, 0)][DBLP]
    TPLP, 2005, v:5, n:4-5, pp:467-501 [Journal]
  38. 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]

  39. Integrity Checking and Maintenance with Active Rules in XML Databases. [Citation Graph (, )][DBLP]


  40. Preprocessing for Optimization of Probabilistic-Logic Models for Sequence Analysis. [Citation Graph (, )][DBLP]


  41. Non-discriminating Arguments and Their Uses. [Citation Graph (, )][DBLP]


  42. Adaptable Grammars for Non-Context-Free Languages. [Citation Graph (, )][DBLP]


  43. Abductive Logic Grammars. [Citation Graph (, )][DBLP]


  44. Inference with Constrained Hidden Markov Models in PRISM [Citation Graph (, )][DBLP]


Search in 0.027secs, Finished in 0.028secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002