Henning Christiansen

Orcid: 0000-0003-4731-9927

Affiliations:
  • Roskilde University, Department of People and Technology, Denmark


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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
SPL<sup>index</sup>: A Spatial Polygon Learned Index.
Proceedings of the Foundations of Intelligent Systems - 27th International Symposium, 2024

2020
Robots on stage.
EAI Endorsed Trans. Creative Technol., 2020

Efficient and Precise Classification of CT Scannings of Renal Tumors Using Convolutional Neural Networks.
Proceedings of the Foundations of Intelligent Systems - 25th International Symposium, 2020

2019
Confluence and convergence modulo equivalence in probabilistically terminating reduction systems.
Int. J. Approx. Reason., 2019

2018
Towards a Constraint Solver for Proving Confluence with Invariant and Equivalence of Realistic CHR Programs.
Proceedings of the Functional and Constraint Logic Programming, 2018

Breathing Life into Familiar Domestic Objects.
Proceedings of the 27th IEEE International Symposium on Robot and Human Interactive Communication, 2018

Confluence of CHR Revisited: Invariants and Modulo Equivalence.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2018

Natural language processing with (tabled and constraint) logic programming.
Proceedings of the Declarative Logic Programming: Theory, Systems, and Applications, 2018

2017
On proving confluence modulo equivalence for Constraint Handling Rules.
Formal Aspects Comput., 2017

Interactive Installations for Spatial Access to Artistic Sketchbooks.
EAI Endorsed Trans. Creative Technol., 2017

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

Confluence and Convergence in Probabilistically Terminating Reduction Systems.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2017

2016
Widening the Experience of Artistic Sketchbooks.
Proceedings of the Interactivity, Game Creation, Design, Learning, and Innovation, 2016

2015
Tracing Shifts in Emotions in Streaming Social Network Data.
Proceedings of the Foundations of Intelligent Systems - 22nd International Symposium, 2015

Ontology-Based Roles Association Networks for Visualizing Trends in Political Debate.
Proceedings of the Modeling and Using Context, 2015

2014
Confluence Modulo Equivalence in Constraint Handling Rules.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2014

Constraint Logic Programming for Resolution of Relative Time Expressions.
Proceedings of the Language, Life, Limits - 10th Conference on Computability in Europe, 2014

Constraint Programming for Context Comprehension.
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.
BMC Bioinform., 2013

Querying Sentiment Development over Time.
Proceedings of the Flexible Query Answering Systems - 10th International Conference, 2013

2012
Efficient Tabling of Structured Data Using Indexing and Program Transformation.
Proceedings of the Practical Aspects of Declarative Languages, 2012

A Declarative Pipeline Language for Complex Data Analysis.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2012

Resolving Relative Time Expressions in Dutch Text with Constraint Handling Rules.
Proceedings of the Constraint Solving and Language Processing - 7th International Workshop, 2012

2011
Bayesian Annotation Networks for Complex Sequence Analysis.
Proceedings of the Technical Communications of the 27th International Conference on Logic Programming, 2011

Modeling Repeats in DNA Using Probabilistic Extended Regular Expressions.
Proceedings of the Biology, Computation and Linguistics - New Interdisciplinary Paradigms, 2011

Taming the Zoo of Discrete HMM Subspecies & Some of their Relatives.
Proceedings of the Biology, Computation and Linguistics - New Interdisciplinary Paradigms, 2011

2010
Inference with constrained hidden Markov models in PRISM.
Theory Pract. Log. Program., 2010

2009
Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules.
J. Appl. Log., 2009

Abductive Logic Grammars.
Proceedings of the Logic, 2009

Adaptable Grammars for Non-Context-Free Languages.
Proceedings of the Bio-Inspired Systems: Computational and Ambient Intelligence, 2009

Preprocessing for Optimization of Probabilistic-Logic Models for Sequence Analysis.
Proceedings of the Logic Programming, 25th International Conference, 2009

Non-discriminating Arguments and Their Uses.
Proceedings of the Logic Programming, 25th International Conference, 2009

2008
Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules.
Proceedings of the Constraint Handling Rules, 2008

2007
A Machine Learning Approach to Test Data Generation: A Case Study in Evaluation of Gene Finders.
Proceedings of the Machine Learning and Data Mining in Pattern Recognition, 2007

Integrity Checking and Maintenance with Active Rules in XML Databases.
Proceedings of the Workshop Proceedings of the 24th British National Conference on Databases, 2007

2006
Introduction.
J. Intell. Inf. Syst., 2006

