×
Edit Profile (opens in new tab)

De Schreye, Danny

Co-Author Distance
Author ID: de-schreye.danny Recent zbMATH articles by "De Schreye, Danny"
Published as: De Schreye, Danny; de Schreye, Danny; De Schreye, D.
Documents Indexed: 59 Publications since 1981
2 Contributions as Editor
Co-Authors: 29 Co-Authors with 55 Joint Publications
452 Co-Co-Authors
all top 5

Co-Authors

5 single-authored
10 Martens, Bern
9 Serebrenik, Alexander
8 Bruynooghe, Maurice
8 Denecker, Marc
6 Verbaeten, Sofie
4 Pilozzi, Paolo
4 Voets, Dean
3 Nguyen, Manh Thang
3 Nys, Vincent
3 Vanhoof, Wim
2 Decorte, Stefaan
2 Giesl, Jürgen
2 Leuschel, Michael
2 Sagonas, Konstantinos
2 Schneider-Kamp, Peter
2 Sneyers, Jon
2 Van Belleghem, Kristof
2 Verschaetse, Kristof
1 De Raedt, Luc
1 de Vlaminck, Karel
1 Frühwirth, Thom
1 Glück, Robert
1 Horváth, Tamás L.
1 Jørgensen, Jesper
1 Krekels, Bruno
1 Nicholson, Colin
1 Sablon, Gunther
1 Shen, Yidong
1 Sørensen, Morten Heine B.
1 Van Daele, Alfons
all top 5

Serials

9 The Journal of Logic Programming
6 Theory and Practice of Logic Programming
2 Mathematica Scandinavica
2 Theoretical Computer Science
2 Journal of Automated Reasoning
1 Artificial Intelligence
1 Reports on Mathematical Physics
1 Mathematische Annalen
1 Journal of Symbolic Computation
1 New Generation Computing
1 Formal Aspects of Computing
1 Journal of Logic and Computation
1 Applicable Algebra in Engineering, Communication and Computing
1 The Journal of Functional and Logic Programming
1 ACM Transactions on Computational Logic
1 Lecture Notes in Computer Science
all top 5

Fields

