home
Scientific Publications Henk Vandecasteele
Articles in international reviewed journals
 H.
Vandecasteele, and G. Janssens, An
open ended Tree, Theory and Practice of Logic Programming, 2003.,
accepted
 V. Santos Costa, A. Srinivasan, R. Camacho, H. Blockeel, B. Demoen, G.
Janssens, J. Struyf, H. Vandecasteele, and W. Van Laer, Query
transformations for improving the efficiency of ILP systems,
Journal of Machine Learning Research 4 (Aug), pp. 465491, August, 2003.
 H. Blockeel, L. Dehaspe, B. Demoen, G. Janssens, J. Ramon, and H.
Vandecasteele, Improving
the efficiency of Inductive Logic Programming through the use of query
packs, Journal of Artificial Intelligence Research 16
, pp. 135166, 2002.
 S. Decorte, D. De Schreye, and H. Vandecasteele, Constraint
based automatic termination analysis of Logic Programs, ACM Trans.
Program. Lang. Syst. 21
(6), pp. 11371195, November, 1999.
 M. Bruynooghe, H. Vandecasteele, D. de Waal, and M. Denecker, Detecting
unsolvable queries for definite logic programs, J. Funct. Logic.
Programming 1999
, pp. 135, November, 1999.
Contributions at international conferences, published in
proceedings
 R. Tronçon, H. Vandecasteele, J. Struyf, B. Demoen, and G. Janssens,
Query optimization: Combining query packs and the oncetranformation
,
Inductive Logic Programming, 13th International Conference, ILP 2003, Szeged,
Hungary, Short Presentations (Horvath, T. and Yamamoto, A., eds.), pp. 105115, 2003
 H. Vandecasteele, B. Demoen, and G. Janssens,
Compiling
large disjunctions, First International Conference on
Computational Logic : Workshop on Parallelism and Implementation Technology
for (Constraint) Logic Programming Languages (Ines de Castro Dutra and
Enrico Pontelli and Vitor Santos Costa, eds.), pp. 103121, 2000
 H. Vandecasteele, B. Demoen, and G. Janssens, A
finite domain CLP solver on top of Mercury, New Trends in
Constraints : Joint ERCIM/Compulog Workhsop, Paphos, Cyprus, October 1999,
Selected Papers (Kryzysztof R. Apt and Antonis C. Kakas and Eric Monfroy
and Francesca Rossi, eds.), vol 1865, Lecture Notes in Artificial
Intelligence, pp. 256273, 2000
 H. Blockeel, B. Demoen, G. Janssens, H. Vandecasteele, and W. Van Laer,
Two
advanced transformations for improving the efficiency of an ILP
system, 10th International Conference on Inductive Logic
Programming, WorkinProgress Reports (James Cussens and Alan Frisch,
eds.), pp. 4359, 2000
 H. Blockeel, L. Dehaspe, B. Demoen, G. Janssens, J. Ramon, and H.
Vandecasteele, Executing
query packs in ILP, Inductive Logic Programming, 10th
International Conference, ILP2000, London, UK, July 2000, Proceedings
(James Cussens and Alan Frisch, eds.), vol 1866, Lecture Notes in
Artificial Intelligence, pp. 6077, 2000
 H. Vandecasteele, MROPEII:
A finite domain solver on top of Mercury, Proceedings of the 1999
ERCIM/COMPULOG Workshop on Constraints (Apt, K.R. and Kakas, A.C. and
Monfroy, E. and Rossi, F., eds.), pp. 113, 1999
 B. Demoen, G. Janssens, and H. Vandecasteele, Executing
