| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Vincent Nys, Danny De Schreye |
Compiling Control as Offline Partial Deduction.  |
CoRR  |
2018 |
DBLP BibTeX RDF |
|
| 1 | Thomas Winters, Vincent Nys, Danny De Schreye |
Automatic Joke Generation: Learning Humor from Examples. |
HCI (22) |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent Nys, Danny De Schreye |
Compiling Control as Offline Partial Deduction. |
LOPSTR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent Nys, Danny De Schreye |
Transforming Coroutining Logic Programs into Equivalent CHR Programs. |
VPT@ETAPS |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent Nys, Danny De Schreye |
Abstract conjunctive partial deduction for the analysis and compilation of coroutines. |
Formal Asp. Comput. |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Danny De Schreye, Vincent Nys, Colin J. Nicholson |
Analysing and Compiling Coroutines with Abstract Conjunctive Partial Deduction. |
LOPSTR |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Jon Sneyers, Danny De Schreye, Thom W. Frühwirth |
Probabilistic legal reasoning in CHRiSM. |
TPLP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Danny De Schreye, Gerda Janssens, Andy King (eds.) |
Principles and Practice of Declarative Programming, PPDP'12, Leuven, Belgium - September 19 - 21, 2012 |
PPDP |
2012 |
DBLP BibTeX RDF |
|
| 1 | Dean Voets, Danny De Schreye |
Non-termination Analysis of Logic Programs with Integer arithmetics |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Manh Thang Nguyen, Danny De Schreye, Jürgen Giesl, Peter Schneider-Kamp |
Polytool: Polynomial interpretations as a basis for termination analysis of logic programs. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dean Voets, Danny De Schreye |
Non-termination analysis of logic programs with integer arithmetics. |
TPLP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Colin J. Nicholson, Danny De Schreye, Jon Sneyers |
Improving the Outcome of a Probabilistic Logic Music System Generator by Using Perlin Noise. |
ICLP (Technical Communications) |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jon Sneyers, Danny De Schreye |
Probabilistic Termination of CHRiSM Programs. |
LOPSTR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Pilozzi, Danny De Schreye |
Improved Termination Analysis of CHR Using Self-sustainability Analysis. |
LOPSTR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dean Voets, Danny De Schreye |
Non-termination Analysis of Logic Programs Using Types. |
LOPSTR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Danny De Schreye (eds.) |
Logic-Based Program Synthesis and Transformation, 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers |
LOPSTR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Manh Thang Nguyen, Danny De Schreye, Jürgen Giesl, Peter Schneider-Kamp |
Polytool: polynomial interpretations as a basis for termination analysis of Logic programs |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Yi-Dong Shen, Danny De Schreye, Dean Voets |
Termination Prediction for General Logic Programs |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Yi-Dong Shen, Danny De Schreye, Dean Voets |
Termination prediction for general logic programs. |
TPLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Pilozzi, Danny De Schreye |
Automating Termination Proofs for CHR. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Dean Voets, Danny De Schreye |
A New Approach to Non-termination Analysis of Logic Programs. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
non-termination analysis, program analysis |
| 1 | Paolo Pilozzi, Danny De Schreye |
Proving Termination by Invariance Relations. |
ICLP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Pilozzi, Danny De Schreye |
Termination Analysis of CHR Revisited. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
Termination Analysis, Constraint Handling Rules |
| 1 | Jürgen Giesl, Peter Schneider-Kamp, René Thiemann, Stephan Swiderski, Manh Thang Nguyen, Danny De Schreye, Alexander Serebrenik |
Termination of Programs using Term Rewriting and SAT Solving. |
Deduction and Decision Procedures |
2007 |
DBLP BibTeX RDF |
|
| 1 | Manh Thang Nguyen, Jürgen Giesl, Peter Schneider-Kamp, Danny De Schreye |
Termination Analysis of Logic Programs Based on Dependency Graphs. |
LOPSTR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jon Sneyers, Joost Vennekens, Danny De Schreye |
Probabilistic-Logical Modeling of Music. |
PADL |
2006 |
DBLP DOI BibTeX RDF |
automatic music composition, PRISM, music classification, probabilistic-logical programming |
| 1 | Manh Thang Nguyen, Danny De Schreye |
Polytool: Proving Termination Automatically Based on Polynomial Interpretations. |
LOPSTR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi-Dong Shen, Danny De Schreye |
Termination Analysis of General Logic Programs for Moded Queries: A Dynamic Approach |
CoRR |
2005 |
DBLP BibTeX RDF |
|
| 1 | Alexander Serebrenik, Danny De Schreye |
Termination of Floating-Point Computations. |
J. Autom. Reasoning |
2005 |
DBLP DOI BibTeX RDF |
floating point, numerical computation, termination analysis |
| 1 | Alexander Serebrenik, Danny De Schreye |
On termination of meta-programs. |
TPLP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Manh Thang Nguyen, Danny De Schreye |
Polynomial Interpretations as a Basis for Termination Analysis of Logic Programs. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
polynomial interpretations, acceptability, Termination analysis |
| 1 | Alexander Serebrenik, Danny De Schreye |
Inference of termination conditions for numerical loops in Prolog. |
TPLP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Serebrenik, Danny De Schreye |
Hasta-La-Vista: Termination Analyser for Logic Programs. |
WLPE |
2003 |
DBLP BibTeX RDF |
|
| 1 | Alexander Serebrenik, Danny De Schreye |
Proving Termination with Adornments. |
LOPSTR |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Danny De Schreye, Alexander Serebrenik |
Acceptability with General Orderings. |
Computational Logic: Logic Programming and Beyond |
2002 |
DBLP DOI BibTeX RDF |
orderings, acceptability, termination analysis |
| 1 | Alexander Serebrenik, Danny De Schreye |
On Termination of Logic Programs with Floating Point Computations. |
SAS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Sofie Verbaeten, Danny De Schreye, Konstantinos Sagonas |
Termination proofs for logic programs with tabling. |
ACM Trans. Comput. Log. |
2001 |
DBLP DOI BibTeX RDF |
prolog, tabling, SLG-resolution |
| 1 | Sofie Verbaeten, Danny De Schreye |
Termination of Simply-Moded Well-Typed Logic Programs under a Tabled Execution Mechanism. |
Appl. Algebra Eng. Commun. Comput. |
2001 |
DBLP DOI BibTeX RDF |
Logic Programming, Termination, Tabling |
| 1 | Danny De Schreye, Alexander Serebrenik |
Acceptability with general orderings |
CoRR |
2001 |
DBLP BibTeX RDF |
|
| 1 | Alexander Serebrenik, Danny De Schreye |
Inference of termination conditions for numerical loops |
CoRR |
2001 |
DBLP BibTeX RDF |
|
| 1 | Alexander Serebrenik, Danny De Schreye |
Inference of termination conditions for numerical loops in Prolog |
CoRR |
2001 |
DBLP BibTeX RDF |
|
| 1 | Alexander Serebrenik, Danny De Schreye |
On termination of meta-programs |
CoRR |
2001 |
DBLP BibTeX RDF |
|
| 1 | Alexander Serebrenik, Danny De Schreye |
Inference of Termination Conditions for Numerical Loops in Prolog. |
LPAR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Serebrenik, Danny De Schreye |
On Termination of Meta-Programs. |
LPAR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Danny De Schreye, Robert Glück, Jesper Jørgensen, Michael Leuschel, Bern Martens, Morten Heine Sørensen |
Erratum to: "Conjunctive Partial Deduction: Foundations, Control, Algorithms and Experiments". |
J. Log. Program. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Sofie Verbaeten, Marc Denecker, Danny De Schreye |
Compositionality of Normal Open Logic Programs. |
J. Log. Program. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Danny De Schreye, Maurice Bruynooghe, Bart Demoen, Marc Denecker, Gerda Janssens, Bern Martens |
Project Report on LP+: A Second Generation Logic Programming Language. |
AI Commun. |
2000 |
DBLP BibTeX RDF |
|
| 1 | Sofie Verbaeten, Danny De Schreye, Konstantinos Sagonas |
Termination Proofs for Logic Programs with Tabling |
CoRR |
2000 |
DBLP BibTeX RDF |
|
| 1 | Alexander Serebrenik, Danny De Schreye |
Termination analysis of logic programs using acceptability with general term orders |
CoRR |
2000 |
DBLP BibTeX RDF |
|
| 1 | Sven Verdoolaege, Marc Denecker, Ness Schelkens, Danny De Schreye, Frank Van Eynde |
Semantic interpretation of temporal information by abductive inference |
CoRR |
2000 |
DBLP BibTeX RDF |
|
| 1 | Alexander Serebrenik, Danny De Schreye |
Non-tranformational termination analysis of logic programs, based on general term-orderings. |
LOPSTR |
2000 |
DBLP BibTeX RDF |
|
| 1 | Alexander Serebrenik, Danny De Schreye |
Non-transformational Termination Analysis of Logic Programs, Based on General Term-Orderings. |
LOPSTR (LNCS 2042: Selected Papers) |
2000 |
DBLP DOI BibTeX RDF |
acceptability, termination analysis, term-orderings |
| 1 | Danny De Schreye, Robert Glück, Jesper Jørgensen, Michael Leuschel, Bern Martens, Morten Heine Sørensen |
Conjunctive Partial Deduction: Foundations, Control, Algorithms, and Experiments. |
J. Log. Program. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Wim Vanhoof, Danny De Schreye, Bern Martens |
Bottom-up Partial Deduction of Logic Programs |
Journal of Functional and Logic Programming |
1999 |
DBLP BibTeX RDF |
|
| 1 | Stefaan Decorte, Danny De Schreye, Henk Vandecasteele |
Constraint-based termination analysis of logic programs. |
ACM Trans. Program. Lang. Syst. |
1999 |
DBLP DOI BibTeX RDF |
logic programming, constraint solving, termination analysis |
| 1 | Danny De Schreye, Marc Denecker |
Assessment of Some Issues in CL-Theory and Program Development. |
The Logic Programming Paradigm |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Danny De Schreye (eds.) |
Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29 - December 4, 1999 |
ICLP |
1999 |
DBLP BibTeX RDF |
|
| 1 | Sofie Verbaeten, Danny De Schreye |
Termination Analysis of Tabled Logic Programs Using Mode and Type Information. |
Fuji International Symposium on Functional and Logic Programming |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Sofie Verbaeten, Konstantinos Sagonas, Danny De Schreye |
Modular Termination Proofs for Prolog with Tabling. |
PPDP |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Sven Verdoolaege, Marc Denecker, Ness Schelkens, Danny De Schreye, Frank Van Eynde |
Semantic interpretation of temporal information by abductive inference. |
CLIN |
1999 |
DBLP BibTeX RDF |
|
| 1 | Marc Denecker, Danny De Schreye |
SLDNFA: An Abductive Procedure for Abductive Logic Programs. |
J. Log. Program. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Leuschel, Danny De Schreye |
Creating Specialised Integrity Checks Through Partial Evaluation of Meta-Interpreters. |
J. Log. Program. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Leuschel, Danny De Schreye |
Constrained Partial Deduction and the Preservation of Characteristic Trees. |
New Generation Comput. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Leuschel, Bern Martens, Danny De Schreye |
Some Achievements and Prospects in Partial Deduction. |
ACM Comput. Surv. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Leuschel, Bern Martens, Danny De Schreye |
Controlling Generalization amd Polyvariance in Partial Deduction of Normal Logic Programs. |
ACM Trans. Program. Lang. Syst. |
1998 |
DBLP DOI BibTeX RDF |
program transformation, partial evaluation, flow analysis, partial deduction, supercompilation |
| 1 | Wim Vanhoof, Danny De Schreye, Bern Martens |
A Framework for Bottom Up Specialisation of Logic Programs. |
PLILP/ALP |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Wim Vanhoof, Bern Martens, Danny De Schreye, Karel De Vlaminck |
Specialising the Other Way Arond. |
IJCSLP |
1998 |
DBLP BibTeX RDF |
|
| 1 | Stefaan Decorte, Danny De Schreye |
Termination Analysis: Some Practical Properties of the Norm and Level Mapping Space. |
IJCSLP |
1998 |
DBLP BibTeX RDF |
|
| 1 | Wim Vanhoof, Danny De Schreye, Bern Martens |
Bottom-Up Specialisation of Logic Programs. |
LOPSTR |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Kristof Van Belleghem, Marc Denecker, Danny De Schreye |
On the Relation Between Situation Calculus and Event Calculus. |
J. Log. Program. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Sofie Verbaeten, Marc Denecker, Danny De Schreye |
Compositionality of Normal Open Logic Programs. |
ILPS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Stefaan Decorte, Danny De Schreye |
Demand-Driven and Constraint-Based Automatic Left-Termination Analysis for Logic Programs. |
ICLP |
1997 |
DBLP BibTeX RDF |
|
| 1 | Kristof Van Belleghem, Marc Denecker, Danny De Schreye |
A Strong Correspondence between Description Logics and Open Logic Programming. |
ICLP |
1997 |
DBLP BibTeX RDF |
|
| 1 | Michael Leuschel, Danny De Schreye |
Constrained Partial Deduction. |
WLP |
1997 |
DBLP BibTeX RDF |
|
| 1 | Stefaan Decorte, Danny De Schreye, Michael Leuschel, Bern Martens, Konstantinos Sagonas |
Termination Analysis for Tabled Logic Programming. |
LOPSTR |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Bern Martens, Danny De Schreye |
Automatic Finite Unfolding Using Well-Founded Measures. |
J. Log. Program. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Leuschel, Danny De Schreye |
Logic Program Specialisation: How To Be More Specific. |
PLILP |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Denecker, Kristof Van Belleghem, Guy Duchatelet, Frank Piessens, Danny De Schreye |
A Realistic Experiment in Knowledge Representation in Open Event Calculus: Protocol Specification. |
JICSLP |
1996 |
DBLP BibTeX RDF |
|
| 1 | Michael Leuschel, Danny De Schreye, D. Andre de Waal |
A Conceptual Embedding of Folding into Partial Deduction: Towards a Maximal Integration. |
JICSLP |
1996 |
DBLP BibTeX RDF |
|
| 1 | Michael Leuschel, Danny De Schreye |
Logic Program Specialisation: How to Be More Specific (Abstract). (full paper: PLILP 1996: 137-151) |
LOPSTR |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Bern Martens, Danny De Schreye |
Why Untyped Nonground Metaprogramming Is Not (Much Of) A Problem. |
J. Log. Program. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Danny De Schreye, Kristof Verschaetse |
Deriving Linear Size Relations for Logic Programs by Abstract Interpretation. |
New Generation Comput. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Denecker, Danny De Schreye |
Representing Incomplete Knowledge in Abductive Logic Programming. |
J. Log. Comput. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Danny De Schreye, Michael Leuschel, Bern Martens |
Tutorial on Program Specialisation (Abstract). |
ILPS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Michael Leuschel, Danny De Schreye |
Towards Creating Specialised Integrity Checks through Partial Evaluation of Meta-Interpreters. |
PEPM |
1995 |
DBLP DOI BibTeX RDF |
Prolog |
| 1 | Marc Denecker, Guy Duchatelet, Frank Piessens, Kristof Van Belleghem, Danny De Schreye |
Using Event Calculus for Protocol Specification: An Experiment. |
Deductive Databases / Abduction in Deductive Databases |
1995 |
DBLP BibTeX RDF |
|
| 1 | Kristof Van Belleghem, Marc Denecker, Danny De Schreye |
Combining Situation Calculus and Event Calculus. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
| 1 | Danny De Schreye, Stefaan Decorte |
Termination of Logic Programs: The Never-Ending Story. |
J. Log. Program. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Denecker, Danny De Schreye |
On the Duality of Abduction and Model Generation in a Framework for Model Generation with Equality. |
Theor. Comput. Sci. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Bern Martens, Danny De Schreye, Tamás Horváth 0001 |
Sound and Complete Partial Deduction with Unfolding Based on Well-Founded Measures. |
Theor. Comput. Sci. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Henk Vandecasteele, Danny De Schreye |
Implementing a Finite-domain CLP-language on Top of Prolog: a Transformational Approach. |
LPAR |
1994 |
DBLP DOI BibTeX RDF |
program transformation, Constraint Logic Programming, finite domains |
| 1 | Dmitri Boulanger, Danny De Schreye |
Compiling Control Revisited: A New Approach based upon Abstract Interpretation. |
ICLP |
1994 |
DBLP BibTeX RDF |
|
| 1 | Kristof Van Belleghem, Marc Denecker, Danny De Schreye |
Representing Continuous Change in the Abductive Event Calculus. |
ICLP |
1994 |
DBLP BibTeX RDF |
|
| 1 | Kristof Van Belleghem, Marc Denecker, Danny De Schreye |
The Abductive Event Calculus as a General Framework for Temporal Databases. |
ICTL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Denecker, Danny De Schreye |
Representing Incomplete Knowledge in Abductive Logic Programming. |
ILPS |
1993 |
DBLP BibTeX RDF |
|
| 1 | Stefaan Decorte, Danny De Schreye, Massimo Fabris |
Automatic Inference of Norms: A Missing Link in Automatic Termination Analysis. |
ILPS |
1993 |
DBLP BibTeX RDF |
|
| 1 | Dmitri Boulanger, Maurice Bruynooghe, Danny De Schreye |
Compiling Control Revisited: A New approach Based Upon Abstract Interpretation for Constraint Logic Programs. |
LPE |
1993 |
DBLP BibTeX RDF |
|
| 1 | Marc Denecker, Danny De Schreye |
Justification Semantics: A Unifiying Framework for the Semantics of Logic Programs. |
LPNMR |
1993 |
DBLP BibTeX RDF |
|
| 1 | Bern Martens, Danny De Schreye |
Some Further Issues in Finite Unfolding (Abstract). |
LOPSTR |
1993 |
DBLP BibTeX RDF |
|
| 1 | Maurice Bruynooghe, Danny De Schreye, Bern Martens |
A General Criterion for Avoiding Infinite Unfolding during Partial Deduction. |
New Generation Comput. |
1992 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license