Homepage of Leslie De Koninck

Contact Information

Leslie De Koninck
Victoria Research Laboratory, NICTA
111 Barry Street, Carlton VIC 3053, Australia
E-mail — Tel: +61383441352 — Fax: +61393481184

Publications

Articles in international reviewed journals

  1. J. Sneyers, P. Van Weert, T. Schrijvers, and L. De Koninck, As time goes by: Constraint Handling Rules — A survey of CHR research from 1998 to 2007, Theory and Practice of Logic Programming, accepted.
  2. L. De Koninck, Logical Algorithms meets CHR: A meta-complexity theorem for Constraint Handling Rules with rule priorities, Theory and Practice of Logic Programming, 9(2), pp. 165-212, 2009.
  3. L. De Koninck, T. Schrijvers, and B. Demoen, A flexible search framework for CHR, Lecture Notes in Artificial Intelligence: Special Issue on Constraint Handling Rules: Current Research Topics 5388, pp. 16-47, 2008.

Contributions at international conferences and symposia, published in proceedings

  1. L. De Koninck, G. J. Duck, and P. J. Stuckey, Demand-driven normalisation for ACD Term Rewriting, 25th International Conference on Logic Programming, accepted.
  2. L. De Koninck, Execution control for Constraint Handling Rules — PhD Summary, 25th International Conference on Logic Programming, accepted.
  3. G. J. Duck, L. De Koninck, and P. J. Stuckey, Cadmium: An implementation of ACD term rewriting, 24th International Conference on Logic Programming (Garcia de la Banda, M. and Pontelli, E., eds.), LNCS 5366, pp. 531-545, 2008.
  4. L. De Koninck, P. J. Stuckey, and G. J. Duck, Optimizing compilation of CHR with rule priorities, 9th International Symposium on Functional and Logic Programming (Garrigue, J. and Hermenegildo, M., eds.), LNCS 4989, pp. 32-47, 2008.
  5. L. De Koninck, T. Schrijvers, and B. Demoen, The correspondence between the Logical Algorithms language and CHR, 23rd International Conference on Logic Programming (Dahl, V. and Niemela, I., eds.), LNCS 4670, pp. 209-223, 2007.
  6. L. De Koninck, T. Schrijvers, and B. Demoen, User-definable rule priorities for CHR, 9th ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (Leuschel, M. and Podelski, A., eds.), pp. 25-36, 2007.

Contributions at international workshops, published in proceedings

  1. P. Van Weert, L. De Koninck, and J. Sneyers, A proposal for a next generation of CHR, 6th Workshop on Constraint Handling Rules, accepted.
  2. L. De Koninck and J. Sneyers, Join ordering for Constraint Handling Rules, 4th Workshop on Constraint Handling Rules (Djelloul, K. and Duck, G. J. and Sulzmann, M., eds.), pp. 107-121, 2007.
  3. L. De Koninck, T. Schrijvers, and B. Demoen, Search strategies in CHR(Prolog) , 3rd Workshop on Constraint Handling Rules (Schrijvers, T. and Frühwirth, T., eds.), pp. 109-123, 2006.
  4. L. De Koninck and B. Demoen, Improvements on the applicability of nonlinear constraint solvers, Doctoral Programme of the 12th International Conference on Principles and Practice of Constraint Programming (Kiziltan, Z. and Hnich, B., eds.), pp. 42-47, 2006.
  5. L. De Koninck, T. Schrijvers, and B. Demoen, INCLP(R): Interval-based nonlinear constraint logic programming over the reals, 20th Workshop on Logic Programming (Fink, M. and Tompits, H. and Woltran, S., eds.), pp. 91-100, 2006.

Technical reports

  1. L. De Koninck, Mergeable schedules for lazy matching, Report CW 505, Department of Computer Science, K.U.Leuven, Belgium, 2007.
  2. L. De Koninck, P. J. Stuckey, and G. J. Duck, Optimized compilation of CHRrp, Report CW 499, Department of Computer Science, K.U.Leuven, Belgium, 2007.
  3. L. De Koninck, T. Schrijvers, and B. Demoen, The correspondence between the Logical Algorithms language and CHR, Report CW 480, Department of Computer Science, K.U.Leuven, Belgium, 2007.
  4. L. De Koninck, T. Schrijvers, and B. Demoen, CHRrp: Constraint Handling Rules with rule priorities, Report CW 479, Department of Computer Science, K.U.Leuven, Belgium, 2007.
  5. L. De Koninck, T. Schrijvers, and B. Demoen, Flexible search strategies in Prolog CHR, Report CW 447, Department of Computer Science, K.U.Leuven, Belgium, 2006.

Theses

  1. Execution control for Constraint Handling Rules, PhD thesis, 2008.
  2. Constraint solvers voor SWI-Prolog, Masters thesis, 2005 (in Dutch).

Under Review

  1. L. De Koninck, P. J. Stuckey and G. J. Duck, Theory and practice of Constraint Handling Rules with rule priorities, Theory and Practice of Logic Programming, submitted.

Work in Progress

  1. Demand-driven normalisation for ACD term rewriting
    2. with Gregory J. Duck and Peter J. Stuckey

Systems

Funding

My research is funded by a PhD grant of the the Institute for the Promotion of Innovation through Science and Technology in Flanders (IWT-Vlaanderen):
  1. Project proposal for 2008-2009 (in Dutch)
  2. Project proposal for 2006-2007 (in Dutch)

Education

  1. PhD in Engineering - Computer Science (Doctor in de Ingenieurswetenschappen - Computerwetenschappen), K.U.Leuven, Belgium, 2008.
  2. MSc in Computer Science (Licentiaat in de Informatica), K.U.Leuven, Belgium, 2005.