| Publication | Date of Publication | Type |
|---|
Compiling control as offline partial deduction
Logic-Based Program Synthesis and Transformation | 2023-11-09 | Paper |
Termination proofs for logic programs with tabling
ACM Transactions on Computational Logic | 2017-06-13 | Paper |
Abstract conjunctive partial deduction for the analysis and compilation of coroutines
Formal Aspects of Computing | 2017-02-14 | Paper |
Analysing and Compiling Coroutines with Abstract Conjunctive Partial Deduction
Logic-Based Program Synthesis and Transformation | 2015-10-02 | Paper |
Probabilistic legal reasoning in CHRiSM
Theory and Practice of Logic Programming | 2014-02-27 | Paper |
Probabilistic termination of CHRiSM programs
Logic-Based Program Synthesis and Transformation | 2013-03-13 | Paper |
Improved Termination Analysis of CHR Using Self-sustainability Analysis
Logic-Based Program Synthesis and Transformation | 2013-03-13 | Paper |
A new approach to non-termination analysis of logic programs
Logic Programming | 2012-11-13 | Paper |
Polytool: polynomial interpretations as a basis for termination analysis of logic programs
Theory and Practice of Logic Programming | 2011-08-17 | Paper |
Non-termination analysis of logic programs with integer arithmetics
Theory and Practice of Logic Programming | 2011-08-16 | Paper |
Non-termination Analysis of Logic Programs Using Types
Logic-Based Program Synthesis and Transformation | 2011-05-27 | Paper |
Inference of Termination Conditions for Numerical Loops in Prolog
Logic for Programming, Artificial Intelligence, and Reasoning | 2011-05-06 | Paper |
On termination of meta-programs
Logic for Programming, Artificial Intelligence, and Reasoning | 2011-05-06 | Paper |
Termination prediction for general logic programs
Theory and Practice of Logic Programming | 2009-11-25 | Paper |
Automating Termination Proofs for CHR
Logic Programming | 2009-07-24 | Paper |
Proving Termination by Invariance Relations
Logic Programming | 2009-07-24 | Paper |
Termination Analysis of Logic Programs Based on Dependency Graphs
Logic-Based Program Synthesis and Transformation | 2009-01-22 | Paper |
Termination Analysis of CHR Revisited
Logic Programming | 2009-01-22 | Paper |
Termination of floating-point computations
Journal of Automated Reasoning | 2006-11-03 | Paper |
Logic Programming
Lecture Notes in Computer Science | 2006-06-27 | Paper |
On termination of meta-programs
Theory and Practice of Logic Programming | 2006-02-08 | Paper |
Logic Based Program Synthesis and Transformation
Lecture Notes in Computer Science | 2005-12-27 | Paper |
Inference of termination conditions for numerical loops in Prolog
Theory and Practice of Logic Programming | 2005-04-15 | Paper |
| scientific article; zbMATH DE number 1973218 (Why is no real title available?) | 2003-09-01 | Paper |
| scientific article; zbMATH DE number 1948394 (Why is no real title available?) | 2003-07-13 | Paper |
| scientific article; zbMATH DE number 1926607 (Why is no real title available?) | 2003-06-11 | Paper |
| scientific article; zbMATH DE number 1696593 (Why is no real title available?) | 2002-07-22 | Paper |
Termination of simply-moded well-typed logic programs under a tabled execution mechanism
Applicable Algebra in Engineering, Communication and Computing | 2001-08-26 | Paper |
| scientific article; zbMATH DE number 1487846 (Why is no real title available?) | 2001-03-12 | Paper |
| scientific article; zbMATH DE number 1420813 (Why is no real title available?) | 2000-12-05 | Paper |
| scientific article; zbMATH DE number 1536562 (Why is no real title available?) | 2000-11-28 | Paper |
Conjunctive partial deduction: foundations, control, algorithms, and experiments
The Journal of Logic Programming | 2000-09-26 | Paper |
| scientific article; zbMATH DE number 1508931 (Why is no real title available?) | 2000-09-18 | Paper |
| scientific article; zbMATH DE number 1420816 (Why is no real title available?) | 2000-03-22 | Paper |
Compositionality of normal open logic programs
The Journal of Logic Programming | 2000-03-16 | Paper |
| scientific article; zbMATH DE number 1407684 (Why is no real title available?) | 2000-02-28 | Paper |
Creating specialised integrity checks through partial evaluation of meta-interpreters
The Journal of Logic Programming | 1999-04-19 | Paper |
| scientific article; zbMATH DE number 1222414 (Why is no real title available?) | 1998-11-11 | Paper |
SLDNFA: An abductive procedure for abductive logic programs
The Journal of Logic Programming | 1998-10-06 | Paper |
On the relation between situation calculus and event calculus
The Journal of Logic Programming | 1997-10-23 | Paper |
Automatic finite unfolding using well-founded measures
The Journal of Logic Programming | 1997-06-09 | Paper |
| scientific article; zbMATH DE number 970705 (Why is no real title available?) | 1997-05-25 | Paper |
| scientific article; zbMATH DE number 970704 (Why is no real title available?) | 1997-05-25 | Paper |
| scientific article; zbMATH DE number 970723 (Why is no real title available?) | 1997-05-25 | Paper |
Representing Incomplete Knowledge in Abductive Logic Programming
Journal Of Logic And Computation | 1996-02-20 | Paper |
Why untyped nonground metaprogramming is not (much of) a problem
The Journal of Logic Programming | 1995-04-06 | Paper |
Sound and complete partial deduction with unfolding based on well-founded measures
Theoretical Computer Science | 1994-12-08 | Paper |
On the duality of abduction and model generation in a framework for model generation with equality
Theoretical Computer Science | 1994-11-29 | Paper |
Termination of logic programs: the never-ending story
The Journal of Logic Programming | 1994-10-13 | Paper |
A general criterion for avoiding infinite unfolding during partial deduction
New Generation Computing | 1993-04-01 | Paper |
Compiling bottom-up and mixed derivations into top-down executable logic programs
Journal of Automated Reasoning | 1991-01-01 | Paper |
Compiling control
The Journal of Logic Programming | 1989-01-01 | Paper |
On the existence of nonterminating queries for a restricted class of PROLOG-clauses
Artificial Intelligence | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4164123 (Why is no real title available?) | 1989-01-01 | Paper |
On the transformation of logic programs with instantiation based computation rules
Journal of Symbolic Computation | 1989-01-01 | Paper |
