| Publication | Date of Publication | Type |
|---|
| SPL\textsuperscript{\textit{index}}: a spatial polygon learned index | 2025-02-28 | Paper |
Confluence of CHR revisited: invariants and modulo equivalence
Logic-Based Program Synthesis and Transformation | 2023-11-09 | Paper |
Confluence and convergence modulo equivalence in probabilistically terminating reduction systems
International Journal of Approximate Reasoning | 2019-02-20 | Paper |
Confluence and convergence in probabilistically terminating reduction systems
(available as arXiv preprint) | 2018-09-06 | Paper |
On proving confluence modulo equivalence for Constraint Handling Rules
Formal Aspects of Computing | 2017-02-14 | Paper |
Confluence modulo equivalence in Constraint Handling Rules
Logic-Based Program Synthesis and Transformation | 2015-10-02 | Paper |
Constraint logic programming for resolution of relative time expressions
Language, Life, Limits | 2015-02-25 | Paper |
A declarative pipeline language for complex data analysis
Logic-Based Program Synthesis and Transformation | 2013-09-13 | Paper |
Non-discriminating arguments and their uses
Logic Programming | 2012-11-13 | Paper |
Preprocessing for Optimization of Probabilistic-Logic Models for Sequence Analysis
Logic Programming | 2012-11-13 | Paper |
| Bayesian annotation networks for complex sequence analysis | 2012-08-29 | Paper |
Inference with constrained hidden Markov models in PRISM
Theory and Practice of Logic Programming | 2010-08-19 | Paper |
Executable specifications for hypothesis-based reasoning with Prolog and Constraint Handling Rules
Journal of Applied Logic | 2009-08-14 | Paper |
Abductive Logic Grammars
Logic, Language, Information and Computation | 2009-07-02 | Paper |
Foundations of Information and Knowledge Systems
Lecture Notes in Computer Science | 2009-05-14 | Paper |
Implementing Probabilistic Abductive Logic Programming with Constraint Handling Rules
Constraint Handling Rules | 2009-03-26 | Paper |
On the Implementation of Global Abduction
Lecture Notes in Computer Science | 2009-01-20 | Paper |
| Integrity checking and maintenance in relational and deductive databases and beyond | 2008-08-26 | Paper |
Incremental Integrity Checking: Limitations and Possibilities
Logic for Programming, Artificial Intelligence, and Reasoning | 2008-05-27 | Paper |
| On simplification of database integrity constraints | 2006-08-28 | Paper |
Logic Programming
Lecture Notes in Computer Science | 2006-06-27 | Paper |
Logic Based Program Synthesis and Transformation
Lecture Notes in Computer Science | 2005-12-27 | Paper |
Modeling and Using Context
Lecture Notes in Computer Science | 2005-12-15 | Paper |
CHR grammars
Theory and Practice of Logic Programming | 2005-10-18 | Paper |
| scientific article; zbMATH DE number 2090557 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 1746700 (Why is no real title available?) | 2004-02-25 | Paper |
Automated reasoning with a constraint-based metainterpreter
The Journal of Logic Programming | 1999-05-31 | Paper |
| scientific article; zbMATH DE number 1107525 (Why is no real title available?) | 1998-04-20 | Paper |
| scientific article; zbMATH DE number 4195153 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 3978431 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3808933 (Why is no real title available?) | 1983-01-01 | Paper |
