default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHenning Christiansen 0001
Person information
- affiliation: Roskilde University, Department of People and Technology, Denmark
Other persons with the same name
- Henning Christiansen 0002 — Technical University of Denmark, Department of Telecommunication, Lyngby, Denmark
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c52]Masoumeh Vahedi, Henning Christiansen:
SPLindex: A Spatial Polygon Learned Index. ISMIS 2024: 271-281- 2020
- [j16]Henning Christiansen
, Anja Mølle Lindelof:
Robots on stage. EAI Endorsed Trans. Creative Technol. 7(25): e5 (2020) - [c51]Mikkel Pedersen, Henning Christiansen, Nessn H. Azawi:
Efficient and Precise Classification of CT Scannings of Renal Tumors Using Convolutional Neural Networks. ISMIS 2020: 440-447
2010 – 2019
- 2019
- [j15]Maja H. Kirkeby, Henning Christiansen:
Confluence and convergence modulo equivalence in probabilistically terminating reduction systems. Int. J. Approx. Reason. 105: 217-228 (2019) - [e16]Alfredo Cuzzocrea, Sergio Greco, Henrik Legind Larsen, Domenico Saccà, Troels Andreasen, Henning Christiansen:
Flexible Query Answering Systems - 13th International Conference, FQAS 2019, Amantea, Italy, July 2-5, 2019, Proceedings. Lecture Notes in Computer Science 11529, Springer 2019, ISBN 978-3-030-27628-7 [contents] - 2018
- [c50]Henning Christiansen, Maja H. Kirkeby:
Confluence of CHR Revisited: Invariants and Modulo Equivalence. LOPSTR 2018: 94-111 - [c49]Henning Christiansen, Anja Mølle Lindelof, Mads Hobye:
Breathing Life into Familiar Domestic Objects. RO-MAN 2018: 589-594 - [c48]Henning Christiansen, Maja H. Kirkeby:
Towards a Constraint Solver for Proving Confluence with Invariant and Equivalence of Realistic CHR Programs. WFLP 2018: 112-130 - [p5]Henning Christiansen, Verónica Dahl:
Natural language processing with (tabled and constraint) logic programming. Declarative Logic Programming 2018: 477-511 - [i8]Henning Christiansen, Maja H. Kirkeby:
Confluence of CHR revisited: invariants and modulo equivalence. CoRR abs/1805.10438 (2018) - [i7]Henning Christiansen, Maja H. Kirkeby:
Towards a constraint solver for proving confluence with invariant and equivalence of realistic CHR programs. CoRR abs/1808.08094 (2018) - 2017
- [j14]Henning Christiansen, Bjørn Laursen:
Interactive Installations for Spatial Access to Artistic Sketchbooks. EAI Endorsed Trans. Creative Technol. 4(12): e3 (2017) - [j13]Henning Christiansen, Maja H. Kirkeby:
On proving confluence modulo equivalence for Constraint Handling Rules. Formal Aspects Comput. 29(1): 57-95 (2017) - [c47]Maja H. Kirkeby, Henning Christiansen:
Confluence and Convergence in Probabilistically Terminating Reduction Systems. LOPSTR 2017: 164-179 - [e15]Henning Christiansen, Hélène Jaudoin, Panagiotis Chountas, Troels Andreasen, Henrik Legind Larsen:
Flexible Query Answering Systems - 12th International Conference, FQAS 2017, London, UK, June 21-22, 2017, Proceedings. Lecture Notes in Computer Science 10333, Springer 2017, ISBN 978-3-319-59691-4 [contents] - [i6]Maja H. Kirkeby, Henning Christiansen:
Confluence and Convergence in Probabilistically Terminating Reduction Systems. CoRR abs/1709.05123 (2017) - [i5]Henning Christiansen:
A simple script language for choreography of multiple, synchronizing non-anthropomorphic robots. CoRR abs/1712.08448 (2017) - 2016
- [c46]Henning Christiansen, Bjørn Laursen:
Widening the Experience of Artistic Sketchbooks. ArtsIT/DLI 2016: 220-227 - [e14]Troels Andreasen, Henning Christiansen, Janusz Kacprzyk, Henrik Legind Larsen, Gabriella Pasi, Olivier Pivert, Guy De Tré, Maria-Amparo Vila, Adnan Yazici, Slawomir Zadrozny:
Flexible Query Answering Systems 2015 - Proceedings of the 11th International Conference FQAS 2015, Cracow, Poland, October 26-28, 2015. Advances in Intelligent Systems and Computing 400, Springer 2016, ISBN 978-3-319-26153-9 [contents] - [i4]Henning Christiansen, Maja H. Kirkeby:
On Proving Confluence Modulo Equivalence for Constraint Handling Rules. CoRR abs/1611.03628 (2016) - 2015
- [c45]Troels Andreasen, Henning Christiansen, Mads Kæmsgaard Eberholst:
Ontology-Based Roles Association Networks for Visualizing Trends in Political Debate. CONTEXT 2015: 477-482 - [c44]Troels Andreasen, Henning Christiansen, Christian Theil Have:
Tracing Shifts in Emotions in Streaming Social Network Data. ISMIS 2015: 280-289 - [e13]Henning Christiansen, Isidora Stojanovic, George A. Papadopoulos:
Modeling and Using Context - 9th International and Interdisciplinary Conference, CONTEXT 2015, Lanarca, Cyprus, November 2-6, 2015. Proceedings. Lecture Notes in Computer Science 9405, Springer 2015, ISBN 978-3-319-25590-3 [contents] - 2014
- [c43]Henning Christiansen:
Constraint Logic Programming for Resolution of Relative Time Expressions. CiE 2014: 93-102 - [c42]Henning Christiansen, Maja H. Kirkeby:
Confluence Modulo Equivalence in Constraint Handling Rules. LOPSTR 2014: 41-58 - [p4]Henning Christiansen:
Constraint Programming for Context Comprehension. Context in Computing 2014: 401-418 - [e12]Troels Andreasen, Henning Christiansen, Juan Carlos Cubero Talavera, Zbigniew W. Ras:
Foundations of Intelligent Systems - 21st International Symposium, ISMIS 2014, Roskilde, Denmark, June 25-27, 2014. Proceedings. Lecture Notes in Computer Science 8502, Springer 2014, ISBN 978-3-319-08325-4 [contents] - 2013
- [j12]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: 118 (2013) - [c41]Troels Andreasen, Henning Christiansen, Christian Theil Have:
Querying Sentiment Development over Time. FQAS 2013: 613-624 - [e11]Henrik Legind Larsen, María J. Martín-Bautista, Maria-Amparo Vila, Troels Andreasen, Henning Christiansen:
Flexible Query Answering Systems - 10th International Conference, FQAS 2013, Granada, Spain, September 18-20, 2013. Proceedings. Lecture Notes in Computer Science 8132, Springer 2013, ISBN 978-3-642-40768-0 [contents] - 2012
- [c40]Matje van de Camp, Henning Christiansen:
Resolving Relative Time Expressions in Dutch Text with Constraint Handling Rules. CSLP 2012: 166-177 - [c39]Henning Christiansen, Christian Theil Have, Ole Torp Lassen, Matthieu Petit:
A Declarative Pipeline Language for Complex Data Analysis. LOPSTR 2012: 17-34 - [c38]Christian Theil Have, Henning Christiansen:
Efficient Tabling of Structured Data Using Indexing and Program Transformation. PADL 2012: 93-107 - 2011
- [c37]Henning Christiansen, Christian Theil Have, Ole Torp Lassen, Matthieu Petit:
Bayesian Annotation Networks for Complex Sequence Analysis. ICLP (Technical Communications) 2011: 220-230 - [p3]Henning Christiansen, Christian Theil Have, Ole Torp Lassen, Matthieu Petit:
Taming the Zoo of Discrete HMM Subspecies & Some of their Relatives. Biology, Computation and Linguistics 2011: 28-42 - [p2]Christian Theil Have, Henning Christiansen:
Modeling Repeats in DNA Using Probabilistic Extended Regular Expressions. Biology, Computation and Linguistics 2011: 55-70 - [e10]Michael Beigl, Henning Christiansen, Thomas Roth-Berghofer, Anders Kofod-Petersen, Kenny R. Coventry, Hedda Rahel Schmidtke:
Modeling and Using Context - 7th International and Interdisciplinary Conference, CONTEXT 2011, Karlsruhe, Germany, September 26-30, 2011. Proceedings. Lecture Notes in Computer Science 6967, Springer 2011, ISBN 978-3-642-24278-6 [contents] - [e9]Henning Christiansen, Guy De Tré, Adnan Yazici, Slawomir Zadrozny, Troels Andreasen, Henrik Legind Larsen:
Flexible Query Answering Systems - 9th International Conference, FQAS 2011, Ghent, Belgium, October 26-28, 2011 Proceedings. Lecture Notes in Computer Science 7022, Springer 2011, ISBN 978-3-642-24763-7 [contents] - 2010
- [j11]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): 449-464 (2010) - [i3]Henning Christiansen, Christian Theil Have, Ole Torp Lassen, Matthieu Petit:
Inference with Constrained Hidden Markov Models in PRISM. CoRR abs/1007.5421 (2010)
2000 – 2009
- 2009
- [j10]Henning Christiansen:
Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules. J. Appl. Log. 7(3): 341-362 (2009) - [c36]Henning Christiansen, John P. Gallagher:
Non-discriminating Arguments and Their Uses. ICLP 2009: 55-69 - [c35]Henning Christiansen, Ole Torp Lassen:
Preprocessing for Optimization of Probabilistic-Logic Models for Sequence Analysis. ICLP 2009: 70-83 - [c34]Henning Christiansen:
Adaptable Grammars for Non-Context-Free Languages. IWANN (1) 2009: 488-495 - [c33]Henning Christiansen, Verónica Dahl:
Abductive Logic Grammars. WoLLIC 2009: 170-181 - [e8]Troels Andreasen, Ronald R. Yager, Henrik Bulskov, Henning Christiansen, Henrik Legind Larsen:
Flexible Query Answering Systems, 8th International Conference, FQAS 2009, Roskilde, Denmark, October 26-28, 2009. Proceedings. Lecture Notes in Computer Science 5822, Springer 2009, ISBN 978-3-642-04956-9 [contents] - 2008
- [p1]Henning Christiansen:
Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules. Constraint Handling Rules 2008: 85-118 - 2007
- [c32]Henning Christiansen, Maria Rekouts:
Integrity Checking and Maintenance with Active Rules in XML Databases. BNCOD Workshops 2007: 59-67 - [c31]Henning Christiansen, Christina Mackeprang Dahmcke:
A Machine Learning Approach to Test Data Generation: A Case Study in Evaluation of Gene Finders. MLDM 2007: 742-755 - 2006
- [j9]Henning Christiansen, Davide Martinenghi:
On Simplification of Database Integrity Constraints. Fundam. Informaticae 71(4): 371-417 (2006) - [j8]Henning Christiansen, Mohand-Said Hacid:
Introduction. J. Intell. Inf. Syst. 26(1): 5-6 (2006) - [c30]Henning Christiansen:
On the Implementation of Global Abduction. CLIMA 2006: 226-245 - [c29]Henning Christiansen, Davide Martinenghi:
On Using Simplification and Correction Tables for Integrity Maintenance in Integrated Databases. DEXA Workshops 2006: 569-576 - [e7]Henrik Legind Larsen, Gabriella Pasi, Daniel Ortiz Arroyo, Troels Andreasen, Henning Christiansen:
Flexible Query Answering Systems, 7th International Conference, FQAS 2006, Milan, Italy, June 7-10, 2006, Proceedings. Lecture Notes in Computer Science 4027, Springer 2006, ISBN 3-540-34638-4 [contents] - 2005
- [j7]Henning Christiansen:
CHR grammars. Theory Pract. Log. Program. 5(4-5): 467-501 (2005) - [c28]Davide Martinenghi, Henning Christiansen:
Efficient Integrity Checking for Databases with Recursive Views. ADBIS 2005: 109-124 - [c27]Henning Christiansen, Verónica Dahl:
Meaning in Context. CONTEXT 2005: 97-111 - [c26]Davide Martinenghi, Henning Christiansen:
Transaction Management with Integrity Checking. DEXA 2005: 606-615 - [c25]Henning Christiansen, Verónica Dahl:
HYPROLOG: A New Logic Programming Language with Assumptions and Abduction. ICLP 2005: 159-173 - [c24]Henning Christiansen, Davide Martinenghi:
Incremental Integrity Checking: Limitations and Possibilities. LPAR 2005: 712-727 - [e6]Henning Christiansen, Peter Rossen Skadhauge, Jørgen Villadsen:
Constraint Solving and Language Processing, First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004, Revised Selected and Invited Papers. Lecture Notes in Computer Science 3438, Springer 2005, ISBN 3-540-26165-6 [contents] - 2004
- [j6]Henning Christiansen:
Teaching Computer Languages and Elementary Theory for Mixed Audiences at University Level. Comput. Sci. Educ. 14(3): 205-234 (2004) - [c23]Henning Christiansen, Davide Martinenghi:
Simplification of Integrity Constraints for Data Integration. FoIKS 2004: 31-48 - [c22]Henning Christiansen, Verónica Dahl:
Assumptions and Abduction in Prolog. WLPE 2004 - [e5]Henning Christiansen, Mohand-Said Hacid, Troels Andreasen, Henrik Legind Larsen:
Flexible Query Answering Systems, 6th International Conference, FQAS 2004, Lyon, France, June 24-26, 2004, Proceedings. Lecture Notes in Computer Science 3055, Springer 2004, ISBN 3-540-22160-3 [contents] - [i2]Henning Christiansen:
CHR Grammars. CoRR cs.CL/0408027 (2004) - 2003
- [j5]Henning Christiansen, Verónica Dahl:
Logic Grammars for Diagnosis and Repair. Int. J. Artif. Intell. Tools 12(3): 227-248 (2003) - [c21]Henning Christiansen, Davide Martinenghi:
Simplification of Database Integrity Constraints Revisited: A Transformational Approach. LOPSTR 2003: 178-197 - [c20]Henning Christiansen:
A constraint-based bottom-up counterpart to definite clause grammars. RANLP 2003: 227-236 - 2002
- [c19]Henning Christiansen:
Logical Grammars Based on Constraint Handling Rules. ICLP 2002: 481 - [c18]Henning Christiansen, Verónica Dahl:
Logic Grammars for Diagnosis and Repair. ICTAI 2002: 307-314 - [e4]Troels Andreasen, Amihai Motro, Henning Christiansen, Henrik Legind Larsen:
Flexible Query Answering Systems, 5th International Conference, FQAS 2002, Copenhagen, Denmark, October 27-29, 2002, Proceedings. Lecture Notes in Computer Science 2522, Springer 2002, ISBN 3-540-00074-7 [contents] - 2001
- [e3]Henrik Legind Larsen, Troels Andreasen, Henning Christiansen, Janusz Kacprzyk, Slawomir Zadrozny:
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. Advances in Soft Computing 7, Physica-Verlag Heidelberg New York, A Springer-Verlag Company 2001, ISBN 3-7908-1347-8 [contents] - [i1]Henning Christiansen:
CHR as grammar formalism. A first report. CoRR cs.PL/0106059 (2001) - 2000
- [j4]Henning Christiansen, Davide Martinenghi:
Symbolic Constraints for Meta-Logic Programming. Appl. Artif. Intell. 14(4): 345-367 (2000) - [c17]Slim Abdennadher, Henning Christiansen:
An Experimental CLP Platform for Integrity Constraints and Abduction. FQAS 2000: 141-152
1990 – 1999
- 1999
- [c16]Henning Christiansen:
Open Theories and Abduction for Context and Accommodation. CONTEXT 1999: 455-458 - 1998
- [j3]Henning Christiansen:
Automated Reasoning with a Constraint-Based Metainterpreter. J. Log. Program. 37(1-3): 213-254 (1998) - [c15]Henning Christiansen, Troels Andreasen:
A Practical Approach to Hypothetical Database Queries. Transactions and Change in Logic Databases 1998: 340-355 - [c14]Henrik Legind Larsen, Troels Andreasen, Henning Christiansen:
Knowledge Discovery for Flexible Querying. FQAS 1998: 227-235 - [e2]Troels Andreasen, Henning Christiansen, Henrik Legind Larsen:
Flexible Query Answering Systems, Third International Conference, FQAS'98, Roskilde, Denmark, May 13-15, 1998, Proceedings. Lecture Notes in Computer Science 1495, Springer 1998, ISBN 3-540-65082-2 [contents] - 1997
- [c13]Troels Andreasen, Henning Christiansen:
Hypothetical Queries to Deductive Databases. DDLP 1997 - [c12]Henning Christiansen:
Implicit Program Synthesis by a Reversible Metainterpreter. LOPSTR 1997: 90-110 - 1996
- [c11]Troels Andreasen, Henning Christiansen:
Counterfactual Exceptions in Deductive Database Queries. ECAI 1996: 340-344 - [c10]Henning Christiansen, Troels Andreasen:
An Experimental Prototype for Flexible Query-Answering Mechanisms - A Metainterpretation Approach. FQAS 1996: 277-288 - [c9]Troels Andreasen, Henning Christiansen:
Flexible Query-Answering Systems Modelled in Metalogic Programming. KRDB 1996 - [e1]Henning Christiansen, Henrik Legind Larsen, Troels Andreasen:
Flexible Query-Answering Systems, Proceedings of the 1996 Workshop, FQAS'96, Roskilde, Denmark, May 22-24, 1996. Datalogiske Skrifter (Writings on Computer Science) 62, Roskilde University 1996 [contents] - 1995
- [c8]Henning Christiansen:
Alternative Reasoning in a Metaprogramming System. Deductive Databases / Abduction in Deductive Databases 1995: 175-186 - 1994
- [c7]Henning Christiansen, Troels Andreasen, Alf Beck Nielsen:
Negative Counterfactuals as Constraints in Deductive Databases. FQAS 1994: 105-111 - [c6]Henning Christiansen:
Efficient and Complete Demo Predicates for Definite Clause Languages. ICLP 1994: 735-736 - [c5]Henning Christiansen:
On Proof Predicates in Logic Programming. ICLP Workshop: Proof-Theoretical Extensions on Logic Programming 1994 - 1992
- [c4]Henning Christiansen:
A Complete Resolution method for Logical Meta-Programming Languages. META 1992: 205-219 - 1990
- [j2]Henning Christiansen:
A survey of adaptable grammars. ACM SIGPLAN Notices 25(11): 35-44 (1990)
1980 – 1989
- 1989
- [j1]Henning Christiansen:
Structure Sharing in Incremental Systems. Struct. Program. 10(4): 169-186 (1989) - 1988
- [c3]Henning Christiansen:
Structure Sharing in Attribute Grammars. PLILP 1988: 180-200 - 1985
- [c2]Henning Christiansen:
Recognition of generative languages. Programs as Data Objects 1985: 63-81 - 1982
- [c1]Henning Christiansen, Neil D. Jones:
Control Flow Treatment in a Simple Semantics-Directed Compiler Generator. Formal Description of Programming Concepts 1982: 73-98
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:19 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
