- Van Weert, Peter; De Koninck, Leslie; Sneyers, Jon.
A proposal for a next generation of CHR, Raiser, Frank; Sneyers, Jon (eds.), Proceedings of the Sixth Workshop on Constraint Handling Rules, pages 1-17, Workshop on Constraint Handling Rules, Pasadena, California, July 2009
@inproceedings{230435,
author = "Van Weert, Peter and De Koninck, Leslie and Sneyers, Jon",
title = "{A} proposal for a next generation of {CHR}",
booktitle = "{P}roceedings of the sixth {W}orkshop on {C}onstraint {H}andling {R}ules, Workshop on Constraint Handling Rules, Pasadena, California, July 2009",
editor = "Raiser, Frank and Sneyers, Jon",
pages = "1--17",
month = Jul,
year = "2009",
url = "https://lirias.kuleuven.be/handle/123456789/230435",
}
- De Koninck, Leslie; Stuckey, Peter J.; Duck, Gregory J..
Optimizing compilation of CHR with rule priorities, Lecture Notes in Computer Science, volume 4989, pages 32-47, Springer, International Symposium on Functional and Logic Programming, Ise, Japan, 14-16 April 2008
@inproceedings{177047,
author = "De Koninck, Leslie and Stuckey, Peter J. and Duck, Gregory J.",
title = "{O}ptimizing compilation of {CHR} with rule priorities",
booktitle = "{L}ecture notes in computer science, International Symposium on Functional and Logic Programming, Ise, Japan, 14-16 April 2008",
publisher = "Springer",
pages = "32--47",
year = "2008",
volume = "4989",
doi = "10.1007/978-3-540-78969-7_5",
url = "https://lirias.kuleuven.be/handle/123456789/177047",
}
- Duck, Gregory J.; De Koninck, Leslie; Stuckey, Peter J..
Cadmium: An implementation of ACD term rewriting, Lecture Notes in Computer Science, volume 5366, pages 531-545, Springer, International Conference on Logic Programming, Udine, Italy, 9-12 December 2008
@inproceedings{210911,
author = "Duck, Gregory J. and De Koninck, Leslie and Stuckey, Peter J.",
title = "{C}admium: {A}n implementation of {ACD} term rewriting",
booktitle = "{L}ecture notes in computer science, International Conference on Logic Programming, Udine, Italy, 9-12 December 2008",
publisher = "Springer",
pages = "531--545",
year = "2008",
volume = "5366",
doi = "10.1007/978-3-540-89982-2_45",
url = "https://lirias.kuleuven.be/handle/123456789/210911",
}
- De Koninck, Leslie; Schrijvers, Tom; Demoen, Bart.
User-definable rule priorities for CHR, Leuschel, Michael; Podelski, Andreas (eds.), Proceedings of the 9th ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, pages 25-36, ACM Press, International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, Wroclaw, Poland, July 14-16, 2007
@inproceedings{146159,
author = "De Koninck, Leslie and Schrijvers, Tom and Demoen, Bart",
title = "{U}ser-definable rule priorities for {CHR}",
booktitle = "{P}roceedings of the 9th {ACM} {SIGPLAN} {C}onference on {P}rinciples and {P}ractice of {D}eclarative {P}rogramming, International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, Wroclaw, Poland, July 14-16, 2007",
editor = "Leuschel, Michael and Podelski, Andreas",
publisher = "ACM Press",
pages = "25--36",
year = "2007",
doi = "10.1145/1273920.1273924",
url = "https://lirias.kuleuven.be/handle/123456789/146159",
}
- De Koninck, Leslie; Schrijvers, Tom; Demoen, Bart.
The correspondence between the logical algorithms language and CHR, Dahl, Veronica; Niemelä, Ilkka (eds.), Lecture Notes in Computer Science, volume 4670, pages 209-223, Springer, International Conference on Logic Programming, Porto, Portugal, September 8-13, 2007
@inproceedings{146670,
author = "De Koninck, Leslie and Schrijvers, Tom and Demoen, Bart",
title = "{T}he correspondence between the logical algorithms language and {CHR}",
booktitle = "{L}ecture {N}otes in {C}omputer {S}cience, International Conference on Logic Programming, Porto, Portugal, September 8-13, 2007",
editor = "Dahl, Veronica and Niemel{\"a}, Ilkka",
publisher = "Springer",
pages = "209--223",
year = "2007",
volume = "4670",
doi = "10.1007/978-3-540-74610-2_15",
url = "https://lirias.kuleuven.be/handle/123456789/146670",
}
- De Koninck, Leslie; Sneyers, Jon.
Join ordering for constraint handling rules, Djelloul, Khalil; Duck, Gregory J.; Sulzmann, Martin (eds.), Proceedings of the Fourth Workshop on Constraint Handling Rules, pages 107-121, U.Porto, Workshop on Constraint Handling Rules, Porto, Portugal, September 8, 2007
@inproceedings{146631,
author = "De Koninck, Leslie and Sneyers, Jon",
title = "{J}oin ordering for constraint handling rules",
booktitle = "{P}roceedings of the {F}ourth {W}orkshop on {C}onstraint {H}andling {R}ules, Workshop on Constraint Handling Rules, Porto, Portugal, September 8, 2007",
editor = "Djelloul, Khalil and Duck, Gregory J. and Sulzmann, Martin",
publisher = "U.Porto",
pages = "107--121",
year = "2007",
url = "https://lirias.kuleuven.be/handle/123456789/146631",
}
- De Koninck, Leslie; Demoen, Bart.
Improvements on the applicability of nonlinear constraint solvers, Kiziltan, Z.; Hnich, B (eds.), Proceedings of the CP 2006 Doctoral Programme, pages 42-47, The Doctoral Programme of the Twelfth International Conference on Principles and Practice of Constraint Programming, Nantes, France, September 24-29, 2006
@inproceedings{132971,
author = "De Koninck, Leslie and Demoen, Bart",
title = "{I}mprovements on the applicability of nonlinear constraint solvers",
booktitle = "{P}roceedings of the {CP} 2006 {D}octoral {P}rogramme, The Doctoral Programme of the Twelfth International Conference on Principles and Practice of Constraint Programming, Nantes, France, September 24-29, 2006",
editor = "Kiziltan, Z. and Hnich, B.",
pages = "42--47",
year = "2006",
url = "https://lirias.kuleuven.be/handle/123456789/132971",
}
- De Koninck, Leslie; Schrijvers, Tom; Demoen, Bart.
Search Strategies in CHR(Prolog), Schrijvers, Tom; Fruehwirth, T (eds.), Proceedings of the Third Workshop on Constraint Handling Rules, pages 109-123, Department of Computer Science, K.U.Leuven, Workshop on Constraint Handling Rules, Venice, Italy, July 9, 2006
@inproceedings{134210,
author = "De Koninck, Leslie and Schrijvers, Tom and Demoen, Bart",
title = "{S}earch {S}trategies in {CHR}({P}rolog)",
booktitle = "{P}roceedings of the {T}hird {W}orkshop on {C}onstraint {H}andling {R}ules, Workshop on Constraint Handling Rules, Venice, Italy, July 9, 2006",
editor = "Schrijvers, Tom and Fruehwirth, T.",
publisher = "Department of Computer Science, K.U.Leuven",
location = "Leuven, Belgium",
pages = "109--123",
year = "2006",
url = "https://lirias.kuleuven.be/handle/123456789/134210",
}
- De Koninck, Leslie; Schrijvers, Tom; Demoen, Bart.
INCLP(R) - Interval-based nonlinear constraint logic programming over the reals, Fink, M.; Tompits, H.; Woltran, S (eds.), Proceedings of the 20th Workshop on Logic Programming, pages 91-100, Workshop on Logic Programming, Vienna, Austria, February 22-24, 2006
@inproceedings{132260,
author = "De Koninck, Leslie and Schrijvers, Tom and Demoen, Bart",
title = "{INCLP}({R}) - {I}nterval-based nonlinear constraint logic programming over the reals",
booktitle = "{P}roceedings of the 20th {W}orkshop on {L}ogic {P}rogramming, Workshop on Logic Programming, Vienna, Austria, February 22-24, 2006",
editor = "Fink, M. and Tompits, H. and Woltran, S.",
pages = "91--100",
year = "2006",
url = "https://lirias.kuleuven.be/handle/123456789/132260",
}
- Van Weert, Peter; De Koninck, Leslie.
Proceedings of the 7th International Workshop on Constraint Handling Rules, CW Reports, volume CW588, 46 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May 2010
@techreport{269813,
author = "Van Weert, Peter and De Koninck, Leslie",
title = "{P}roceedings of the 7th {I}nternational {W}orkshop on {C}onstraint {H}andling {R}ules",
institution = "Department of Computer Science, K.U.Leuven",
location = "Leuven, Belgium",
type = "{CW} {R}eports",
number = "CW588",
month = May,
year = "2010",
url = "https://lirias.kuleuven.be/handle/123456789/269813",
}
- De Koninck, Leslie.
Mergeable schedules for lazy matching, CW Reports, volume CW505, 51 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, December 2007
@techreport{161886,
author = "De Koninck, Leslie",
title = "{M}ergeable schedules for lazy matching",
institution = "Department of Computer Science, K.U.Leuven",
location = "Leuven, Belgium",
type = "{CW} {R}eports",
number = "CW505",
month = Dec,
year = "2007",
url = "https://lirias.kuleuven.be/handle/123456789/161886",
}
- De Koninck, Leslie; Schrijvers, Tom; Demoen, Bart.
The correspondence between the Logical Algorithms language and CHR, CW Reports, volume CW480, 25 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, March 2007
@techreport{156685,
author = "De Koninck, Leslie and Schrijvers, Tom and Demoen, Bart",
title = "{T}he correspondence between the {L}ogical {A}lgorithms language and {CHR}",
institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
type = "{CW} {R}eports",
number = "CW480",
month = Mar,
year = "2007",
url = "https://lirias.kuleuven.be/handle/123456789/156685",
}
- De Koninck, Leslie; Schrijvers, Tom; Demoen, Bart.
CHR-rp: Constraint Handling Rules with rule priorities, CW Reports, volume CW479, 18 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, March 2007
@techreport{156686,
author = "De Koninck, Leslie and Schrijvers, Tom and Demoen, Bart",
title = "{CHR}-rp: {C}onstraint {H}andling {R}ules with rule priorities",
institution = "Department of Computer Science, K.U.Leuven, Leuven, Belgium",
type = "{CW} {R}eports",
number = "CW479",
month = Mar,
year = "2007",
url = "https://lirias.kuleuven.be/handle/123456789/156686",
}
- De Koninck, Leslie; Stuckey, Peter J.; Duck, Gregory J..
Optimized compilation of CHR-rp, CW Reports, volume CW499, 17 pages, K.U.Leuven, Department of Computer Science, August 2007
@techreport{156302,
author = "De Koninck, Leslie and Stuckey, Peter J. and Duck, Gregory J.",
title = "{O}ptimized compilation of {CHR}-rp",
institution = "K.U.Leuven, Department of Computer Science",
type = "{CW} {R}eports",
number = "CW499",
month = Aug,
year = "2007",
url = "https://lirias.kuleuven.be/handle/123456789/156302",
}
- De Koninck, Leslie; Schrijvers, Tom; Demoen, Bart.
Flexible search strategies in Prolog CHR, CW Reports, volume CW447, 21 pages, K.U.Leuven, Department of Computer Science, May 2006
@techreport{131642,
author = "De Koninck, Leslie and Schrijvers, Tom and Demoen, Bart",
title = "{F}lexible search strategies in {P}rolog {CHR}",
institution = "K.U.Leuven, Department of Computer Science",
type = "{CW} {R}eports",
number = "CW447",
month = May,
year = "2006",
url = "https://lirias.kuleuven.be/handle/123456789/131642",
}
Last update local database Mon Aug 21 2023 9:06 am; It contains 19 publications of Leslie De Koninck.