On Simplification of Database Integrity Constraints.
Fundam. Informaticae, 2006

On Using Simplification and Correction Tables for Integrity Maintenance in Integrated Databases.
Proceedings of the 17th International Workshop on Database and Expert Systems Applications (DEXA 2006), 2006

On the Implementation of Global Abduction.
Proceedings of the Computational Logic in Multi-Agent Systems, 7th International Workshop, 2006

2005
CHR grammars.
Theory Pract. Log. Program., 2005

Incremental Integrity Checking: Limitations and Possibilities.
Proceedings of the Logic for Programming, 2005

HYPROLOG: A New Logic Programming Language with Assumptions and Abduction.
Proceedings of the Logic Programming, 21st International Conference, 2005

Transaction Management with Integrity Checking.
Proceedings of the Database and Expert Systems Applications, 16th International Conference, 2005

Meaning in Context.
Proceedings of the Modeling and Using Context, 2005

Efficient Integrity Checking for Databases with Recursive Views.
Proceedings of the Advances in Databases and Information Systems, 2005

2004
Teaching Computer Languages and Elementary Theory for Mixed Audiences at University Level.
Comput. Sci. Educ., 2004

Assumptions and Abduction in Prolog.
Proceedings of the 14th International Workshop on Logic Programming Environments, 2004

Simplification of Integrity Constraints for Data Integration.
Proceedings of the Foundations of Information and Knowledge Systems, 2004

2003
Logic Grammars for Diagnosis and Repair.
Int. J. Artif. Intell. Tools, 2003

A constraint-based bottom-up counterpart to definite clause grammars.
Proceedings of the Recent Advances in Natural Language Processing III, 2003

Simplification of Database Integrity Constraints Revisited: A Transformational Approach.
Proceedings of the Logic Based Program Synthesis and Transformation, 2003

2002
Logical Grammars Based on Constraint Handling Rules.
Proceedings of the Logic Programming, 18th International Conference, 2002

2001
CHR as grammar formalism. A first report
CoRR, 2001

2000
Symbolic Constraints for Meta-Logic Programming.
Appl. Artif. Intell., 2000

An Experimental CLP Platform for Integrity Constraints and Abduction.
Proceedings of the Flexible Query Answering Systems, 2000

1999
Open Theories and Abduction for Context and Accommodation.
Proceedings of the Modeling and Using Context, 1999

1998
Automated Reasoning with a Constraint-Based Metainterpreter.
J. Log. Program., 1998

Knowledge Discovery for Flexible Querying.
Proceedings of the Flexible Query Answering Systems, Third International Conference, 1998

A Practical Approach to Hypothetical Database Queries.
Proceedings of the Transactions and Change in Logic Databases, 1998

1997
Implicit Program Synthesis by a Reversible Metainterpreter.
Proceedings of the Logic Programming Synthesis and Transformation, 1997

Hypothetical Queries to Deductive Databases.
Proceedings of the Fifth International Workshop on Deductive Databases and Logic Programming, 1997

1996
Flexible Query-Answering Systems Modelled in Metalogic Programming.
Proceedings of the Knowledge Representation Meets Databases, 1996

An Experimental Prototype for Flexible Query-Answering Mechanisms - A Metainterpretation Approach.
Proceedings of the Flexible Query-Answering Systems, 1996

Counterfactual Exceptions in Deductive Database Queries.
Proceedings of the 12th European Conference on Artificial Intelligence, 1996

1995
Alternative Reasoning in a Metaprogramming System.
Proceedings of the Deductive Databases and Logic Programming, 1995

1994
On Proof Predicates in Logic Programming.
Proceedings of the ICLP 1994, 1994

Efficient and Complete Demo Predicates for Definite Clause Languages.
Proceedings of the Logic Programming, 1994

Negative Counterfactuals as Constraints in Deductive Databases.
Proceedings of the Flexible Query-Answering Systems, 1994

1992
A Complete Resolution method for Logical Meta-Programming Languages.
Proceedings of the Meta-Programming in Logic, 3rd International Workshop, 1992

1990
A survey of adaptable grammars.
ACM SIGPLAN Notices, 1990

1989
Structure Sharing in Incremental Systems.
Struct. Program., 1989

1988
Structure Sharing in Attribute Grammars.
Proceedings of the Programming Language Implementation and Logic Programming, 1988

1985
Recognition of generative languages.
Proceedings of the Programs as Data Objects, 1985

1982
Control Flow Treatment in a Simple Semantics-Directed Compiler Generator.
Proceedings of the Formal Description of Programming Concepts : Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts- II, 1982


  Loading...