Henning Christiansen

Publication Activity (10 Years)

Years Active: 1982-2024
Publications (10 Years): 16

Top Topics

Arc Consistency Algorithm

Constraint Logic Programming

Constraint Solvers

Convolutional Neural Networks

Top Venues

EAI Endorsed Trans. Creative Technol.

Publications

Masoumeh Vahedi, Henning Christiansen
: A Spatial Polygon Learned Index. ISMIS (2024)
Henning Christiansen, Anja Mølle Lindelof
Robots on stage. EAI Endorsed Trans. Creative Technol. 7 (25) (2020)
Mikkel Pedersen, Henning Christiansen, Nessn H. Azawi
Efficient and Precise Classification of CT Scannings of Renal Tumors Using Convolutional Neural Networks. ISMIS (2020)
Maja H. Kirkeby, Henning Christiansen
Confluence and convergence modulo equivalence in probabilistically terminating reduction systems. Int. J. Approx. Reason. 105 (2019)
Henning Christiansen, Maja H. Kirkeby
Towards a constraint solver for proving confluence with invariant and equivalence of realistic CHR programs. CoRR (2018)
Henning Christiansen, Maja H. Kirkeby
Towards a Constraint Solver for Proving Confluence with Invariant and Equivalence of Realistic CHR Programs. WFLP (2018)
Henning Christiansen, Maja H. Kirkeby
Confluence of CHR revisited: invariants and modulo equivalence. CoRR (2018)
Henning Christiansen, Maja H. Kirkeby
Confluence of CHR Revisited: Invariants and Modulo Equivalence. LOPSTR (2018)
Henning Christiansen, Anja Mølle Lindelof, Mads Hobye
Breathing Life into Familiar Domestic Objects. RO-MAN (2018)
Henning Christiansen, Maja H. Kirkeby
On proving confluence modulo equivalence for Constraint Handling Rules. Formal Aspects Comput. 29 (1) (2017)
Henning Christiansen, Bjørn Laursen
Interactive Installations for Spatial Access to Artistic Sketchbooks. EAI Endorsed Trans. Creative Technol. 4 (12) (2017)
Maja H. Kirkeby, Henning Christiansen
Confluence and Convergence in Probabilistically Terminating Reduction Systems. LOPSTR (2017)
Henning Christiansen
A simple script language for choreography of multiple, synchronizing non-anthropomorphic robots. CoRR (2017)
Maja H. Kirkeby, Henning Christiansen
Confluence and Convergence in Probabilistically Terminating Reduction Systems. CoRR (2017)
Henning Christiansen, Bjørn Laursen
Widening the Experience of Artistic Sketchbooks. ArtsIT/DLI (2016)
Henning Christiansen, Maja H. Kirkeby
On Proving Confluence Modulo Equivalence for Constraint Handling Rules. CoRR (2016)
Troels Andreasen, Henning Christiansen, Christian Theil Have
Tracing Shifts in Emotions in Streaming Social Network Data. ISMIS (2015)
Troels Andreasen, Henning Christiansen, Mads Kæmsgaard Eberholst
Ontology-Based Roles Association Networks for Visualizing Trends in Political Debate. CONTEXT (2015)
Henning Christiansen
Constraint Logic Programming for Resolution of Relative Time Expressions. CiE (2014)
Henning Christiansen, Maja H. Kirkeby
Confluence Modulo Equivalence in Constraint Handling Rules. LOPSTR (2014)
Christian Theil Have, Sine Zambach, Henning Christiansen
Effects of using coding potential, sequence conservation and mRNA structure conservation for predicting pyrroly-sine containing genes. BMC Bioinform. 14 (2013)
Troels Andreasen, Henning Christiansen, Christian Theil Have
Querying Sentiment Development over Time. FQAS (2013)
Matje van de Camp, Henning Christiansen
Resolving Relative Time Expressions in Dutch Text with Constraint Handling Rules. CSLP (2012)
Henning Christiansen, Christian Theil Have, Ole Torp Lassen, Matthieu Petit
A Declarative Pipeline Language for Complex Data Analysis. LOPSTR (2012)
Christian Theil Have, Henning Christiansen
Efficient Tabling of Structured Data Using Indexing and Program Transformation. PADL (2012)
Henning Christiansen, Christian Theil Have, Ole Torp Lassen, Matthieu Petit
Bayesian Annotation Networks for Complex Sequence Analysis. ICLP (Technical Communications) (2011)
Henning Christiansen, Christian Theil Have, Ole Torp Lassen, Matthieu Petit
Inference with constrained hidden Markov models in PRISM. Theory Pract. Log. Program. 10 (4-6) (2010)
Henning Christiansen, Christian Theil Have, Ole Torp Lassen, Matthieu Petit
Inference with Constrained Hidden Markov Models in PRISM CoRR (2010)
Henning Christiansen
Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules. J. Appl. Log. 7 (3) (2009)
Henning Christiansen, John P. Gallagher
Non-discriminating Arguments and Their Uses. ICLP (2009)
Henning Christiansen, Ole Torp Lassen
Preprocessing for Optimization of Probabilistic-Logic Models for Sequence Analysis. ICLP (2009)
Henning Christiansen
Adaptable Grammars for Non-Context-Free Languages. IWANN (1) (2009)
Henning Christiansen, Verónica Dahl
Abductive Logic Grammars. WoLLIC (2009)
Henning Christiansen, Christina Mackeprang Dahmcke
A Machine Learning Approach to Test Data Generation: A Case Study in Evaluation of Gene Finders. MLDM (2007)
Henning Christiansen, Maria Rekouts
Integrity Checking and Maintenance with Active Rules in XML Databases. BNCOD Workshops (2007)
Henning Christiansen, Mohand-Said Hacid
Introduction. J. Intell. Inf. Syst. 26 (1) (2006)
Henning Christiansen
On the Implementation of Global Abduction. CLIMA (2006)
Henning Christiansen, Davide Martinenghi
On Simplification of Database Integrity Constraints. Fundam. Informaticae 71 (4) (2006)
Henning Christiansen, Davide Martinenghi
On Using Simplification and Correction Tables for Integrity Maintenance in Integrated Databases. DEXA Workshops (2006)
Davide Martinenghi, Henning Christiansen
Efficient Integrity Checking for Databases with Recursive Views. ADBIS (2005)
Henning Christiansen, Davide Martinenghi
Incremental Integrity Checking: Limitations and Possibilities. LPAR (2005)
Henning Christiansen, Verónica Dahl
HYPROLOG: A New Logic Programming Language with Assumptions and Abduction. ICLP (2005)
Henning Christiansen, Verónica Dahl
Meaning in Context. CONTEXT (2005)
Davide Martinenghi, Henning Christiansen
Transaction Management with Integrity Checking. DEXA (2005)
Henning Christiansen
CHR grammars. Theory Pract. Log. Program. 5 (4-5) (2005)
Henning Christiansen
Teaching Computer Languages and Elementary Theory for Mixed Audiences at University Level. Comput. Sci. Educ. 14 (3) (2004)
Henning Christiansen
CHR Grammars CoRR (2004)
Henning Christiansen, Davide Martinenghi
Simplification of Integrity Constraints for Data Integration. FoIKS (2004)
Henning Christiansen, Verónica Dahl
Assumptions and Abduction in Prolog. WLPE (2004)
Henning Christiansen
A constraint-based bottom-up counterpart to definite clause grammars. RANLP (2003)
Henning Christiansen, Davide Martinenghi
Simplification of Database Integrity Constraints Revisited: A Transformational Approach. LOPSTR (2003)
Henning Christiansen, Verónica Dahl
Logic Grammars for Diagnosis and Repair. Int. J. Artif. Intell. Tools 12 (3) (2003)
Henning Christiansen, Verónica Dahl
Logic Grammars for Diagnosis and Repair. ICTAI (2002)
Henning Christiansen
Logical Grammars Based on Constraint Handling Rules. ICLP (2002)
Henning Christiansen
CHR as grammar formalism. A first report CoRR (2001)
Henning Christiansen, Davide Martinenghi
Symbolic Constraints for Meta-Logic Programming. Appl. Artif. Intell. 14 (4) (2000)
Slim Abdennadher, Henning Christiansen
An Experimental CLP Platform for Integrity Constraints and Abduction. FQAS (2000)
Henning Christiansen
Open Theories and Abduction for Context and Accommodation. CONTEXT (1999)
Henning Christiansen, Troels Andreasen
A Practical Approach to Hypothetical Database Queries. Transactions and Change in Logic Databases (1998)
Henning Christiansen
Automated Reasoning with a Constraint-Based Metainterpreter. J. Log. Program. 37 (1-3) (1998)
Henrik Legind Larsen, Troels Andreasen, Henning Christiansen
Knowledge Discovery for Flexible Querying. FQAS (1998)
Henning Christiansen
Implicit Program Synthesis by a Reversible Metainterpreter. LOPSTR (1997)
Troels Andreasen, Henning Christiansen
Hypothetical Queries to Deductive Databases. DDLP (1997)
Troels Andreasen, Henning Christiansen
Counterfactual Exceptions in Deductive Database Queries. ECAI (1996)
Troels Andreasen, Henning Christiansen
Flexible Query-Answering Systems Modelled in Metalogic Programming. KRDB (1996)
Henning Christiansen, Troels Andreasen
An Experimental Prototype for Flexible Query-Answering Mechanisms - A Metainterpretation Approach. FQAS (1996)
Henning Christiansen
Alternative Reasoning in a Metaprogramming System. Deductive Databases / Abduction in Deductive Databases (1995)
Henning Christiansen, Troels Andreasen, Alf Beck Nielsen
Negative Counterfactuals as Constraints in Deductive Databases. FQAS (1994)
Henning Christiansen
On Proof Predicates in Logic Programming. ICLP Workshop: Proof-Theoretical Extensions on Logic Programming (1994)
Henning Christiansen
Efficient and Complete Demo Predicates for Definite Clause Languages. ICLP (1994)
Henning Christiansen
A Complete Resolution method for Logical Meta-Programming Languages. META (1992)
Henning Christiansen
A survey of adaptable grammars. ACM SIGPLAN Notices 25 (11) (1990)
Henning Christiansen
Structure Sharing in Incremental Systems. Struct. Program. 10 (4) (1989)
Henning Christiansen
Structure Sharing in Attribute Grammars. PLILP (1988)
Henning Christiansen
Recognition of generative languages. Programs as Data Objects (1985)
Henning Christiansen, Neil D. Jones
Control Flow Treatment in a Simple Semantics-Directed Compiler Generator. Formal Description of Programming Concepts (1982)