Henning Christiansen

According to our database, Henning Christiansen authored at least 74 papers between 1982 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

SPL^index: A Spatial Polygon Learned Index.

Masoumeh Vahedi, Henning Christiansen

Proceedings of the Foundations of Intelligent Systems - 27th International Symposium, 2024

2020

Robots on stage.

Henning Christiansen, Anja Mølle Lindelof

EAI Endorsed Trans. Creative Technol., 2020

Efficient and Precise Classification of CT Scannings of Renal Tumors Using Convolutional Neural Networks.

Mikkel Pedersen, Henning Christiansen, Nessn H. Azawi

Proceedings of the Foundations of Intelligent Systems - 25th International Symposium, 2020

2019

Confluence and convergence modulo equivalence in probabilistically terminating reduction systems.

Maja H. Kirkeby, Henning Christiansen

Int. J. Approx. Reason., 2019

2018

Towards a Constraint Solver for Proving Confluence with Invariant and Equivalence of Realistic CHR Programs.

Henning Christiansen, Maja H. Kirkeby

Proceedings of the Functional and Constraint Logic Programming, 2018

Breathing Life into Familiar Domestic Objects.

Henning Christiansen, Anja Mølle Lindelof, Mads Hobye

Proceedings of the 27th IEEE International Symposium on Robot and Human Interactive Communication, 2018

Confluence of CHR Revisited: Invariants and Modulo Equivalence.

Henning Christiansen, Maja H. Kirkeby

Proceedings of the Logic-Based Program Synthesis and Transformation, 2018

Natural language processing with (tabled and constraint) logic programming.

Henning Christiansen, Verónica Dahl

Proceedings of the Declarative Logic Programming: Theory, Systems, and Applications, 2018

2017

On proving confluence modulo equivalence for Constraint Handling Rules.

Henning Christiansen, Maja H. Kirkeby

Formal Aspects Comput., 2017

Interactive Installations for Spatial Access to Artistic Sketchbooks.

Henning Christiansen, Bjørn Laursen

EAI Endorsed Trans. Creative Technol., 2017

A simple script language for choreography of multiple, synchronizing non-anthropomorphic robots.

Henning Christiansen

CoRR, 2017

Confluence and Convergence in Probabilistically Terminating Reduction Systems.

Maja H. Kirkeby, Henning Christiansen

Proceedings of the Logic-Based Program Synthesis and Transformation, 2017

2016

Widening the Experience of Artistic Sketchbooks.

Henning Christiansen, Bjørn Laursen

Proceedings of the Interactivity, Game Creation, Design, Learning, and Innovation, 2016

2015

Tracing Shifts in Emotions in Streaming Social Network Data.

Troels Andreasen, Henning Christiansen, Christian Theil Have

Proceedings of the Foundations of Intelligent Systems - 22nd International Symposium, 2015

Ontology-Based Roles Association Networks for Visualizing Trends in Political Debate.

Troels Andreasen, Henning Christiansen, Mads Kæmsgaard Eberholst

Proceedings of the Modeling and Using Context, 2015

2014

Confluence Modulo Equivalence in Constraint Handling Rules.

Henning Christiansen, Maja H. Kirkeby

Proceedings of the Logic-Based Program Synthesis and Transformation, 2014

Constraint Logic Programming for Resolution of Relative Time Expressions.

Henning Christiansen

Proceedings of the Language, Life, Limits - 10th Conference on Computability in Europe, 2014

Constraint Programming for Context Comprehension.

Henning Christiansen

Proceedings of the Context in Computing, 2014

2013

Effects of using coding potential, sequence conservation and mRNA structure conservation for predicting pyrroly-sine containing genes.

Christian Theil Have, Sine Zambach, Henning Christiansen

BMC Bioinform., 2013

Querying Sentiment Development over Time.

Troels Andreasen, Henning Christiansen, Christian Theil Have

Proceedings of the Flexible Query Answering Systems - 10th International Conference, 2013

2012

Efficient Tabling of Structured Data Using Indexing and Program Transformation.

Christian Theil Have, Henning Christiansen

Proceedings of the Practical Aspects of Declarative Languages, 2012

A Declarative Pipeline Language for Complex Data Analysis.

Henning Christiansen, Christian Theil Have, Ole Torp Lassen, Matthieu Petit

