Henning Christiansen

99 papers A 1B 9C 32Misc 1Journal 25Unranked 23

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	SPL J. Intell. Inf. Syst. Masoumeh Vahedi, Henning Christiansen
2024	B	`conf`	Interval cracking and its application to databases of complex geometries. IEEE Big Data Masoumeh Vahedi, Henning Christiansen
2024	C	`conf`	SPL ISMIS Masoumeh Vahedi, Henning Christiansen
2020	C	`conf`	Efficient and Precise Classification of CT Scannings of Renal Tumors Using Convolutional Neural Networks. ISMIS Mikkel Pedersen, Henning Christiansen, Nessn H. Azawi
2020	J	`jnl`	Robots on stage. EAI Endorsed Trans. Creative Technol. Henning Christiansen, Anja Mølle Lindelof
2019	J	`jnl`	Confluence and convergence modulo equivalence in probabilistically terminating reduction systems. Int. J. Approx. Reason. Maja H. Kirkeby, Henning Christiansen
2019	C	`ed.`	Flexible Query Answering Systems - 13th International Conference, FQAS 2019, Amantea, Italy, July 2-5, 2019, Proceedings FQAS Alfredo Cuzzocrea, Sergio Greco, Henrik Legind Larsen, Domenico Saccà, Troels Andreasen, Henning Christiansen
2018	B	`conf`	Breathing Life into Familiar Domestic Objects. RO-MAN Henning Christiansen, Anja Mølle Lindelof, Mads Hobye
2018	C	`conf`	Confluence of CHR Revisited: Invariants and Modulo Equivalence. LOPSTR Henning Christiansen, Maja H. Kirkeby
2018	J	`jnl`	Confluence of CHR revisited: invariants and modulo equivalence. CoRR Henning Christiansen, Maja H. Kirkeby
2018	—	`ch.`	Natural language processing with (tabled and constraint) logic programming. Declarative Logic Programming Henning Christiansen, Verónica Dahl
2018	—	`conf`	Towards a Constraint Solver for Proving Confluence with Invariant and Equivalence of Realistic CHR Programs. WFLP Henning Christiansen, Maja H. Kirkeby
2018	J	`jnl`	Towards a constraint solver for proving confluence with invariant and equivalence of realistic CHR programs. CoRR Henning Christiansen, Maja H. Kirkeby
2017	J	`jnl`	A simple script language for choreography of multiple, synchronizing non-anthropomorphic robots. CoRR Henning Christiansen
2017	C	`conf`	Confluence and Convergence in Probabilistically Terminating Reduction Systems. LOPSTR Maja H. Kirkeby, Henning Christiansen
2017	J	`jnl`	Confluence and Convergence in Probabilistically Terminating Reduction Systems. CoRR Maja H. Kirkeby, Henning Christiansen
2017	C	`ed.`	Flexible Query Answering Systems - 12th International Conference, FQAS 2017, London, UK, June 21-22, 2017, Proceedings FQAS Henning Christiansen, Hélène Jaudoin, Panagiotis Chountas, Troels Andreasen, Henrik Legind Larsen
2017	J	`jnl`	Interactive Installations for Spatial Access to Artistic Sketchbooks. EAI Endorsed Trans. Creative Technol. Henning Christiansen, Bjørn Laursen
2017	J	`jnl`	On proving confluence modulo equivalence for Constraint Handling Rules. Formal Aspects Comput. Henning Christiansen, Maja H. Kirkeby
2016	C	`ed.`	Flexible Query Answering Systems 2015 - Proceedings of the 11th International Conference FQAS 2015, Cracow, Poland, October 26-28, 2015 FQAS Troels Andreasen, Henning Christiansen, Janusz Kacprzyk, Henrik Legind Larsen, Gabriella Pasi, Olivier Pivert, Guy De Tré, Maria-Amparo Vila, Adnan Yazici, Slawomir Zadrozny
2016	J	`jnl`	On Proving Confluence Modulo Equivalence for Constraint Handling Rules. CoRR Henning Christiansen, Maja H. Kirkeby
2016	—	`conf`	Widening the Experience of Artistic Sketchbooks. ArtsIT/DLI Henning Christiansen, Bjørn Laursen
2015	—	`ed.`	Modeling and Using Context - 9th International and Interdisciplinary Conference, CONTEXT 2015, Lanarca, Cyprus, November 2-6, 2015. Proceedings CONTEXT Henning Christiansen, Isidora Stojanovic, George A. Papadopoulos
2015	—	`conf`	Ontology-Based Roles Association Networks for Visualizing Trends in Political Debate. CONTEXT Troels Andreasen, Henning Christiansen, Mads Kæmsgaard Eberholst
2015	C	`conf`	Tracing Shifts in Emotions in Streaming Social Network Data. ISMIS Troels Andreasen, Henning Christiansen, Christian Theil Have
2014	C	`conf`	Confluence Modulo Equivalence in Constraint Handling Rules. LOPSTR Henning Christiansen, Maja H. Kirkeby
2014	C	`conf`	Constraint Logic Programming for Resolution of Relative Time Expressions. CiE Henning Christiansen
2014	—	`ch.`	Constraint Programming for Context Comprehension. Context in Computing Henning Christiansen
2014	C	`ed.`	Foundations of Intelligent Systems - 21st International Symposium, ISMIS 2014, Roskilde, Denmark, June 25-27, 2014. Proceedings ISMIS Troels Andreasen, Henning Christiansen, Juan Carlos Cubero Talavera, Zbigniew W. Ras
2013	J	`jnl`	Effects of using coding potential, sequence conservation and mRNA structure conservation for predicting pyrroly-sine containing genes. BMC Bioinform. Christian Theil Have, Sine Zambach, Henning Christiansen
2013	C	`ed.`	Flexible Query Answering Systems - 10th International Conference, FQAS 2013, Granada, Spain, September 18-20, 2013. Proceedings FQAS Henrik Legind Larsen, María J. Martín-Bautista, Maria-Amparo Vila, Troels Andreasen, Henning Christiansen
2013	C	`conf`	Querying Sentiment Development over Time. FQAS Troels Andreasen, Henning Christiansen, Christian Theil Have
2012	C	`conf`	A Declarative Pipeline Language for Complex Data Analysis. LOPSTR Henning Christiansen, Christian Theil Have, Ole Torp Lassen, Matthieu Petit
2012	C	`conf`	Efficient Tabling of Structured Data Using Indexing and Program Transformation. PADL Christian Theil Have, Henning Christiansen
2012	—	`conf`	Resolving Relative Time Expressions in Dutch Text with Constraint Handling Rules. CSLP Matje van de Camp, Henning Christiansen
2011	—	`conf`	Bayesian Annotation Networks for Complex Sequence Analysis. ICLP (Technical Communications) Henning Christiansen, Christian Theil Have, Ole Torp Lassen, Matthieu Petit
2011	C	`ed.`	Flexible Query Answering Systems - 9th International Conference, FQAS 2011, Ghent, Belgium, October 26-28, 2011 Proceedings FQAS Henning Christiansen, Guy De Tré, Adnan Yazici, Slawomir Zadrozny, Troels Andreasen, Henrik Legind Larsen
2011	—	`ch.`	Modeling Repeats in DNA Using Probabilistic Extended Regular Expressions. Biology, Computation and Linguistics Christian Theil Have, Henning Christiansen
2011	—	`ed.`	Modeling and Using Context - 7th International and Interdisciplinary Conference, CONTEXT 2011, Karlsruhe, Germany, September 26-30, 2011. Proceedings CONTEXT Michael Beigl, Henning Christiansen, Thomas Roth-Berghofer, Anders Kofod-Petersen, Kenny R. Coventry, Hedda Rahel Schmidtke
2011	—	`ch.`	Taming the Zoo of Discrete HMM Subspecies & Some of their Relatives. Biology, Computation and Linguistics Henning Christiansen, Christian Theil Have, Ole Torp Lassen, Matthieu Petit
2010	J	`jnl`	Inference with Constrained Hidden Markov Models in PRISM CoRR Henning Christiansen, Christian Theil Have, Ole Torp Lassen, Matthieu Petit
2010	J	`jnl`	Inference with constrained hidden Markov models in PRISM. Theory Pract. Log. Program. Henning Christiansen, Christian Theil Have, Ole Torp Lassen, Matthieu Petit
2009	C	`conf`	Abductive Logic Grammars. WoLLIC Henning Christiansen, Verónica Dahl
2009	—	`conf`	Adaptable Grammars for Non-Context-Free Languages. IWANN (1) Henning Christiansen
2009	J	`jnl`	Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules. J. Appl. Log. Henning Christiansen
2009	C	`ed.`	Flexible Query Answering Systems, 8th International Conference, FQAS 2009, Roskilde, Denmark, October 26-28, 2009. Proceedings FQAS Troels Andreasen, Ronald R. Yager, Henrik Bulskov, Henning Christiansen, Henrik Legind Larsen
2009	B	`conf`	Non-discriminating Arguments and Their Uses. ICLP Henning Christiansen, John P. Gallagher
2009	B	`conf`	Preprocessing for Optimization of Probabilistic-Logic Models for Sequence Analysis. ICLP Henning Christiansen, Ole Torp Lassen
2008	—	`ch.`	Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules. Constraint Handling Rules Henning Christiansen
2007	—	`conf`	A Machine Learning Approach to Test Data Generation: A Case Study in Evaluation of Gene Finders. MLDM Henning Christiansen, Christina Mackeprang Dahmcke
2007	—	`conf`	Integrity Checking and Maintenance with Active Rules in XML Databases. BNCOD Workshops Henning Christiansen, Maria Rekouts
2006	C	`ed.`	Flexible Query Answering Systems, 7th International Conference, FQAS 2006, Milan, Italy, June 7-10, 2006, Proceedings FQAS Henrik Legind Larsen, Gabriella Pasi, Daniel Ortiz Arroyo, Troels Andreasen, Henning Christiansen
2006	J	`jnl`	Introduction. J. Intell. Inf. Syst. Henning Christiansen, Mohand-Said Hacid
2006	J	`jnl`	On Simplification of Database Integrity Constraints. Fundam. Informaticae Henning Christiansen, Davide Martinenghi
2006	—	`conf`	On Using Simplification and Correction Tables for Integrity Maintenance in Integrated Databases. DEXA Workshops Henning Christiansen, Davide Martinenghi
2006	—	`conf`	On the Implementation of Global Abduction. CLIMA Henning Christiansen
2005	J	`jnl`	CHR grammars. Theory Pract. Log. Program. Henning Christiansen
2005	—	`ed.`	Constraint Solving and Language Processing, First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004, Revised Selected and Invited Papers CSLP Henning Christiansen, Peter Rossen Skadhauge, Jørgen Villadsen
2005	C	`conf`	Efficient Integrity Checking for Databases with Recursive Views. ADBIS Davide Martinenghi, Henning Christiansen
2005	B	`conf`	HYPROLOG: A New Logic Programming Language with Assumptions and Abduction. ICLP Henning Christiansen, Verónica Dahl
2005	B	`conf`	Incremental Integrity Checking: Limitations and Possibilities. LPAR Henning Christiansen, Davide Martinenghi
2005	—	`conf`	Meaning in Context. CONTEXT Henning Christiansen, Verónica Dahl
2005	C	`conf`	Transaction Management with Integrity Checking. DEXA Davide Martinenghi, Henning Christiansen
2004	—	`conf`	Assumptions and Abduction in Prolog. WLPE Henning Christiansen, Verónica Dahl
2004	J	`jnl`	CHR Grammars CoRR Henning Christiansen
2004	C	`ed.`	Flexible Query Answering Systems, 6th International Conference, FQAS 2004, Lyon, France, June 24-26, 2004, Proceedings FQAS Henning Christiansen, Mohand-Said Hacid, Troels Andreasen, Henrik Legind Larsen
2004	—	`conf`	Simplification of Integrity Constraints for Data Integration. FoIKS Henning Christiansen, Davide Martinenghi
2004	J	`jnl`	Teaching Computer Languages and Elementary Theory for Mixed Audiences at University Level. Comput. Sci. Educ. Henning Christiansen
2003	Misc	`conf`	A constraint-based bottom-up counterpart to definite clause grammars. RANLP Henning Christiansen
2003	J	`jnl`	Logic Grammars for Diagnosis and Repair. Int. J. Artif. Intell. Tools Henning Christiansen, Verónica Dahl
2003	C	`conf`	Simplification of Database Integrity Constraints Revisited: A Transformational Approach. LOPSTR Henning Christiansen, Davide Martinenghi
2002	C	`ed.`	Flexible Query Answering Systems, 5th International Conference, FQAS 2002, Copenhagen, Denmark, October 27-29, 2002, Proceedings FQAS Troels Andreasen, Amihai Motro, Henning Christiansen, Henrik Legind Larsen
2002	B	`conf`	Logic Grammars for Diagnosis and Repair. ICTAI Henning Christiansen, Verónica Dahl
2002	B	`conf`	Logical Grammars Based on Constraint Handling Rules. ICLP Henning Christiansen
2001	J	`jnl`	CHR as grammar formalism. A first report CoRR Henning Christiansen
2001	C	`ed.`	Flexible Query Answering Systems - Recent Advances Proceedings of the Fourth International Conference on Flexible Query Answering Systems, FQAS 2000, Warsaw, Poland, October 25-28, 2000 Henrik Legind Larsen, Troels Andreasen, Henning Christiansen, Janusz Kacprzyk, Slawomir Zadrozny
2000	C	`conf`	An Experimental CLP Platform for Integrity Constraints and Abduction. FQAS Slim Abdennadher, Henning Christiansen
2000	J	`jnl`	Symbolic Constraints for Meta-Logic Programming. Appl. Artif. Intell. Henning Christiansen, Davide Martinenghi
1999	—	`conf`	Open Theories and Abduction for Context and Accommodation. CONTEXT Henning Christiansen
1998	—	`conf`	A Practical Approach to Hypothetical Database Queries. Transactions and Change in Logic Databases Henning Christiansen, Troels Andreasen
1998	J	`jnl`	Automated Reasoning with a Constraint-Based Metainterpreter. J. Log. Program. Henning Christiansen
1998	C	`ed.`	Flexible Query Answering Systems, Third International Conference, FQAS'98, Roskilde, Denmark, May 13-15, 1998, Proceedings FQAS Troels Andreasen, Henning Christiansen, Henrik Legind Larsen
1998	C	`conf`	Knowledge Discovery for Flexible Querying. FQAS Henrik Legind Larsen, Troels Andreasen, Henning Christiansen
1997	—	`conf`	Hypothetical Queries to Deductive Databases. DDLP Troels Andreasen, Henning Christiansen
1997	C	`conf`	Implicit Program Synthesis by a Reversible Metainterpreter. LOPSTR Henning Christiansen
1996	C	`conf`	An Experimental Prototype for Flexible Query-Answering Mechanisms - A Metainterpretation Approach. FQAS Henning Christiansen, Troels Andreasen
1996	A	`conf`	Counterfactual Exceptions in Deductive Database Queries. ECAI Troels Andreasen, Henning Christiansen
1996	—	`conf`	Flexible Query-Answering Systems Modelled in Metalogic Programming. KRDB Troels Andreasen, Henning Christiansen
1996	C	`ed.`	Flexible Query-Answering Systems, Proceedings of the 1996 Workshop, FQAS'96, Roskilde, Denmark, May 22-24, 1996 Henning Christiansen, Henrik Legind Larsen, Troels Andreasen
1995	—	`conf`	Alternative Reasoning in a Metaprogramming System. Deductive Databases / Abduction in Deductive Databases Henning Christiansen
1994	B	`conf`	Efficient and Complete Demo Predicates for Definite Clause Languages. ICLP Henning Christiansen
1994	C	`conf`	Negative Counterfactuals as Constraints in Deductive Databases. FQAS Henning Christiansen, Troels Andreasen, Alf Beck Nielsen
1994	—	`conf`	On Proof Predicates in Logic Programming. ICLP Workshop: Proof-Theoretical Extensions on Logic Programming Henning Christiansen
1992	—	`conf`	A Complete Resolution method for Logical Meta-Programming Languages. META Henning Christiansen
1990	J	`jnl`	A survey of adaptable grammars. ACM SIGPLAN Notices Henning Christiansen
1989	J	`jnl`	Structure Sharing in Incremental Systems. Struct. Program. Henning Christiansen
1988	—	`conf`	Structure Sharing in Attribute Grammars. PLILP Henning Christiansen
1985	—	`conf`	Recognition of generative languages. Programs as Data Objects Henning Christiansen
1982	—	`conf`	Control Flow Treatment in a Simple Semantics-Directed Compiler Generator. Formal Description of Programming Concepts Henning Christiansen, Neil D. Jones