home

Scientific Publications Henk Vandecasteele

Articles in international reviewed journals

  1. H. Vandecasteele, and G. Janssens, An open ended Tree, Theory and Practice of Logic Programming, 2003., accepted
  2. 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. 465-491, August, 2003.
  3. 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. 135-166, 2002.
  4. S. Decorte, D. De Schreye, and H. Vandecasteele, Constraint based automatic termination analysis of Logic Programs, ACM Trans. Program. Lang. Syst. 21 (6), pp. 1137-1195, November, 1999.
  5. M. Bruynooghe, H. Vandecasteele, D. de Waal, and M. Denecker, Detecting unsolvable queries for definite logic programs, J. Funct. Logic. Programming 1999 , pp. 1-35, November, 1999.

Contributions at international conferences, published in proceedings

  1. R. Tronšon, H. Vandecasteele, J. Struyf, B. Demoen, and G. Janssens, Query optimization: Combining query packs and the once-tranformation , Inductive Logic Programming, 13th International Conference, ILP 2003, Szeged, Hungary, Short Presentations (Horvath, T. and Yamamoto, A., eds.), pp. 105-115, 2003
  2. 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. 103-121, 2000
  3. 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. 256-273, 2000
  4. 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, Work-in-Progress Reports (James Cussens and Alan Frisch, eds.), pp. 43-59, 2000
  5. 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. 60-77, 2000
  6. 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. 1-13, 1999
  7. 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. 1-14, 1999
  8. 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. 1-9, 1998
  9. 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. 118-133, 1998
  10. 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. 1-5, 1997
  11. H. Vandecasteele, and D. De Schreye, Implementing a finite-domain CLP-language on top of Prolog: a transformational approach, Proceedings of Logic Programming and Automated Reasoning (F. Pfenning, ed.), LNAI 822, pp. 84-98, 1994

Contributions at international conferences, not published or only as abstract

  1. 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, 18-19 November 1998

Contributions at other conferences, published in proceedings

  1. H. Vandecasteele, On backtracking in finite domain problems, Proceedings of the Fifth Benelux Workshop on Logic Programming (Els. Laenens, ed.), 1994
  2. 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

  1. R. Tronšon, H. Vandecasteele, J. Struyf, B. Demoen, and G. Janssens, An execution mechanism for combining query packs and once-transformations , Department of Computer Science, K.U.Leuven, Report CW 362, Leuven, Belgium, October, 2003
  2. 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
  3. H. Vandecasteele, B. Demoen, and G. Janssens, Compiling large disjunctions, Department of Computer Science, K.U.Leuven, Report CW 295, Leuven, Belgium, July, 2000
  4. 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
  5. 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
  6. 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
  7. 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

  1. 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.299-312

Thesis

  1. 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