Proceedings of the Logic-Based Program Synthesis and Transformation, 2012

Resolving Relative Time Expressions in Dutch Text with Constraint Handling Rules.

Matje van de Camp, Henning Christiansen

Proceedings of the Constraint Solving and Language Processing - 7th International Workshop, 2012

2011

Bayesian Annotation Networks for Complex Sequence Analysis.

Henning Christiansen, Christian Theil Have, Ole Torp Lassen, Matthieu Petit

Proceedings of the Technical Communications of the 27th International Conference on Logic Programming, 2011

Modeling Repeats in DNA Using Probabilistic Extended Regular Expressions.

Christian Theil Have, Henning Christiansen

Proceedings of the Biology, Computation and Linguistics - New Interdisciplinary Paradigms, 2011

Taming the Zoo of Discrete HMM Subspecies & Some of their Relatives.

Henning Christiansen, Christian Theil Have, Ole Torp Lassen, Matthieu Petit

Proceedings of the Biology, Computation and Linguistics - New Interdisciplinary Paradigms, 2011

2010

Inference with constrained hidden Markov models in PRISM.

Henning Christiansen, Christian Theil Have, Ole Torp Lassen, Matthieu Petit

Theory Pract. Log. Program., 2010

2009

Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules.

Henning Christiansen

J. Appl. Log., 2009

Abductive Logic Grammars.

Henning Christiansen, Verónica Dahl

Proceedings of the Logic, 2009

Adaptable Grammars for Non-Context-Free Languages.

Henning Christiansen

Proceedings of the Bio-Inspired Systems: Computational and Ambient Intelligence, 2009

Preprocessing for Optimization of Probabilistic-Logic Models for Sequence Analysis.

Henning Christiansen, Ole Torp Lassen

Proceedings of the Logic Programming, 25th International Conference, 2009

Non-discriminating Arguments and Their Uses.

Henning Christiansen, John P. Gallagher

Proceedings of the Logic Programming, 25th International Conference, 2009

2008

Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules.

Henning Christiansen

Proceedings of the Constraint Handling Rules, 2008

2007

A Machine Learning Approach to Test Data Generation: A Case Study in Evaluation of Gene Finders.

Henning Christiansen, Christina Mackeprang Dahmcke

Proceedings of the Machine Learning and Data Mining in Pattern Recognition, 2007

Integrity Checking and Maintenance with Active Rules in XML Databases.

Henning Christiansen, Maria Rekouts

Proceedings of the Workshop Proceedings of the 24th British National Conference on Databases, 2007

2006

Introduction.

Henning Christiansen, Mohand-Said Hacid

J. Intell. Inf. Syst., 2006

On Simplification of Database Integrity Constraints.

Henning Christiansen, Davide Martinenghi

Fundam. Informaticae, 2006

On Using Simplification and Correction Tables for Integrity Maintenance in Integrated Databases.

Henning Christiansen, Davide Martinenghi

Proceedings of the 17th International Workshop on Database and Expert Systems Applications (DEXA 2006), 2006

On the Implementation of Global Abduction.

Henning Christiansen

Proceedings of the Computational Logic in Multi-Agent Systems, 7th International Workshop, 2006

2005

CHR grammars.

Henning Christiansen

Theory Pract. Log. Program., 2005

Incremental Integrity Checking: Limitations and Possibilities.

Henning Christiansen, Davide Martinenghi

Proceedings of the Logic for Programming, 2005

HYPROLOG: A New Logic Programming Language with Assumptions and Abduction.

Henning Christiansen, Verónica Dahl

Proceedings of the Logic Programming, 21st International Conference, 2005

Transaction Management with Integrity Checking.

Davide Martinenghi, Henning Christiansen

Proceedings of the Database and Expert Systems Applications, 16th International Conference, 2005

Meaning in Context.

Henning Christiansen, Verónica Dahl

Proceedings of the Modeling and Using Context, 2005

Efficient Integrity Checking for Databases with Recursive Views.

Davide Martinenghi, Henning Christiansen

Proceedings of the Advances in Databases and Information Systems, 2005

2004

Teaching Computer Languages and Elementary Theory for Mixed Audiences at University Level.

Henning Christiansen

Comput. Sci. Educ., 2004

Assumptions and Abduction in Prolog.

Henning Christiansen, Verónica Dahl

