Henning Christiansen

Available identifiers

zbMath Open christiansen.henningMaRDI QIDQ511017

List of research outcomes

Publication	Date of Publication	Type
Confluence of CHR revisited: invariants and modulo equivalence	2023-11-09	Paper
Confluence and convergence modulo equivalence in probabilistically terminating reduction systems	2019-02-20	Paper
Confluence and convergence in probabilistically terminating reduction systems	2018-09-06	Paper
On proving confluence modulo equivalence for Constraint Handling Rules	2017-02-14	Paper
Confluence Modulo Equivalence in Constraint Handling Rules	2015-10-02	Paper
Constraint Logic Programming for Resolution of Relative Time Expressions	2015-02-25	Paper
A Declarative Pipeline Language for Complex Data Analysis	2013-09-13	Paper
Non-discriminating Arguments and Their Uses	2012-11-13	Paper
Preprocessing for Optimization of Probabilistic-Logic Models for Sequence Analysis	2012-11-13	Paper
Bayesian annotation networks for complex sequence analysis	2012-08-29	Paper
Inference with constrained hidden Markov models in PRISM	2010-08-19	Paper
Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules	2009-08-14	Paper
Abductive Logic Grammars	2009-07-02	Paper
Foundations of Information and Knowledge Systems	2009-05-14	Paper
Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules	2009-03-26	Paper
On the Implementation of Global Abduction	2009-01-20	Paper
https://portal.mardi4nfdi.de/entity/Q3520999	2008-08-26	Paper
Incremental Integrity Checking: Limitations and Possibilities	2008-05-27	Paper
https://portal.mardi4nfdi.de/entity/Q5482596	2006-08-28	Paper
Logic Programming	2006-06-27	Paper
Logic Based Program Synthesis and Transformation	2005-12-27	Paper
Modeling and Using Context	2005-12-15	Paper
CHR grammars	2005-10-18	Paper
https://portal.mardi4nfdi.de/entity/Q4812993	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4530881	2004-02-25	Paper
Automated reasoning with a constraint-based metainterpreter	1999-05-31	Paper
https://portal.mardi4nfdi.de/entity/Q4373450	1998-04-20	Paper
https://portal.mardi4nfdi.de/entity/Q3212264	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3742756	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3657413	1983-01-01	Paper

Research outcomes over time

This page was built for person: Henning Christiansen