| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Christian Theil Have, Henning Christiansen |
Efficient Tabling of Structured Data Using Indexing and Program Transformation.  |
PADL  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Christiansen, Christian Theil Have, Ole Torp Lassen, Matthieu Petit |
Bayesian Annotation Networks for Complex Sequence Analysis. |
ICLP (Technical Communications) |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Beigl, Henning Christiansen, Thomas Roth-Berghofer, Anders Kofod-Petersen, Kenny R. Coventry, Hedda Rahel Schmidtke (eds.) |
Modeling and Using Context - 7th International and Interdisciplinary Conference, CONTEXT 2011, Karlsruhe, Germany, September 26-30, 2011. Proceedings |
CONTEXT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Christiansen, Guy De Tré, Adnan Yazici, Slawomir Zadrozny, Troels Andreasen, Henrik Legind Larsen (eds.) |
Flexible Query Answering Systems - 9th International Conference, FQAS 2011, Ghent, Belgium, October 26-28, 2011 Proceedings |
FQAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Christiansen, Christian Theil Have, Ole Torp Lassen, Matthieu Petit |
Inference with Constrained Hidden Markov Models in PRISM |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Henning Christiansen, Christian Theil Have, Ole Torp Lassen, Matthieu Petit |
Inference with constrained hidden Markov models in PRISM. |
TPLP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Christiansen |
Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules. |
J. Applied Logic |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Christiansen, Verónica Dahl |
Abductive Logic Grammars. |
WoLLIC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Christiansen, John P. Gallagher |
Non-discriminating Arguments and Their Uses. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Christiansen, Ole Torp Lassen |
Preprocessing for Optimization of Probabilistic-Logic Models for Sequence Analysis. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Troels Andreasen, Ronald R. Yager, Henrik Bulskov, Henning Christiansen, Henrik Legind Larsen (eds.) |
Flexible Query Answering Systems, 8th International Conference, FQAS 2009, Roskilde, Denmark, October 26-28, 2009. Proceedings |
FQAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Christiansen |
Adaptable Grammars for Non-Context-Free Languages. |
IWANN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Christiansen |
Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules. |
Constraint Handling Rules |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Christiansen, Maria Rekouts |
Integrity Checking and Maintenance with Active Rules in XML Databases. |
BNCOD Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Christiansen, Christina Mackeprang Dahmcke |
A Machine Learning Approach to Test Data Generation: A Case Study in Evaluation of Gene Finders. |
MLDM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Christiansen, Davide Martinenghi |
On Simplification of Database Integrity Constraints. |
Fundam. Inform. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Henning Christiansen, Mohand-Said Hacid |
Introduction. |
J. Intell. Inf. Syst. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Christiansen |
On the Implementation of Global Abduction. |
CLIMA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Henrik Legind Larsen, Gabriella Pasi, Daniel Ortiz Arroyo, Troels Andreasen, Henning Christiansen (eds.) |
Flexible Query Answering Systems, 7th International Conference, FQAS 2006, Milan, Italy, June 7-10, 2006, Proceedings |
FQAS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Henning Christiansen, Davide Martinenghi |
On Using Simplification and Correction Tables for Integrity Maintenance in Integrated Databases. |
DEXA Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Christiansen |
CHR grammars. |
TPLP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Christiansen, Davide Martinenghi |
Incremental Integrity Checking: Limitations and Possibilities. |
LPAR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Christiansen, Verónica Dahl |
HYPROLOG: A New Logic Programming Language with Assumptions and Abduction. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Christiansen, Verónica Dahl |
Meaning in Context. |
CONTEXT |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Martinenghi, Henning Christiansen |
Transaction Management with Integrity Checking. |
DEXA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Christiansen, Peter Rossen Skadhauge, Jørgen Villadsen (eds.) |
Constraint Solving and Language Processing, First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004, Revised Selected and Invited Papers |
CSLP |
2005 |
DBLP BibTeX RDF |
|
| 1 | Davide Martinenghi, Henning Christiansen |
Efficient Integrity Checking for Databases with Recursive Views. |
ADBIS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Christiansen |
CHR Grammars |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Henning Christiansen, Davide Martinenghi |
Simplification of Integrity Constraints for Data Integration. |
FoIKS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Christiansen, Mohand-Said Hacid, Troels Andreasen, Henrik Legind Larsen (eds.) |
Flexible Query Answering Systems, 6th International Conference, FQAS 2004, Lyon, France, June 24-26, 2004, Proceedings |
FQAS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Henning Christiansen, Verónica Dahl |
Logic Grammars for Diagnosis and Repair. |
International Journal on Artificial Intelligence Tools |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Christiansen |
A constraint-based bottom-up counterpart to definite clause grammars. |
RANLP |
2003 |
DBLP BibTeX RDF |
|
| 1 | Henning Christiansen, Davide Martinenghi |
Simplification of Database Integrity Constraints Revisited: A Transformational Approach. |
LOPSTR |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Christiansen |
Logical Grammars Based on Constraint Handling Rules. |
ICLP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Christiansen, Verónica Dahl |
Logic Grammars for Diagnosis and Repair. |
ICTAI |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Troels Andreasen, Amihai Motro, Henning Christiansen, Henrik Legind Larsen (eds.) |
Flexible Query Answering Systems, 5th International Conference, FQAS 2002, Copenhagen, Denmark, October 27-29, 2002, Proceedings |
FQAS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Henning Christiansen |
CHR as grammar formalism. A first report |
CoRR |
2001 |
DBLP BibTeX RDF |
|
| 1 | Henning Christiansen, Davide Martinenghi |
Symbolic Constraints for Meta-Logic Programming. |
Applied Artificial Intelligence |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Slim Abdennadher, Henning Christiansen |
An Experimental CLP Platform for Integrity Constraints and Abduction. |
FQAS |
2000 |
DBLP BibTeX RDF |
|
| 1 | Henning Christiansen |
Open Theories and Abduction for Context and Accommodation. |
CONTEXT |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Christiansen |
Automated Reasoning with a Constraint-Based Metainterpreter. |
J. Log. Program. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Christiansen, Troels Andreasen |
A Practical Approach to Hypothetical Database Queries. |
Transactions and Change in Logic Databases |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Troels Andreasen, Henning Christiansen, Henrik Legind Larsen (eds.) |
Flexible Query Answering Systems, Third International Conference, FQAS'98, Roskilde, Denmark, May 13-15, 1998, Proceedings |
FQAS |
1998 |
DBLP BibTeX RDF |
|
| 1 | Henrik Legind Larsen, Troels Andreasen, Henning Christiansen |
Knowledge Discovery for Flexible Querying. |
FQAS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Troels Andreasen, Henning Christiansen |
Hypothetical Queries to Deductive Databases. |
DDLP |
1997 |
DBLP BibTeX RDF |
|
| 1 | Henning Christiansen |
Implicit Program Synthesis by a Reversible Metainterpreter. |
LOPSTR |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Troels Andreasen, Henning Christiansen |
Counterfactual Exceptions in Deductive Database Queries. |
ECAI |
1996 |
DBLP BibTeX RDF |
|
| 1 | Troels Andreasen, Henning Christiansen |
Flexible Query-Answering Systems Modelled in Metalogic Programming. |
KRDB |
1996 |
DBLP BibTeX RDF |
|
| 1 | Henning Christiansen, Troels Andreasen |
An Experimental Prototype for Flexible Query-Answering Mechanisms - A Metainterpretation Approach. |
FQAS |
1996 |
DBLP BibTeX RDF |
|
| 1 | Henning Christiansen |
Alternative Reasoning in a Metaprogramming System. |
Deductive Databases / Abduction in Deductive Databases |
1995 |
DBLP BibTeX RDF |
|
| 1 | Henning Christiansen |
Efficient and Complete Demo Predicates for Definite Clause Languages. |
ICLP |
1994 |
DBLP BibTeX RDF |
|
| 1 | Henning Christiansen, Troels Andreasen, Alf Beck Nielsen |
Negative Counterfactuals as Constraints in Deductive Databases. |
FQAS |
1994 |
DBLP BibTeX RDF |
|
| 1 | Henning Christiansen |
A Complete Resolution method for Logical Meta-Programming Languages. |
META |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Christiansen |
A survey of adaptable grammars. |
SIGPLAN Notices |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Christiansen |
Structure Sharing in Incremental Systems. |
Structured Programming |
1989 |
DBLP BibTeX RDF |
|
| 1 | Henning Christiansen |
Structure Sharing in Attribute Grammars. |
PLILP |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Henning Christiansen |
Recognition of generative languages. |
Programs as Data Objects |
1985 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")