Proceedings of the 14th International Workshop on Logic Programming Environments, 2004

Simplification of Integrity Constraints for Data Integration.

Henning Christiansen, Davide Martinenghi

Proceedings of the Foundations of Information and Knowledge Systems, 2004

2003

Logic Grammars for Diagnosis and Repair.

Henning Christiansen, Verónica Dahl

Int. J. Artif. Intell. Tools, 2003

A constraint-based bottom-up counterpart to definite clause grammars.

Henning Christiansen

Proceedings of the Recent Advances in Natural Language Processing III, 2003

Simplification of Database Integrity Constraints Revisited: A Transformational Approach.

Henning Christiansen, Davide Martinenghi

Proceedings of the Logic Based Program Synthesis and Transformation, 2003

2002

Logical Grammars Based on Constraint Handling Rules.

Henning Christiansen

Proceedings of the Logic Programming, 18th International Conference, 2002

2001

CHR as grammar formalism. A first report

Henning Christiansen

CoRR, 2001

2000

Symbolic Constraints for Meta-Logic Programming.

Henning Christiansen, Davide Martinenghi

Appl. Artif. Intell., 2000

An Experimental CLP Platform for Integrity Constraints and Abduction.

Slim Abdennadher, Henning Christiansen

Proceedings of the Flexible Query Answering Systems, 2000

1999

Open Theories and Abduction for Context and Accommodation.

Henning Christiansen

Proceedings of the Modeling and Using Context, 1999

1998

Automated Reasoning with a Constraint-Based Metainterpreter.

Henning Christiansen

J. Log. Program., 1998

Knowledge Discovery for Flexible Querying.

Henrik Legind Larsen, Troels Andreasen, Henning Christiansen

Proceedings of the Flexible Query Answering Systems, Third International Conference, 1998

A Practical Approach to Hypothetical Database Queries.

Henning Christiansen, Troels Andreasen

Proceedings of the Transactions and Change in Logic Databases, 1998

1997

Implicit Program Synthesis by a Reversible Metainterpreter.

Henning Christiansen

Proceedings of the Logic Programming Synthesis and Transformation, 1997

Hypothetical Queries to Deductive Databases.

Troels Andreasen, Henning Christiansen

Proceedings of the Fifth International Workshop on Deductive Databases and Logic Programming, 1997

1996

Flexible Query-Answering Systems Modelled in Metalogic Programming.

Troels Andreasen, Henning Christiansen

Proceedings of the Knowledge Representation Meets Databases, 1996

An Experimental Prototype for Flexible Query-Answering Mechanisms - A Metainterpretation Approach.

Henning Christiansen, Troels Andreasen

Proceedings of the Flexible Query-Answering Systems, 1996

Counterfactual Exceptions in Deductive Database Queries.

Troels Andreasen, Henning Christiansen

Proceedings of the 12th European Conference on Artificial Intelligence, 1996

1995

Alternative Reasoning in a Metaprogramming System.

Henning Christiansen

Proceedings of the Deductive Databases and Logic Programming, 1995

1994

On Proof Predicates in Logic Programming.

Henning Christiansen

Proceedings of the ICLP 1994, 1994

Efficient and Complete Demo Predicates for Definite Clause Languages.

Henning Christiansen

Proceedings of the Logic Programming, 1994

Negative Counterfactuals as Constraints in Deductive Databases.

Henning Christiansen, Troels Andreasen, Alf Beck Nielsen

Proceedings of the Flexible Query-Answering Systems, 1994

1992

A Complete Resolution method for Logical Meta-Programming Languages.

Henning Christiansen

Proceedings of the Meta-Programming in Logic, 3rd International Workshop, 1992

1990

A survey of adaptable grammars.

Henning Christiansen

ACM SIGPLAN Notices, 1990

1989

Structure Sharing in Incremental Systems.

Henning Christiansen

Struct. Program., 1989

1988

Structure Sharing in Attribute Grammars.

Henning Christiansen

Proceedings of the Programming Language Implementation and Logic Programming, 1988

1985

Recognition of generative languages.

Henning Christiansen

Proceedings of the Programs as Data Objects, 1985

1982

Control Flow Treatment in a Simple Semantics-Directed Compiler Generator.

Henning Christiansen, Neil D. Jones

Proceedings of the Formal Description of Programming Concepts : Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts- II, 1982