56 Computer science (68-XX)
6 Mathematical logic and foundations (03-XX)
4 Functional analysis (46-XX)
2 Numerical analysis (65-XX)
1 General and overarching topics; collections (00-XX)
1 Operator theory (47-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

42 Publications have been cited 184 times in 117 Documents Cited by ▼ Year ▼
Termination of logic programs: The never-ending story. Zbl 0820.68029
De Schreye, Danny; Decorte, Stefaan
23
1994
Conjunctive partial deduction: Foundations, control, algorithms, and experiments. Zbl 0944.68025
De Schreye, Danny; Glück, Robert; Jørgensen, Jesper; Leuschel, Michael; Martens, Bern; Sørensen, Morten Heine
20
1999
SLDNFA: An abductive procedure for abductive logic programs. Zbl 0905.68025
Denecker, Marc; De Schreye, Danny
15
1998
Representing incomplete knowledge in abductive logic programming. Zbl 0832.68023
Denecker, Marc; De Schreye, Danny
11
1995
Compiling control. Zbl 0668.68025
Bruynooghe, Maurice; de Schreye, Danny; Krekels, Bruno
10
1989
A general criterion for avoiding infinite unfolding during partial deduction. Zbl 0782.68024
Bruynooghe, Maurice; De Schreye, Danny; Martens, Bern
10
1992
Polytool: polynomial interpretations as a basis for termination analysis of logic programs. Zbl 1222.68064
Nguyen, Manh Thang; De Schreye, Danny; Giesl, Jürgen; Schneider-Kamp, Peter
8
2011
Termination analysis of logic programs based on dependency graphs. Zbl 1179.68040
Nguyen, Manh Thang; Giesl, Jürgen; Schneider-Kamp, Peter; De Schreye, Danny
7
2008
Polynomial interpretations as a basis for termination analysis of logic programs. Zbl 1165.68337
Nguyen, Manh Thang; De Schreye, Danny
7
2005
Termination analysis of CHR revisited. Zbl 1185.68176
Pilozzi, Paolo; De Schreye, Danny
5
2008
Termination proofs for logic programs with tabling. Zbl 1365.68153
Verbaeten, Sofie; De Schreye, Danny; Sagonas, Konstantinos
5
2001
A framework for analysing the termination of definite logic programs with respect to call patterns. Zbl 0862.68016
De Schreye, Danny; Verschaetse, Kristof; Bruynooghe, Maurice
5
1992
On the relation between situation calculus and event calculus. Zbl 0883.68023
Van Belleghem, Kristof; Denecker, Marc; De Schreye, Danny
5
1997
On termination of meta-programs. Zbl 1092.68020
Serebrenik, Alexander; De Schreye, Danny
5
2005
Automatic finite unfolding using well-founded measures. Zbl 0867.68023
Martens, Bern; De Schreye, Danny
4
1996
On the existence of nonterminating queries for a restricted class of PROLOG-clauses. Zbl 0689.68114
de Schreye, Danny; Bruynooghe, Maurice; Verschaetse, Kristof
4
1989
Termination prediction for general logic programs. Zbl 1184.68162
Shen, Yi-Dong; de Schreye, Danny; Voets, Dean
3
2009
Non-termination analysis of logic programs with integer arithmetics. Zbl 1222.68068
Voets, Dean; De Schreye, Danny
3
2011
Probabilistic termination of CHRiSM programs. Zbl 1377.68067
Sneyers, Jon; De Schreye, Danny
3
2012
Sound and complete partial deduction with unfolding based on well-founded measures. Zbl 0801.68026
Martens, Bern; De Schreye, Danny; Horváth, Tamás
3
1994
Inference of termination conditions for numerical loops in Prolog. Zbl 1088.68029
Serebrenik, Alexander; De Schreye, Danny
3
2004
Inference of termination conditions for numerical loops in Prolog. Zbl 1275.68051
Serebrenik, Alexander; De Schreye, Danny
2
2001
On the transformation of logic programs with instantiation based computation rules. Zbl 0669.68058
de Schreye, Danny; Bruynooghe, Maurice
2
1989
On the duality of abduction and model generation in a framework for model generation with equality. Zbl 0801.68024
Denecker, Marc; De Schreye, Danny
2
1994
Sound and complete partial deduction with unfolding based on well-founded measures. Zbl 0862.68015
Martens, Bern; De Schreye, Danny; Bruynooghe, Maurice
2
1992
Explanation based program transformation. Zbl 0708.68011
Bruynooghe, Maurice; De Raedt, Luc; De Schreye, Danny
2
1989
Non-termination analysis of logic programs using types. Zbl 1326.68065
Voets, Dean; De Schreye, Danny
1
2011
Improved termination analysis of CHR using self-sustainability analysis. Zbl 1377.68065
Pilozzi, Paolo; De Schreye, Danny
1
2012
Acceptability with general orderings. Zbl 1012.68037
De Schreye, Danny; Serebrenik, Alexander
1
2002
Termination analysis: Some practical properties of the norm and level mapping space. Zbl 0949.68028
Decorte, Stefaan; De Schreye, Danny
1
1998
Bottom-up partial deduction of logic programs. Zbl 0946.68012
Vanhoof, Wim; De Schreye, Danny; Martens, Bern
1
1999
Non-transformational termination analysis of logic programs, based on general term-orderings. Zbl 1017.68033
Serebrenik, Alexander; De Schreye, Danny
1
2001
Creating specialised integrity checks through partial evaluation of meta-interpreters. Zbl 0911.68028
Leuschel, Michael; De Schreye, Danny
1
1998
On the duality of abduction and model generation. Zbl 0862.68019
Denecker, Marc; De Schreye, Danny
1
1992
Why untyped nonground metaprogramming is not (much of) a problem. Zbl 0829.68024
Martens, Bern; De Schreye, Danny
1
1995
Logic-based program synthesis and transformation. 19th international symposium, LOPSTR 2009, Coimbra, Portugal, September 2009. Revised selected papers. Zbl 1186.68005
1
2010
Integrable-ergodic \(C^ *\)-dynamical systems on Abelian groups. Zbl 0608.46039
De Schreye, D.
1
1985
Analysing and compiling coroutines with abstract conjunctive partial deduction. Zbl 1353.68033
De Schreye, Danny; Nys, Vincent; Nicholson, Colin
1
2015
Compiling bottom-up and mixed derivations into top-down executable logic programs. Zbl 0733.68013
de Schreye, Danny; Martens, Bern; Sablon, Gunther; Bruynooghe, Maurice
1
1991
Termination of floating-point computations. Zbl 1102.65054
Serebrenik, Alexander; De Schreye, Danny
1
2005
A new approach to non-termination analysis of logic programs. Zbl 1251.68070
Voets, Dean; De Schreye, Danny
1
2009
Probabilistic legal reasoning in CHRiSM. Zbl 1286.68058
Sneyers, Jon; De Schreye, Danny; Frühwirth, Thom
1
2013
Analysing and compiling coroutines with abstract conjunctive partial deduction. Zbl 1353.68033
De Schreye, Danny; Nys, Vincent; Nicholson, Colin
1
2015
Probabilistic legal reasoning in CHRiSM. Zbl 1286.68058
Sneyers, Jon; De Schreye, Danny; Frühwirth, Thom
1
2013
Probabilistic termination of CHRiSM programs. Zbl 1377.68067
Sneyers, Jon; De Schreye, Danny
3
2012
Improved termination analysis of CHR using self-sustainability analysis. Zbl 1377.68065
Pilozzi, Paolo; De Schreye, Danny
1
2012
Polytool: polynomial interpretations as a basis for termination analysis of logic programs. Zbl 1222.68064
Nguyen, Manh Thang; De Schreye, Danny; Giesl, Jürgen; Schneider-Kamp, Peter
8
2011
Non-termination analysis of logic programs with integer arithmetics. Zbl 1222.68068
Voets, Dean; De Schreye, Danny
3
2011
Non-termination analysis of logic programs using types. Zbl 1326.68065
Voets, Dean; De Schreye, Danny
1
2011
Logic-based program synthesis and transformation. 19th international symposium, LOPSTR 2009, Coimbra, Portugal, September 2009. Revised selected papers. Zbl 1186.68005
1
2010
Termination prediction for general logic programs. Zbl 1184.68162
Shen, Yi-Dong; de Schreye, Danny; Voets, Dean
3
2009
A new approach to non-termination analysis of logic programs. Zbl 1251.68070
Voets, Dean; De Schreye, Danny
1
2009
Termination analysis of logic programs based on dependency graphs. Zbl 1179.68040
Nguyen, Manh Thang; Giesl, Jürgen; Schneider-Kamp, Peter; De Schreye, Danny
7
2008
Termination analysis of CHR revisited. Zbl 1185.68176
Pilozzi, Paolo; De Schreye, Danny
5
2008
Polynomial interpretations as a basis for termination analysis of logic programs. Zbl 1165.68337
Nguyen, Manh Thang; De Schreye, Danny
7
2005
On termination of meta-programs. Zbl 1092.68020
Serebrenik, Alexander; De Schreye, Danny
5
2005
Termination of floating-point computations. Zbl 1102.65054
Serebrenik, Alexander; De Schreye, Danny
1
2005
Inference of termination conditions for numerical loops in Prolog. Zbl 1088.68029
Serebrenik, Alexander; De Schreye, Danny
3
2004
Acceptability with general orderings. Zbl 1012.68037
De Schreye, Danny; Serebrenik, Alexander
1
2002
Termination proofs for logic programs with tabling. Zbl 1365.68153
Verbaeten, Sofie; De Schreye, Danny; Sagonas, Konstantinos
5
2001
Inference of termination conditions for numerical loops in Prolog. Zbl 1275.68051
Serebrenik, Alexander; De Schreye, Danny
2
2001
Non-transformational termination analysis of logic programs, based on general term-orderings. Zbl 1017.68033
Serebrenik, Alexander; De Schreye, Danny
1
2001
Conjunctive partial deduction: Foundations, control, algorithms, and experiments. Zbl 0944.68025
De Schreye, Danny; Glück, Robert; Jørgensen, Jesper; Leuschel, Michael; Martens, Bern; Sørensen, Morten Heine
20
1999
Bottom-up partial deduction of logic programs. Zbl 0946.68012
Vanhoof, Wim; De Schreye, Danny; Martens, Bern
1
1999
SLDNFA: An abductive procedure for abductive logic programs. Zbl 0905.68025
Denecker, Marc; De Schreye, Danny
15
1998
Termination analysis: Some practical properties of the norm and level mapping space. Zbl 0949.68028
Decorte, Stefaan; De Schreye, Danny
1
1998
Creating specialised integrity checks through partial evaluation of meta-interpreters. Zbl 0911.68028
Leuschel, Michael; De Schreye, Danny
1
1998
On the relation between situation calculus and event calculus. Zbl 0883.68023
Van Belleghem, Kristof; Denecker, Marc; De Schreye, Danny
5
1997
Automatic finite unfolding using well-founded measures. Zbl 0867.68023
Martens, Bern; De Schreye, Danny
4
1996
Representing incomplete knowledge in abductive logic programming. Zbl 0832.68023
Denecker, Marc; De Schreye, Danny
11
1995
Why untyped nonground metaprogramming is not (much of) a problem. Zbl 0829.68024
Martens, Bern; De Schreye, Danny
1
1995
Termination of logic programs: The never-ending story. Zbl 0820.68029
De Schreye, Danny; Decorte, Stefaan
23
1994
Sound and complete partial deduction with unfolding based on well-founded measures. Zbl 0801.68026
Martens, Bern; De Schreye, Danny; Horváth, Tamás
3
1994
On the duality of abduction and model generation in a framework for model generation with equality. Zbl 0801.68024
Denecker, Marc; De Schreye, Danny
2
1994
A general criterion for avoiding infinite unfolding during partial deduction. Zbl 0782.68024
Bruynooghe, Maurice; De Schreye, Danny; Martens, Bern
10
1992
A framework for analysing the termination of definite logic programs with respect to call patterns. Zbl 0862.68016
De Schreye, Danny; Verschaetse, Kristof; Bruynooghe, Maurice
5
1992
Sound and complete partial deduction with unfolding based on well-founded measures. Zbl 0862.68015
Martens, Bern; De Schreye, Danny; Bruynooghe, Maurice
2
1992
On the duality of abduction and model generation. Zbl 0862.68019
Denecker, Marc; De Schreye, Danny
1
1992
Compiling bottom-up and mixed derivations into top-down executable logic programs. Zbl 0733.68013
de Schreye, Danny; Martens, Bern; Sablon, Gunther; Bruynooghe, Maurice
1
1991
Compiling control. Zbl 0668.68025
Bruynooghe, Maurice; de Schreye, Danny; Krekels, Bruno
10
1989
On the existence of nonterminating queries for a restricted class of PROLOG-clauses. Zbl 0689.68114
de Schreye, Danny; Bruynooghe, Maurice; Verschaetse, Kristof
4
1989
On the transformation of logic programs with instantiation based computation rules. Zbl 0669.68058
de Schreye, Danny; Bruynooghe, Maurice
2
1989
Explanation based program transformation. Zbl 0708.68011
Bruynooghe, Maurice; De Raedt, Luc; De Schreye, Danny
2
1989
Integrable-ergodic \(C^ *\)-dynamical systems on Abelian groups. Zbl 0608.46039
De Schreye, D.
1
1985
all cited Publications top 5 cited Publications
all top 5

Cited by 178 Authors

15 De Schreye, Danny
8 Vidal, Germán
7 Giesl, Jürgen
7 Pettorossi, Alberto
7 Proietti, Maurizio
5 Alpuente, María
5 Bruynooghe, Maurice
5 Schneider-Kamp, Peter
4 De Angelis, Emanuele
4 Escobar, Santiago
4 Fioravanti, Fabio
4 Lamma, Evelina
4 Trubitsyna, Irina
4 Voets, Dean
3 Albert, Elvira
3 Denecker, Marc
3 Fuhs, Carsten
3 Greco, Sergio
3 Leone, Nicola
3 Leuschel, Michael
3 Lucas, Salvador
3 Mancarella, Paolo
3 Martens, Bern
3 Mello, Paola
3 Mesnard, Fred
3 Nishida, Naoki
3 Pilozzi, Paolo
3 Puebla, Germán
2 Artikis, Alexander
2 Ballis, Demis
2 Borralleras, Cristina
2 Bossi, Annalisa
2 Brockschmidt, Marc
2 Brogi, Antonio
2 Calautti, Marco
2 Caroprese, Luciano
2 Drabent, Włodzimierz
2 Eiter, Thomas
2 Falaschi, Moreno
2 Gallagher, John P.
2 Gómez-Zamalloa, Miguel
2 Gottlob, Georg
2 Kaminski, Benjamin Lucien
2 Katoen, Joost-Pieter
2 Meseguer Guaita, José
2 Molinaro, Cristian
2 Moniz Pereira, Luís
2 Otto, Carsten
2 Paliouras, Georgios
2 Payet, Étienne
2 Peltier, Nicolas
2 Plücker, Martin
2 Rodríguez-Carbonell, Enric
2 Rubio, Albert
2 Ruggieri, Salvatore
2 Sapiña, Julia
2 Shen, Yidong
2 Ströder, Thomas
2 Thiemann, René
2 Viegas Damásio, Carlos
2 You, Jia-Huai
2 Zumpano, Ester
1 Alberti, Marco
1 Alferes, José Júlio
1 Amin, Nada
1 Apt, Krzysztof Rafal
1 Aravindan, Chandrabose
1 Aschermann, Cornelius
1 Bagnara, Roberto
1 Baldoni, Matteo
1 Baral, Chitta R.
1 Barker, Steve
1 Baroglio, Cristina
1 Baroni, Pietro
1 Boulanger, Dmitri
1 Brauburger, Jürgen
1 Bry, François
1 Byrd, William E.
1 Calimeri, Francesco
1 Carette, Jacques
1 Castedo Ellerman, E.
1 Christiansen, Henning
1 Cocco, Nicoletta
1 Cozza, Susanna
1 Dauchet, Max
1 De Koninck, Leslie
1 Delrieux, Claudio
1 Dershowitz, Nachum
1 Devienne, Philippe
1 Emmes, Fabian
1 Endriss, Ulle
1 Fabris, Maria Angelica
1 Falke, Stephan
1 Fikes, Richard E.
1 Frohn, Florian
1 Frühwirth, Thom
1 Gao, Yang
1 Gavanelli, Marco
1 Geisler, Tim
1 Glass, Thomas A.
...and 78 more Authors
all top 5

Cited in 22 Serials

23 Theory and Practice of Logic Programming
15 Theoretical Computer Science
7 Journal of Automated Reasoning
4 Artificial Intelligence
4 Information and Computation
3 New Generation Computing
3 ACM Transactions on Computational Logic
2 Information Processing Letters
2 Journal of Symbolic Computation
2 Formal Aspects of Computing
2 Annals of Mathematics and Artificial Intelligence
2 Higher-Order and Symbolic Computation
2 Journal of Logical and Algebraic Methods in Programming
1 Acta Informatica
1 Science of Computer Programming
1 International Journal of Approximate Reasoning
1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
1 Applicable Algebra in Engineering, Communication and Computing
1 Journal of Applied Non-Classical Logics
1 Constraints
1 The Journal of Logic and Algebraic Programming
1 Journal of Applied Logic

Cited in 5 Fields

113 Computer science (68-XX)
12 Mathematical logic and foundations (03-XX)
1 Order, lattices, ordered algebraic structures (06-XX)
1 Numerical analysis (65-XX)
1 Operations research, mathematical programming (90-XX)

Citations by Year