query flocks for ILP, Proceedings of the 1999 Benelux Workshop on
Logic Programming (BENELOG'99) (Etalle, Sandro, ed.), pp. 114, 1999
 H. Vandecasteele, and R. Rodosek, Modeling
combinatorial problems for CLP (FD+R), Proceedings of the Benelux
Workshop on Logic Programming (van Raamsdonk, Femke, ed.), pp. 19, 1998
 M. Bruynooghe, H. Vandecasteele, D. de Waal, and M. Denecker, Detecting
unsolvable queries for definite logic programs, Principles of
Declarative Programming, Proceedings of the Joint International Symposium
PLILP/ALP'98) (Palamidessi, C. and Glaser, H. and Meinke, K., eds.), vol
1490, LNCS, pp. 118133, 1998
 M. Denecker, H. Vandecasteele, D. De Schreye, G. Seghers, and T.
Baeyens, Scheduling
by ''abductive execution'' of a classical logic specification,
1997 ERCIM/Compulog workshop on Constraints (Philippe Codognet, ed.), pp.
15, 1997
 H. Vandecasteele, and D. De Schreye, Implementing a finitedomain
CLPlanguage on top of Prolog: a transformational approach,
Proceedings of Logic Programming and Automated Reasoning (F. Pfenning,
ed.), LNAI 822, pp. 8498, 1994
Contributions at international conferences, not published or only
as abstract
 M. Bruynooghe, H. Vandecasteele, D. de Waal, and M.
Denecker, Detecting
unsolvable queries for definite logic programs, The
Netherlands/Belgium Conference on Artificial Intelligence, NAIC'98,
Amsterdam, The Netherlands, 1819 November 1998
Contributions at other conferences, published in
proceedings
 H. Vandecasteele, On backtracking in finite
domain problems, Proceedings of the Fifth Benelux Workshop on Logic
Programming (Els. Laenens, ed.), 1994
 H. Vandecasteele, and D. De Schreye, Solving finite domain problems
with efficient prun ing and smart enumeration, Proceedings of the
Fifth Benelux Workshop on Logic Programming (Els. Laenens, ed.), 1993
Technical reports

R. Tronçon, H. Vandecasteele, J. Struyf, B. Demoen, and G. Janssens,
An execution mechanism for combining query packs and
oncetransformations
, Department of Computer Science, K.U.Leuven, Report CW 362, Leuven,
Belgium, October, 2003
 H. Vandecasteele, and M. Bruynooghe,
Abstracts
of the Benelux workshop on computational logic, Department of
Computer Science, K.U.Leuven, Report CW 290, Leuven, Belgium, May, 2000
 H. Vandecasteele, B. Demoen, and G. Janssens, Compiling
large disjunctions, Department of Computer Science, K.U.Leuven,
Report CW 295, Leuven, Belgium, July, 2000
 H. Blockeel, B. Demoen, G. Janssens, H. Vandecasteele, and W. Van Laer,
Two
advanced transformations for improving the efficiency of an ILP
system, Department of Computer Science, K.U.Leuven, Report CW 293,
Leuven, Belgium, June, 2000
 H. Blockeel, L. Dehaspe, B. Demoen, G. Janssens, J. Ramon, and H.
Vandecasteele, Executing
query packs in ILP, Department of Computer Science, K.U.Leuven,
Report CW 287, Leuven, Belgium, May, 2000
 B. Demoen, G. Janssens, and H. Vandecasteele, Executing
query flocks for ILP, Department of Computer Science, K.U.Leuven,
Report CW 280, Leuven, Belgium, September, 1999
 M. Bruynooghe, H. Vandecasteele, D. de Waal, and M. Denecker, Detecting
unsolvable queries for definite logic programs, Department of
Computer Science, K.U.Leuven, Report CW 270, Leuven, Belgium, July, 1998
Parts of books
 H. Vandecasteele, B. Demoen, and J. Van Der
Auwera, The
use of Mercury for the implementation of a finite domain solver,
Parallelism and Implementation of Logic and Constraint Logic Programming,
(de Castro Dutra, Ines and Carro, Manuel and Pontelli, Enrico and Gupta,
Gopal and Silva, Fernando and Santos Costa, Vitor, eds.), Nova Science
Publishers, 1999, pp.299312
Thesis
 H. Vandecasteele, Constraint
logic programming: applications and implementation, Ph.D. Thesis,
Department of Computer Science, K.U.Leuven, Leuven, Belgium, May, 1999,
226+vii pages