Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Jimmy Ho-Man Lee
@article{DBLP:journals/ai/LeeZ23,
author = {Jimmy H. M. Lee and
Allen Z. Zhong},
title = {Automatic generation of dominance breaking nogoods for a class of
constraint optimization problems},
journal = {Artif. Intell.},
volume = {323},
pages = {103974},
year = {2023},
url = {https://doi.org/10.1016/j.artint.2023.103974},
doi = {10.1016/J.ARTINT.2023.103974},
timestamp = {Thu, 14 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/LeeZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/LeeZ23,
author = {Jimmy H. M. Lee and
Allen Z. Zhong},
title = {Exploiting Functional Constraints in Automatic Dominance Breaking
for Constraint Optimization},
journal = {J. Artif. Intell. Res.},
volume = {78},
pages = {1--35},
year = {2023},
url = {https://doi.org/10.1613/jair.1.14714},
doi = {10.1613/JAIR.1.14714},
timestamp = {Tue, 10 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/LeeZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/HuLL23,
author = {Xinyi Hu and
Jasper C. H. Lee and
Jimmy H. M. Lee},
editor = {Brian Williams and
Yiling Chen and
Jennifer Neville},
title = {Predict+Optimize for Packing and Covering LPs with Unknown Parameters
in Constraints},
booktitle = {Thirty-Seventh {AAAI} Conference on Artificial Intelligence, {AAAI}
2023, Thirty-Fifth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2023, Thirteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2023, Washington, DC, USA, February
7-14, 2023},
pages = {3987--3995},
publisher = {{AAAI} Press},
year = {2023},
url = {https://doi.org/10.1609/aaai.v37i4.25513},
doi = {10.1609/AAAI.V37I4.25513},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/HuLL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/LiL23,
author = {Hongbo Li and
Jimmy H. M. Lee},
editor = {Brian Williams and
Yiling Chen and
Jennifer Neville},
title = {Finding Good Partial Assignments during Restart-Based Branch and Bound
Search},
booktitle = {Thirty-Seventh {AAAI} Conference on Artificial Intelligence, {AAAI}
2023, Thirty-Fifth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2023, Thirteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2023, Washington, DC, USA, February
7-14, 2023},
pages = {4035--4043},
publisher = {{AAAI} Press},
year = {2023},
url = {https://doi.org/10.1609/aaai.v37i4.25518},
doi = {10.1609/AAAI.V37I4.25518},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/LiL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Lee23,
author = {Jimmy H. M. Lee},
editor = {Roland H. C. Yap},
title = {A Tale of Two Cities: Teaching {CP} with Story-Telling (Invited Talk)},
booktitle = {29th International Conference on Principles and Practice of Constraint
Programming, {CP} 2023, August 27-31, 2023, Toronto, Canada},
series = {LIPIcs},
volume = {280},
pages = {2:1--2:1},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.CP.2023.2},
doi = {10.4230/LIPICS.CP.2023.2},
timestamp = {Tue, 26 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/Lee23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/HuLL23,
author = {Xinyi Hu and
Jasper C. H. Lee and
Jimmy H. M. Lee},
editor = {Andr{\'{e}} A. Cir{\'{e}}},
title = {Branch {\&} Learn with Post-hoc Correction for Predict+Optimize
with Unknown Parameters in Constraints},
booktitle = {Integration of Constraint Programming, Artificial Intelligence, and
Operations Research - 20th International Conference, {CPAIOR} 2023,
Nice, France, May 29 - June 1, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13884},
pages = {264--280},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-33271-5\_18},
doi = {10.1007/978-3-031-33271-5\_18},
timestamp = {Wed, 31 May 2023 14:56:54 +0200},
biburl = {https://dblp.org/rec/conf/cpaior/HuLL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/HuLL23,
author = {Xinyi Hu and
Jasper C. H. Lee and
Jimmy Ho{-}Man Lee},
editor = {Alice Oh and
Tristan Naumann and
Amir Globerson and
Kate Saenko and
Moritz Hardt and
Sergey Levine},
title = {Two-Stage Predict+Optimize for MILPs with Unknown Parameters in Constraints},
booktitle = {Advances in Neural Information Processing Systems 36: Annual Conference
on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans,
LA, USA, December 10 - 16, 2023},
year = {2023},
url = {http://papers.nips.cc/paper\_files/paper/2023/hash/2e14be0332c04c76742710e417cedb2a-Abstract-Conference.html},
timestamp = {Fri, 01 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nips/HuLL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-06698,
author = {Xinyi Hu and
Jasper C. H. Lee and
Jimmy H. M. Lee},
title = {Branch {\&} Learn with Post-hoc Correction for Predict+Optimize
with Unknown Parameters in Constraints},
journal = {CoRR},
volume = {abs/2303.06698},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.06698},
doi = {10.48550/ARXIV.2303.06698},
eprinttype = {arXiv},
eprint = {2303.06698},
timestamp = {Thu, 16 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-06698.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-08022,
author = {Xinyi Hu and
Jasper C. H. Lee and
Jimmy H. M. Lee},
title = {Two-Stage Predict+Optimize for Mixed Integer Linear Programs with
Unknown Parameters in Constraints},
journal = {CoRR},
volume = {abs/2311.08022},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.08022},
doi = {10.48550/ARXIV.2311.08022},
eprinttype = {arXiv},
eprint = {2311.08022},
timestamp = {Tue, 21 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-08022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/LeeZ22,
author = {Jimmy H. M. Lee and
Allen Z. Zhong},
editor = {Christine Solnon},
title = {Exploiting Functional Constraints in Automatic Dominance Breaking
for Constraint Optimization},
booktitle = {28th International Conference on Principles and Practice of Constraint
Programming, {CP} 2022, July 31 to August 8, 2022, Haifa, Israel},
series = {LIPIcs},
volume = {235},
pages = {31:1--31:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.CP.2022.31},
doi = {10.4230/LIPICS.CP.2022.31},
timestamp = {Wed, 27 Jul 2022 16:09:08 +0200},
biburl = {https://dblp.org/rec/conf/cp/LeeZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/HuLLZ22,
author = {Xinyi Hu and
Jasper C. H. Lee and
Jimmy H. M. Lee and
Allen Z. Zhong},
editor = {Sanmi Koyejo and
S. Mohamed and
A. Agarwal and
Danielle Belgrave and
K. Cho and
A. Oh},
title = {Branch {\&} Learn for Recursively and Iteratively Solvable Problems
in Predict+Optimize},
booktitle = {Advances in Neural Information Processing Systems 35: Annual Conference
on Neural Information Processing Systems 2022, NeurIPS 2022, New Orleans,
LA, USA, November 28 - December 9, 2022},
year = {2022},
url = {http://papers.nips.cc/paper\_files/paper/2022/hash/a59a11e8580a7ac850cb792f6179c7a0-Abstract-Conference.html},
timestamp = {Mon, 08 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nips/HuLLZ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-01672,
author = {Xinyi Hu and
Jasper C. H. Lee and
Jimmy H. M. Lee and
Allen Z. Zhong},
title = {Branch {\&} Learn for Recursively and Iteratively Solvable Problems
in Predict+Optimize},
journal = {CoRR},
volume = {abs/2205.01672},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.01672},
doi = {10.48550/ARXIV.2205.01672},
eprinttype = {arXiv},
eprint = {2205.01672},
timestamp = {Thu, 05 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-01672.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-13356,
author = {Xu Yang and
Daoyuan Wu and
Xiao Yi and
Jimmy H. M. Lee and
Tan Lee},
title = {iExam: {A} Novel Online Exam Monitoring and Analysis System Based
on Face Detection and Recognition},
journal = {CoRR},
volume = {abs/2206.13356},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.13356},
doi = {10.48550/ARXIV.2206.13356},
eprinttype = {arXiv},
eprint = {2206.13356},
timestamp = {Mon, 04 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-13356.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-03668,
author = {Xinyi Hu and
Jasper C. H. Lee and
Jimmy H. M. Lee},
title = {Predict+Optimize for Packing and Covering LPs with Unknown Parameters
in Constraints},
journal = {CoRR},
volume = {abs/2209.03668},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2209.03668},
doi = {10.48550/ARXIV.2209.03668},
eprinttype = {arXiv},
eprint = {2209.03668},
timestamp = {Mon, 26 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-03668.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/LeeZ21,
author = {Jimmy H. M. Lee and
Allen Z. Zhong},
title = {Towards More Practical and Efficient Automatic Dominance Breaking},
booktitle = {Thirty-Fifth {AAAI} Conference on Artificial Intelligence, {AAAI}
2021, Thirty-Third Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2021, The Eleventh Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2021, Virtual Event, February 2-9,
2021},
pages = {3868--3876},
publisher = {{AAAI} Press},
year = {2021},
url = {https://doi.org/10.1609/aaai.v35i5.16505},
doi = {10.1609/AAAI.V35I5.16505},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/LeeZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icbl/Lee21,
author = {Jimmy H. M. Lee},
editor = {Richard Chen Li and
Simon K. S. Cheung and
Chiaki Iwasaki and
Lam For Kwok and
Makoto Kageto},
title = {From {MOOC} to {SPOC:} Fable-Based Learning},
booktitle = {Blended Learning: Re-thinking and Re-defining the Learning Process.
- 14th International Conference, {ICBL} 2021, Nagoya, Japan, August
10-13, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12830},
pages = {16--25},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-80504-3\_2},
doi = {10.1007/978-3-030-80504-3\_2},
timestamp = {Fri, 06 Aug 2021 11:47:24 +0200},
biburl = {https://dblp.org/rec/conf/icbl/Lee21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ChanCFLS20,
author = {Mavis Chan and
Cecilia Chun and
Holly Fung and
Jimmy H. M. Lee and
Peter J. Stuckey},
title = {Teaching Constraint Programming Using Fable-Based Learning},
booktitle = {The Thirty-Fourth {AAAI} Conference on Artificial Intelligence, {AAAI}
2020, The Thirty-Second Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2020, The Tenth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2020, New York, NY, USA,
February 7-12, 2020},
pages = {13366--13373},
publisher = {{AAAI} Press},
year = {2020},
url = {https://doi.org/10.1609/aaai.v34i09.7059},
doi = {10.1609/AAAI.V34I09.7059},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/ChanCFLS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LeeZ20,
author = {Jimmy Ho{-}Man Lee and
Allen Z. Zhong},
editor = {Christian Bessiere},
title = {Automatic Dominance Breaking for a Class of Constraint Optimization
Problems},
booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on
Artificial Intelligence, {IJCAI} 2020},
pages = {1192--1200},
publisher = {ijcai.org},
year = {2020},
url = {https://doi.org/10.24963/ijcai.2020/166},
doi = {10.24963/IJCAI.2020/166},
timestamp = {Mon, 20 Jul 2020 12:38:52 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/LeeZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/LeeLZ18,
author = {Jasper C. H. Lee and
Jimmy H. M. Lee and
Allen Z. Zhong},
editor = {John N. Hooker},
title = {Augmenting Stream Constraint Programming with Eventuality Conditions},
booktitle = {Principles and Practice of Constraint Programming - 24th International
Conference, {CP} 2018, Lille, France, August 27-31, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11008},
pages = {242--258},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-98334-9\_17},
doi = {10.1007/978-3-319-98334-9\_17},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/LeeLZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1806-04325,
author = {Jasper C. H. Lee and
Jimmy H. M. Lee and
Allen Z. Zhong},
title = {Augmenting Stream Constraint Programming with Eventuality Conditions},
journal = {CoRR},
volume = {abs/1806.04325},
year = {2018},
url = {http://arxiv.org/abs/1806.04325},
eprinttype = {arXiv},
eprint = {1806.04325},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1806-04325.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/LeeZ17,
author = {Jimmy H. M. Lee and
Zichen Zhu},
title = {Towards breaking more composition symmetries in partial symmetry breaking},
journal = {Artif. Intell.},
volume = {252},
pages = {51--82},
year = {2017},
url = {https://doi.org/10.1016/j.artint.2017.07.006},
doi = {10.1016/J.ARTINT.2017.07.006},
timestamp = {Wed, 18 Oct 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/LeeZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccia/Giraldez-CruLM17,
author = {Jes{\'{u}}s Gir{\'{a}}ldez{-}Cru and
Jimmy H. M. Lee and
Pedro Meseguer},
editor = {Isabel Aguil{\'{o}} and
Ren{\'{e}} Alqu{\'{e}}zar and
Cecilio Angulo and
Alberto Ortiz and
Joan Torrens},
title = {Iterative {AWC} for Distributed {SAT}},
booktitle = {Recent Advances in Artificial Intelligence Research and Development
- Proceedings of the 20th International Conference of the Catalan
Association for Artificial Intelligence, Deltebre, Terres de l'Ebre,
Spain, October 25-27, 2017},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {300},
pages = {56--65},
publisher = {{IOS} Press},
year = {2017},
url = {https://doi.org/10.3233/978-1-61499-806-8-56},
doi = {10.3233/978-1-61499-806-8-56},
timestamp = {Fri, 18 Mar 2022 10:19:55 +0100},
biburl = {https://dblp.org/rec/conf/ccia/Giraldez-CruLM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/AlloucheBBGGLLL16,
author = {David Allouche and
Christian Bessiere and
Patrice Boizumault and
Simon de Givry and
Patricia Gutierrez and
Jimmy H. M. Lee and
Ka Lun Leung and
Samir Loudni and
Jean{-}Philippe M{\'{e}}tivier and
Thomas Schiex and
Yi Wu},
title = {Tractability-preserving transformations of global cost functions},
journal = {Artif. Intell.},
volume = {238},
pages = {166--189},
year = {2016},
url = {https://doi.org/10.1016/j.artint.2016.06.005},
doi = {10.1016/J.ARTINT.2016.06.005},
timestamp = {Fri, 04 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/AlloucheBBGGLLL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/LeeZ16,
author = {Jimmy H. M. Lee and
Zichen Zhu},
editor = {Dale Schuurmans and
Michael P. Wellman},
title = {Breaking More Composition Symmetries Using Search Heuristics},
booktitle = {Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence,
February 12-17, 2016, Phoenix, Arizona, {USA}},
pages = {3418--3425},
publisher = {{AAAI} Press},
year = {2016},
url = {https://doi.org/10.1609/aaai.v30i1.10438},
doi = {10.1609/AAAI.V30I1.10438},
timestamp = {Mon, 04 Sep 2023 15:08:28 +0200},
biburl = {https://dblp.org/rec/conf/aaai/LeeZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/LeeSZ16,
author = {Jimmy H. M. Lee and
Christian Schulte and
Zichen Zhu},
editor = {Dale Schuurmans and
Michael P. Wellman},
title = {Increasing Nogoods in Restart-Based Search},
booktitle = {Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence,
February 12-17, 2016, Phoenix, Arizona, {USA}},
pages = {3426--3433},
publisher = {{AAAI} Press},
year = {2016},
url = {https://doi.org/10.1609/aaai.v30i1.10437},
doi = {10.1609/AAAI.V30I1.10437},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/LeeSZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LeeZ16,
author = {Jimmy H. M. Lee and
Zichen Zhu},
editor = {Subbarao Kambhampati},
title = {Static Symmetry Breaking with the Reflex Ordering},
booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
2016},
pages = {758--765},
publisher = {{IJCAI/AAAI} Press},
year = {2016},
url = {http://www.ijcai.org/Abstract/16/113},
timestamp = {Tue, 20 Aug 2019 16:19:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/LeeZ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/LallouetLMY15,
author = {Arnaud Lallouet and
Jimmy Ho{-}Man Lee and
Terrence W. K. Mak and
Justin Yip},
title = {Ultra-weak solutions and consistency enforcement in minimax weighted
constraint satisfaction},
journal = {Constraints An Int. J.},
volume = {20},
number = {2},
pages = {109--154},
year = {2015},
url = {https://doi.org/10.1007/s10601-014-9174-6},
doi = {10.1007/S10601-014-9174-6},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/LallouetLMY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/LeeMS15,
author = {Jimmy Ho{-}Man Lee and
Pedro Meseguer and
Wen Su},
title = {Adding laziness in BnB-ADOPT+},
journal = {Constraints An Int. J.},
volume = {20},
number = {2},
pages = {274--282},
year = {2015},
url = {https://doi.org/10.1007/s10601-014-9177-3},
doi = {10.1007/S10601-014-9177-3},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/LeeMS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LeeZ15,
author = {Jimmy H. M. Lee and
Zichen Zhu},
editor = {Qiang Yang and
Michael J. Wooldridge},
title = {Filtering Nogoods Lazily in Dynamic Symmetry Breaking During Search},
booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
25-31, 2015},
pages = {339--345},
publisher = {{AAAI} Press},
year = {2015},
url = {http://ijcai.org/Abstract/15/054},
timestamp = {Tue, 20 Aug 2019 16:16:43 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/LeeZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AlloucheBBGGLLL15,
author = {David Allouche and
Christian Bessiere and
Patrice Boizumault and
Simon de Givry and
Patricia Gutierrez and
Jimmy H. M. Lee and
Ka Lun Leung and
Samir Loudni and
Jean{-}Philippe M{\'{e}}tivier and
Thomas Schiex and
Yi Wu},
title = {Tractability and Decompositions of Global Cost Functions},
journal = {CoRR},
volume = {abs/1502.02414},
year = {2015},
url = {http://arxiv.org/abs/1502.02414},
eprinttype = {arXiv},
eprint = {1502.02414},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AlloucheBBGGLLL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/LeeLS14,
author = {Jimmy Ho{-}Man Lee and
Ka Lun Leung and
Yu Wai Shum},
title = {Consistency techniques for polytime linear global cost functions in
weighted constraint satisfaction},
journal = {Constraints An Int. J.},
volume = {19},
number = {3},
pages = {270--308},
year = {2014},
url = {https://doi.org/10.1007/s10601-014-9159-5},
doi = {10.1007/S10601-014-9159-5},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/LeeLS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/LeeZ14,
author = {Jimmy H. M. Lee and
Zichen Zhu},
editor = {Carla E. Brodley and
Peter Stone},
title = {Boosting {SBDS} for Partial Symmetry Breaking in Constraint Programming},
booktitle = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence,
July 27 -31, 2014, Qu{\'{e}}bec City, Qu{\'{e}}bec, Canada},
pages = {2695--2702},
publisher = {{AAAI} Press},
year = {2014},
url = {https://doi.org/10.1609/aaai.v28i1.9112},
doi = {10.1609/AAAI.V28I1.9112},
timestamp = {Mon, 04 Sep 2023 15:06:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/LeeZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/LeeS14,
author = {Jimmy Ho{-}Man Lee and
Yuxiang Shi},
editor = {Ana L. C. Bazzan and
Michael N. Huhns and
Alessio Lomuscio and
Paul Scerri},
title = {Removing redundant conflict value assignments in resolvent based nogood
learning},
booktitle = {International conference on Autonomous Agents and Multi-Agent Systems,
{AAMAS} '14, Paris, France, May 5-9, 2014},
pages = {1133--1140},
publisher = {{IFAAMAS/ACM}},
year = {2014},
url = {http://dl.acm.org/citation.cfm?id=2617426},
timestamp = {Thu, 25 Sep 2014 07:46:15 +0200},
biburl = {https://dblp.org/rec/conf/atal/LeeS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/LeeL14,
author = {Jasper C. H. Lee and
Jimmy H. M. Lee},
editor = {Barry O'Sullivan},
title = {Towards Practical Infinite Stream Constraint Programming: Applications
and Implementation},
booktitle = {Principles and Practice of Constraint Programming - 20th International
Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8656},
pages = {449--464},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10428-7\_34},
doi = {10.1007/978-3-319-10428-7\_34},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/LeeL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/LeeZ14,
author = {Jimmy H. M. Lee and
Zichen Zhu},
editor = {Barry O'Sullivan},
title = {An Increasing-Nogoods Global Constraint for Symmetry Breaking During
Search},
booktitle = {Principles and Practice of Constraint Programming - 20th International
Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8656},
pages = {465--480},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10428-7\_35},
doi = {10.1007/978-3-319-10428-7\_35},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/LeeZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GivryLLS14,
author = {Simon de Givry and
Jimmy Ho{-}Man Lee and
Ka Lun Leung and
Yu Wai Shum},
editor = {Barry O'Sullivan},
title = {Solving a Judge Assignment Problem Using Conjunctions of Global Cost
Functions},
booktitle = {Principles and Practice of Constraint Programming - 20th International
Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8656},
pages = {797--812},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10428-7\_57},
doi = {10.1007/978-3-319-10428-7\_57},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/GivryLLS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LeeL14,
author = {J. H. M. Lee and
Ka Lun Leung},
title = {Consistency Techniques for Flow-Based Projection-Safe Global Cost
Functions in Weighted Constraint Satisfaction},
journal = {CoRR},
volume = {abs/1401.4605},
year = {2014},
url = {http://arxiv.org/abs/1401.4605},
eprinttype = {arXiv},
eprint = {1401.4605},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LeeL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/LawLWW13,
author = {Yat Chiu Law and
Jimmy Ho{-}Man Lee and
Toby Walsh and
May H. C. Woo},
title = {Multiset variable representations and constraint propagation},
journal = {Constraints An Int. J.},
volume = {18},
number = {3},
pages = {307--343},
year = {2013},
url = {https://doi.org/10.1007/s10601-012-9138-7},
doi = {10.1007/S10601-012-9138-7},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/LawLWW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/GutierrezLLMM13,
author = {Patricia Gutierrez and
Jimmy Ho{-}Man Lee and
Ka Man Lei and
Terrence W. K. Mak and
Pedro Meseguer},
editor = {Christian Schulte},
title = {Maintaining Soft Arc Consistencies in BnB-ADOPT + during Search},
booktitle = {Principles and Practice of Constraint Programming - 19th International
Conference, {CP} 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8124},
pages = {365--380},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40627-0\_30},
doi = {10.1007/978-3-642-40627-0\_30},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/GutierrezLLMM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/LeeMS13,
author = {Jimmy Ho{-}Man Lee and
Terrence W. K. Mak and
Yuxiang Shi},
title = {A General Privacy Loss Aggregation Framework for Distributed Constraint
Reasoning},
booktitle = {25th {IEEE} International Conference on Tools with Artificial Intelligence,
{ICTAI} 2013, Herndon, VA, USA, November 4-6, 2013},
pages = {979--986},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICTAI.2013.148},
doi = {10.1109/ICTAI.2013.148},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/LeeMS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/LeeL12,
author = {Jimmy Ho{-}Man Lee and
Ka Lun Leung},
title = {Consistency Techniques for Flow-Based Projection-Safe Global Cost
Functions in Weighted Constraint Satisfaction},
journal = {J. Artif. Intell. Res.},
volume = {43},
pages = {257--292},
year = {2012},
url = {https://doi.org/10.1613/jair.3476},
doi = {10.1613/JAIR.3476},
timestamp = {Mon, 21 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/LeeL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/LeeLW12,
author = {Jimmy Ho{-}Man Lee and
Ka Lun Leung and
Yi Wu},
editor = {J{\"{o}}rg Hoffmann and
Bart Selman},
title = {Polynomially Decomposable Global Cost Functions in Weighted Constraint
Satisfaction},
booktitle = {Proceedings of the Twenty-Sixth {AAAI} Conference on Artificial Intelligence,
July 22-26, 2012, Toronto, Ontario, Canada},
pages = {507--513},
publisher = {{AAAI} Press},
year = {2012},
url = {https://doi.org/10.1609/aaai.v26i1.8130},
doi = {10.1609/AAAI.V26I1.8130},
timestamp = {Mon, 04 Sep 2023 15:56:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/LeeLW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/LallouetLM12,
author = {Arnaud Lallouet and
Jimmy Ho{-}Man Lee and
Terrence W. K. Mak},
editor = {Michela Milano},
title = {Consistencies for Ultra-Weak Solutions in Minimax Weighted CSPs Using
the Duality Principle},
booktitle = {Principles and Practice of Constraint Programming - 18th International
Conference, {CP} 2012, Qu{\'{e}}bec City, QC, Canada, October
8-12, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7514},
pages = {373--389},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33558-7\_29},
doi = {10.1007/978-3-642-33558-7\_29},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/LallouetLM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/LeeL12,
author = {Jimmy Ho{-}Man Lee and
Jingying Li},
editor = {Michela Milano},
title = {Increasing Symmetry Breaking by Preserving Target Symmetries},
booktitle = {Principles and Practice of Constraint Programming - 18th International
Conference, {CP} 2012, Qu{\'{e}}bec City, QC, Canada, October
8-12, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7514},
pages = {422--438},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33558-7\_32},
doi = {10.1007/978-3-642-33558-7\_32},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/LeeL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/LeeLS12,
author = {Jimmy Ho{-}Man Lee and
Ka Lun Leung and
Yu Wai Shum},
title = {Propagating Polynomially (Integral) Linear Projection-Safe Global
Cost Functions in WCSPs},
booktitle = {{IEEE} 24th International Conference on Tools with Artificial Intelligence,
{ICTAI} 2012, Athens, Greece, November 7-9, 2012},
pages = {9--16},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICTAI.2012.11},
doi = {10.1109/ICTAI.2012.11},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/LeeLS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/LeeM12,
author = {Jimmy Ho{-}Man Lee and
Terrence W. K. Mak},
title = {A Value Ordering Heuristic for Solving Ultra-Weak Solutions in Minimax
Weighted CSPs},
booktitle = {{IEEE} 24th International Conference on Tools with Artificial Intelligence,
{ICTAI} 2012, Athens, Greece, November 7-9, 2012},
pages = {17--24},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICTAI.2012.12},
doi = {10.1109/ICTAI.2012.12},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/LeeM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/LawLWW11,
author = {Yat Chiu Law and
Jimmy Ho{-}Man Lee and
May Hiu{-}Chun Woo and
Toby Walsh},
editor = {Wolfram Burgard and
Dan Roth},
title = {A Comparison of Lex Bounds for Multiset Variables in Constraint Programming},
booktitle = {Proceedings of the Twenty-Fifth {AAAI} Conference on Artificial Intelligence,
{AAAI} 2011, San Francisco, California, USA, August 7-11, 2011},
pages = {61--67},
publisher = {{AAAI} Press},
year = {2011},
url = {https://doi.org/10.1609/aaai.v25i1.7830},
doi = {10.1609/AAAI.V25I1.7830},
timestamp = {Mon, 04 Sep 2023 16:05:54 +0200},
biburl = {https://dblp.org/rec/conf/aaai/LawLWW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalt/JongLLS11,
author = {Morris S. Y. Jong and
Fong{-}lok Lee and
Jimmy Ho{-}Man Lee and
Junjie Shang},
title = {A Case Study of an Academic Achievement-oriented Student in Game-based
Learning},
booktitle = {{ICALT} 2011, 11th {IEEE} International Conference on Advanced Learning
Technologies, Athens, Georgia, USA, 6-8 July 2011},
pages = {7--11},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICALT.2011.10},
doi = {10.1109/ICALT.2011.10},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalt/JongLLS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/LeeS11,
author = {J. H. M. Lee and
Yu Wai Shum},
title = {Modeling Soft Global Constraints as Linear Programs in Weighted Constraint
Satisfaction},
booktitle = {{IEEE} 23rd International Conference on Tools with Artificial Intelligence,
{ICTAI} 2011, Boca Raton, FL, USA, November 7-9, 2011},
pages = {305--312},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICTAI.2011.53},
doi = {10.1109/ICTAI.2011.53},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/LeeS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/LeeMY11,
author = {Jimmy Ho{-}Man Lee and
Terrence W. K. Mak and
Justin Yip},
title = {Weighted Constraint Satisfaction Problems with Min-Max Quantifiers},
booktitle = {{IEEE} 23rd International Conference on Tools with Artificial Intelligence,
{ICTAI} 2011, Boca Raton, FL, USA, November 7-9, 2011},
pages = {769--776},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICTAI.2011.121},
doi = {10.1109/ICTAI.2011.121},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/LeeMY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LallouetLLS11,
author = {Arnaud Lallouet and
Yat Chiu Law and
Jimmy Ho{-}Man Lee and
Charles F. K. Siu},
editor = {Toby Walsh},
title = {Constraint Programming on Infinite Data Streams},
booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
2011},
pages = {597--604},
publisher = {{IJCAI/AAAI}},
year = {2011},
url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-107},
doi = {10.5591/978-1-57735-516-8/IJCAI11-107},
timestamp = {Tue, 20 Aug 2019 16:16:04 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/LallouetLLS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cp/2011,
editor = {Jimmy Ho{-}Man Lee},
title = {Principles and Practice of Constraint Programming - {CP} 2011 - 17th
International Conference, {CP} 2011, Perugia, Italy, September 12-16,
2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6876},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23786-7},
doi = {10.1007/978-3-642-23786-7},
isbn = {978-3-642-23785-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1106-5890,
author = {Yat Chiu Law and
Jimmy Ho{-}Man Lee and
May Hiu{-}Chun Woo and
Toby Walsh},
title = {A Comparison of Lex Bounds for Multiset Variables in Constraint Programming},
journal = {CoRR},
volume = {abs/1106.5890},
year = {2011},
url = {http://arxiv.org/abs/1106.5890},
eprinttype = {arXiv},
eprint = {1106.5890},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-5890.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/LawLW10,
author = {Yat Chiu Law and
Jimmy Ho{-}Man Lee and
May H. C. Woo},
title = {Redundant modeling in permutation weighted constraint satisfaction
problems},
journal = {Constraints An Int. J.},
volume = {15},
number = {3},
pages = {354--403},
year = {2010},
url = {https://doi.org/10.1007/s10601-009-9075-2},
doi = {10.1007/S10601-009-9075-2},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/LawLW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rptel/JongCTLL10,
author = {Morris Siu{-}Yung Jong and
Weiqin Chen and
Alex W. C. Tse and
Fong{-}lok Lee and
Jimmy Ho{-}Man Lee},
title = {Using Posting Templates for Enhancing Students' Argumentative Elaborations
in Computer-Supported Collaborative Inquiry Learning},
journal = {Res. Pract. Technol. Enhanc. Learn.},
volume = {5},
number = {3},
pages = {275--294},
year = {2010},
url = {https://doi.org/10.1142/S1793206810000906},
doi = {10.1142/S1793206810000906},
timestamp = {Wed, 21 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rptel/JongCTLL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tlt/JongSLL10,
author = {Morris S. Y. Jong and
Junjie J. Shang and
Fong{-}lok Lee and
Jimmy Ho{-}Man Lee},
title = {An Evaluative Study on {VISOLE} - Virtual Interactive Student-Oriented
Learning Environment},
journal = {{IEEE} Trans. Learn. Technol.},
volume = {3},
number = {4},
pages = {307--318},
year = {2010},
url = {https://doi.org/10.1109/TLT.2010.34},
doi = {10.1109/TLT.2010.34},
timestamp = {Wed, 08 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tlt/JongSLL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/LeeL10,
author = {Jimmy Ho{-}Man Lee and
Ka Lun Leung},
editor = {Maria Fox and
David Poole},
title = {A Stronger Consistency for Soft Global Constraints in Weighted Constraint
Satisfaction},
booktitle = {Proceedings of the Twenty-Fourth {AAAI} Conference on Artificial Intelligence,
{AAAI} 2010, Atlanta, Georgia, USA, July 11-15, 2010},
pages = {121--127},
publisher = {{AAAI} Press},
year = {2010},
url = {https://doi.org/10.1609/aaai.v24i1.7550},
doi = {10.1609/AAAI.V24I1.7550},
timestamp = {Mon, 04 Sep 2023 16:23:45 +0200},
biburl = {https://dblp.org/rec/conf/aaai/LeeL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/digitel/JongLLS10,
author = {Morris S. Y. Jong and
Fong{-}lok Lee and
Jimmy Ho{-}Man Lee and
Junjie Shang},
editor = {Gautam Biswas and
Diane Carr and
Yam San Chee and
Wu{-}Yuin Hwang},
title = {A Case Study of a Non-gamer Student's Learning Process in {VISOLE}},
booktitle = {2010 Third {IEEE} International Conference on Digital Game and Intelligent
Toy Enhanced Learning, {DIGITEL} 2010, Kaohsiung, Taiwan, April 12-16,
2010},
pages = {77--84},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/DIGITEL.2010.56},
doi = {10.1109/DIGITEL.2010.56},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/digitel/JongLLS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jetai/BistarelliCHL09,
author = {Stefano Bistarelli and
Philippe Codognet and
H. K. C. Hui and
Jimmy Ho{-}Man Lee},
title = {Solving finite domain constraint hierarchies by local consistency
and tree search},
journal = {J. Exp. Theor. Artif. Intell.},
volume = {21},
number = {4},
pages = {233--257},
year = {2009},
url = {https://doi.org/10.1080/09528130802667690},
doi = {10.1080/09528130802667690},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jetai/BistarelliCHL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LawLW09,
author = {Yat Chiu Law and
Jimmy Ho{-}Man Lee and
May H. C. Woo},
editor = {Craig Boutilier},
title = {Variety Reasoning for Multiset Constraint Propagation},
booktitle = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference
on Artificial Intelligence, Pasadena, California, USA, July 11-17,
2009},
pages = {552--558},
year = {2009},
url = {http://ijcai.org/Proceedings/09/Papers/098.pdf},
timestamp = {Tue, 20 Aug 2019 16:16:40 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/LawLW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/LeeL09,
author = {Jimmy Ho{-}Man Lee and
Ka Lun Leung},
editor = {Craig Boutilier},
title = {Towards Efficient Consistency Enforcement for Global Constraints in
Weighted Constraint Satisfaction},
booktitle = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference
on Artificial Intelligence, Pasadena, California, USA, July 11-17,
2009},
pages = {559--565},
year = {2009},
url = {http://ijcai.org/Proceedings/09/Papers/099.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/LeeL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijdet/JongSLL08,
author = {Morris Siu{-}Yung Jong and
Junjie Shang and
Fong Lok Lee and
Jimmy Ho{-}Man Lee},
title = {Harnessing Computer Games in Education},
journal = {Int. J. Distance Educ. Technol.},
volume = {6},
number = {1},
pages = {1--9},
year = {2008},
url = {https://doi.org/10.4018/jdet.2008010101},
doi = {10.4018/JDET.2008010101},
timestamp = {Thu, 01 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijdet/JongSLL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijwltt/JongSLL08,
author = {Morris Siu{-}Yung Jong and
Junjie Shang and
Fong Lok Lee and
Jimmy Ho{-}Man Lee},
title = {Harnessing Computer Games in Education},
journal = {Int. J. Web Based Learn. Teach. Technol.},
volume = {3},
number = {3},
pages = {54--61},
year = {2008},
url = {https://doi.org/10.4018/jwltt.2008070105},
doi = {10.4018/JWLTT.2008070105},
timestamp = {Thu, 01 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijwltt/JongSLL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vr/CheungJLLLSW08,
author = {Kevin K. F. Cheung and
Morris Siu{-}Yung Jong and
Fong Lok Lee and
Jimmy Ho{-}Man Lee and
Eric T. H. Luk and
Junjie Shang and
Marti K. H. Wong},
title = {{FARMTASIA:} an online game-based learning environment based on the
{VISOLE} pedagogy},
journal = {Virtual Real.},
volume = {12},
number = {1},
pages = {17--25},
year = {2008},
url = {https://doi.org/10.1007/s10055-008-0084-z},
doi = {10.1007/S10055-008-0084-Z},
timestamp = {Thu, 01 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/vr/CheungJLLLSW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/digitel/JongTZCLL08,
author = {Morris Siu{-}Yung Jong and
Alex W. C. Tse and
Yuxia Zhou and
Weiqin Chen and
Fong{-}lok Lee and
Jimmy Ho{-}Man Lee},
editor = {Michael Eisenberg and
Kinshuk and
Maiga Chang and
Rory McGreal},
title = {Using Posting Templates for Enhancing Students' Argumentative Elaborations
in Learning Villages},
booktitle = {The 2nd {IEEE} International Conference on Digital Game and Intelligent
Toy Enhanced Learning, {DIGITEL} 2008, November 17-19, 2008, Banff,
Canada},
pages = {180--187},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/DIGITEL.2008.38},
doi = {10.1109/DIGITEL.2008.38},
timestamp = {Wed, 21 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/digitel/JongTZCLL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ichl/ShangJLL08,
author = {Junjie J. Shang and
Morris Siu{-}Yung Jong and
Fong Lok Lee and
Jimmy Ho{-}Man Lee},
editor = {Joseph Fong and
Reggie Kwan and
Fu Lee Wang},
title = {{VISOLE:} An Example of Hybrid Learning},
booktitle = {Hybrid Learning and Education, First International Conference, {ICHL}
2008, Hong Kong, China, August 13-15, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5169},
pages = {348--358},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85170-7\_31},
doi = {10.1007/978-3-540-85170-7\_31},
timestamp = {Wed, 08 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ichl/ShangJLL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/LeeS08,
author = {Jimmy Ho{-}Man Lee and
C. F. K. Siu},
title = {Stronger Consistencies in WCSPs with Set Variables},
booktitle = {20th {IEEE} International Conference on Tools with Artificial Intelligence
{(ICTAI} 2008), November 3-5, 2008, Dayton, Ohio, USA, Volume 1},
pages = {291--298},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICTAI.2008.113},
doi = {10.1109/ICTAI.2008.113},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/LeeS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/webi/ChenWCKL08,
author = {Ling{-}Jyh Chen and
Bo{-}Chun Wang and
Kuan{-}Ta Chen and
Irwin King and
Jimmy Ho{-}Man Lee},
title = {An Analytical Study of Puzzle Selection Strategies for the {ESP} Game},
booktitle = {2008 {IEEE} / {WIC} / {ACM} International Conference on Web Intelligence,
{WI} 2008, 9-12 December 2008, Sydney, NSW, Australia, Main Conference
Proceedings},
pages = {180--183},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/WIIAT.2008.31},
doi = {10.1109/WIIAT.2008.31},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/webi/ChenWCKL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/webi/LinCCKL08,
author = {Chien{-}Wei Lin and
Kuan{-}Ta Chen and
Ling{-}Jyh Chen and
Irwin King and
Jimmy Ho{-}Man Lee},
title = {An Analytical Approach to Optimizing the Utility of {ESP} Games},
booktitle = {2008 {IEEE} / {WIC} / {ACM} International Conference on Web Intelligence,
{WI} 2008, 9-12 December 2008, Sydney, NSW, Australia, Main Conference
Proceedings},
pages = {184--187},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/WIIAT.2008.220},
doi = {10.1109/WIIAT.2008.220},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/webi/LinCCKL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/webi/WeiCKL08,
author = {Wei Wei and
Kam Tong Chan and
Irwin King and
Jimmy Ho{-}Man Lee},
title = {{RATE:} {A} Review of Reviewers in a Manuscript Review Process},
booktitle = {2008 {IEEE} / {WIC} / {ACM} International Conference on Web Intelligence,
{WI} 2008, 9-12 December 2008, Sydney, NSW, Australia, Main Conference
Proceedings},
pages = {204--207},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/WIIAT.2008.42},
doi = {10.1109/WIIAT.2008.42},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/webi/WeiCKL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/LawLS07,
author = {Yat Chiu Law and
Jimmy Ho{-}Man Lee and
Barbara M. Smith},
title = {Automatic Generation of Redundant Models for Permutation Constraint
Satisfaction Problems},
journal = {Constraints An Int. J.},
volume = {12},
number = {4},
pages = {469--505},
year = {2007},
url = {https://doi.org/10.1007/s10601-007-9024-x},
doi = {10.1007/S10601-007-9024-X},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/LawLS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/heuristics/FangKLS07,
author = {Hai Fang and
Y. Kilani and
Jimmy Ho{-}Man Lee and
Peter J. Stuckey},
title = {The island confinement method for reducing search space in local search
methods},
journal = {J. Heuristics},
volume = {13},
number = {6},
pages = {557--585},
year = {2007},
url = {https://doi.org/10.1007/s10732-007-9020-8},
doi = {10.1007/S10732-007-9020-8},
timestamp = {Thu, 28 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/heuristics/FangKLS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/ChoiLS07,
author = {Chiu Wo Choi and
Jimmy Ho{-}Man Lee and
Peter J. Stuckey},
title = {Removing propagation redundant constraints in redundant modeling},
journal = {{ACM} Trans. Comput. Log.},
volume = {8},
number = {4},
pages = {23},
year = {2007},
url = {https://doi.org/10.1145/1276920.1276925},
doi = {10.1145/1276920.1276925},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/ChoiLS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/LawLW07,
author = {Yat Chiu Law and
Jimmy Ho{-}Man Lee and
May H. C. Woo},
editor = {Mehmet A. Orgun and
John Thornton},
title = {A Parameterized Local Consistency for Redundant Modeling in Weighted
CSPs},
booktitle = {{AI} 2007: Advances in Artificial Intelligence, 20th Australian Joint
Conference on Artificial Intelligence, Gold Coast, Australia, December
2-6, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4830},
pages = {191--201},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-76928-6\_21},
doi = {10.1007/978-3-540-76928-6\_21},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/ausai/LawLW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/ChoiL07,
author = {Chiu Wo Choi and
Jimmy Ho{-}Man Lee},
editor = {Christian Bessiere},
title = {Solving the Salinity Control Problem in a Potable Water System},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {33--48},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_5},
doi = {10.1007/978-3-540-74970-7\_5},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/ChoiL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/LawLWY07,
author = {Yat Chiu Law and
Jimmy Ho{-}Man Lee and
Toby Walsh and
J. Y. K. Yip},
editor = {Christian Bessiere},
title = {Breaking Symmetry of Interchangeable Variables and Values},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2007, 13th
International Conference, {CP} 2007, Providence, RI, USA, September
23-27, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4741},
pages = {423--437},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74970-7\_31},
doi = {10.1007/978-3-540-74970-7\_31},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/LawLWY07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/digitel/ShangJLL07,
author = {Junjie Shang and
Morris Siu{-}Yung Jong and
Fong Lok Lee and
Jimmy Ho{-}Man Lee},
editor = {Tak{-}Wai Chan and
Ana Paiva and
David Williamson Shaffer and
Kinshuk and
Jie{-}Chi Yang},
title = {A Pilot Study on Virtual Interactive Student-Oriented Learning Environment},
booktitle = {{DIGITEL} 2007, The First {IEEE} International Workshop on Digital
Game and Intelligent Toy Enhanced Learning, Proceedings, 26-28 March
2007, Jhongli, Taiwan},
pages = {65--72},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/DIGITEL.2007.6},
doi = {10.1109/DIGITEL.2007.6},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/digitel/ShangJLL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdar/WeiKL07,
author = {Wei Wei and
Irwin King and
J. H. M. Lee},
title = {Bibliographic Attributes Extraction with Layer-upon-Layer Tagging},
booktitle = {9th International Conference on Document Analysis and Recognition
{(ICDAR} 2007), 23-26 September, Curitiba, Paran{\'{a}}, Brazil},
pages = {804--808},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICDAR.2007.4377026},
doi = {10.1109/ICDAR.2007.4377026},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icdar/WeiKL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/www/WeiLK07,
author = {Wei Wei and
Jimmy Ho{-}Man Lee and
Irwin King},
editor = {Carey L. Williamson and
Mary Ellen Zurko and
Peter F. Patel{-}Schneider and
Prashant J. Shenoy},
title = {Measuring credibility of users in an e-learning environment},
booktitle = {Proceedings of the 16th International Conference on World Wide Web,
{WWW} 2007, Banff, Alberta, Canada, May 8-12, 2007},
pages = {1279--1280},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1242572.1242807},
doi = {10.1145/1242572.1242807},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/www/WeiLK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/LawL06,
author = {Yat Chiu Law and
Jimmy H. M. Lee},
title = {Symmetry Breaking Constraints for Value Symmetries in Constraint Satisfaction},
journal = {Constraints An Int. J.},
volume = {11},
number = {2-3},
pages = {221--267},
year = {2006},
url = {https://doi.org/10.1007/s10601-006-7095-8},
doi = {10.1007/S10601-006-7095-8},
timestamp = {Thu, 28 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/constraints/LawL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/LeeS06,
author = {J. H. M. Lee and
C. F. K. Siu},
title = {Weighted Constraint Satisfaction with Set Variables},
booktitle = {Proceedings, The Twenty-First National Conference on Artificial Intelligence
and the Eighteenth Innovative Applications of Artificial Intelligence
Conference, July 16-20, 2006, Boston, Massachusetts, {USA}},
pages = {80--85},
publisher = {{AAAI} Press},
year = {2006},
url = {http://www.aaai.org/Library/AAAI/2006/aaai06-013.php},
timestamp = {Tue, 05 Sep 2023 09:10:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/LeeS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/ChoiHLS06,
author = {Chiu Wo Choi and
Warwick Harvey and
J. H. M. Lee and
Peter J. Stuckey},
editor = {Abdul Sattar and
Byeong{-}Ho Kang},
title = {Finite Domain Bounds Consistency Revisited},
booktitle = {{AI} 2006: Advances in Artificial Intelligence, 19th Australian Joint
Conference on Artificial Intelligence, Hobart, Australia, December
4-8, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4304},
pages = {49--58},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11941439\_9},
doi = {10.1007/11941439\_9},
timestamp = {Mon, 04 Nov 2019 12:36:13 +0100},
biburl = {https://dblp.org/rec/conf/ausai/ChoiHLS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/LawLW06,
author = {Yat Chiu Law and
Jimmy Ho{-}Man Lee and
May H. C. Woo},
editor = {Abdul Sattar and
Byeong{-}Ho Kang},
title = {Speeding Up Weighted Constraint Satisfaction Using Redundant Modeling},
booktitle = {{AI} 2006: Advances in Artificial Intelligence, 19th Australian Joint
Conference on Artificial Intelligence, Hobart, Australia, December
4-8, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4304},
pages = {59--68},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11941439\_10},
doi = {10.1007/11941439\_10},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ausai/LawLW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edutainment/LeeLWLW06,
author = {Fong Lok Lee and
Jimmy Ho{-}Man Lee and
Marti K. H. Wong and
Huk{-}Yuen Law and
L. Wang},
editor = {Zhigeng Pan and
Ruth Aylett and
Holger Diener and
Xiaogang Jin and
Stefan G{\"{o}}bel and
Li Li},
title = {Exploring the Fourth Dimension: The Design of a Multimedia Learning
System for Generalization},
booktitle = {Technologies for E-Learning and Digital Entertainment, First International
Conference, Edutainment 2006, Hangzhou, China, April 16-19, 2006,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3942},
pages = {261--270},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11736639\_35},
doi = {10.1007/11736639\_35},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/edutainment/LeeLWLW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edutainment/JongSLLL06,
author = {Morris Siu{-}Yung Jong and
Junjie Shang and
Fong Lok Lee and
Jimmy Ho{-}Man Lee and
Huk{-}Yuen Law},
editor = {Zhigeng Pan and
Ruth Aylett and
Holger Diener and
Xiaogang Jin and
Stefan G{\"{o}}bel and
Li Li},
title = {Learning Online: {A} Comparative Study of a Situated Game-Based Approach
and a Traditional Web-Based Approach},
booktitle = {Technologies for E-Learning and Digital Entertainment, First International
Conference, Edutainment 2006, Hangzhou, China, April 16-19, 2006,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3942},
pages = {541--551},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11736639\_65},
doi = {10.1007/11736639\_65},
timestamp = {Thu, 01 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/edutainment/JongSLLL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edutainment/LukWCLL06,
author = {Eric T. H. Luk and
Marti K. H. Wong and
Kevin K. F. Cheung and
Fong Lok Lee and
J. H. M. Lee},
editor = {Zhigeng Pan and
Ruth Aylett and
Holger Diener and
Xiaogang Jin and
Stefan G{\"{o}}bel and
Li Li},
title = {Design and Implementation of Farmtasia: {A} Game Designed for the
{VISOLE} Teaching Style},
booktitle = {Technologies for E-Learning and Digital Entertainment, First International
Conference, Edutainment 2006, Hangzhou, China, April 16-19, 2006,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3942},
pages = {566--571},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11736639\_67},
doi = {10.1007/11736639\_67},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/edutainment/LukWCLL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flairs/FungLL06,
author = {Spencer K. L. Fung and
Jimmy Ho{-}Man Lee and
Ho{-}fung Leung},
editor = {Geoff Sutcliffe and
Randy Goebel},
title = {Incorporating Simplex Method into Guided Complete Search: An Application
to the Nurse Rostering Problem},
booktitle = {Proceedings of the Nineteenth International Florida Artificial Intelligence
Research Society Conference, Melbourne Beach, Florida, USA, May 11-13,
2006},
pages = {141--146},
publisher = {{AAAI} Press},
year = {2006},
url = {http://www.aaai.org/Library/FLAIRS/2006/flairs06-024.php},
timestamp = {Wed, 26 Oct 2022 08:35:26 +0200},
biburl = {https://dblp.org/rec/conf/flairs/FungLL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalt/ShangJLL06,
author = {Junjie Shang and
Morris Siu{-}Yung Jong and
Fong Lok Lee and
Jimmy Ho{-}Man Lee},
title = {{VISOLE:} {A} New Game-based Situated Learning Paradigm},
booktitle = {Proceedings of the 6th {IEEE} International Conference on Advanced
Learning Technologies, {ICALT} 2006, Kerkrade, The Netherlands, July
5-7, 2006},
pages = {1082--1083},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ICALT.2006.1652635},
doi = {10.1109/ICALT.2006.1652635},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalt/ShangJLL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icce/ShangJLLWLC06,
author = {Junjie Shang and
Morris Siu{-}Yung Jong and
Fong Lok Lee and
Jimmy Ho{-}Man Lee and
Marti K. H. Wong and
Eric T. H. Luk and
Kevin K. F. Cheung},
editor = {Riichiro Mizoguchi and
Pierre Dillenbourg and
Zhiting Zhu},
title = {Using the "Record-Replay" Function for Elaboration of Knowledge
in Educational Games},
booktitle = {Learning by Effective Utilization of Technologies: Facilitating Intercultural
Understanding, Proceeding of the 14th International Conference on
Computers in Education, {ICCE} 2006, November 30 - December 4, 2006,
Beijing, China},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {151},
pages = {503--506},
publisher = {{IOS} Press},
year = {2006},
timestamp = {Thu, 01 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icce/ShangJLLWLC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icce/JongSLLL06,
author = {Morris Siu{-}Yung Jong and
Junjie Shang and
Fong Lok Lee and
Jimmy Ho{-}Man Lee and
Huk{-}Yuen Law},
editor = {Riichiro Mizoguchi and
Pierre Dillenbourg and
Zhiting Zhu},
title = {An Exploratory Study on Teachers' Perceptions of Game-based Situated
Learning},
booktitle = {Learning by Effective Utilization of Technologies: Facilitating Intercultural
Understanding, Proceeding of the 14th International Conference on
Computers in Education, {ICCE} 2006, November 30 - December 4, 2006,
Beijing, China},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {151},
pages = {525--532},
publisher = {{IOS} Press},
year = {2006},
timestamp = {Thu, 01 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icce/JongSLLL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0607071,
author = {Hai Fang and
Y. Kilani and
Jimmy Ho{-}Man Lee and
Peter J. Stuckey},
title = {Islands for {SAT}},
journal = {CoRR},
volume = {abs/cs/0607071},
year = {2006},
url = {http://arxiv.org/abs/cs/0607071},
eprinttype = {arXiv},
eprint = {cs/0607071},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0607071.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icce/ShangLL05,
author = {Junjie Shang and
Fong Lok Lee and
Jimmy Ho{-}Man Lee},
editor = {Chee{-}Kit Looi and
David Jonassen and
Mitsuru Ikeda},
title = {Design Strategies and Principles in {VISOLE}},
booktitle = {Towards Sustainable and Scalable Educational Innovations Informed
by the Learning Sciences - Sharing Good Practices of Research, Experimentation
and Innovation, Proceedings of the 13th International Conference on
Computers in Education, {ICCE} 2005, 28 November - 30 December 2005,
Singapore},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {133},
pages = {879--882},
publisher = {{IOS} Press},
year = {2005},
timestamp = {Thu, 12 Feb 2009 14:10:35 +0100},
biburl = {https://dblp.org/rec/conf/icce/ShangLL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/ChoiL05,
author = {Chiu Wo Choi and
Jimmy Ho{-}Man Lee},
title = {Controlling Salinity in a Potable Water Supply System Using a Constraint
Programming Approach},
booktitle = {17th {IEEE} International Conference on Tools with Artificial Intelligence
{(ICTAI} 2005), 14-16 November 2005, Hong Kong, China},
pages = {104--108},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ICTAI.2005.51},
doi = {10.1109/ICTAI.2005.51},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/ChoiL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/FungLL05,
author = {Spencer K. L. Fung and
Ho{-}fung Leung and
Jimmy Ho{-}Man Lee},
title = {Guided Complete Search for Nurse Rostering Problem},
booktitle = {17th {IEEE} International Conference on Tools with Artificial Intelligence
{(ICTAI} 2005), 14-16 November 2005, Hong Kong, China},
pages = {706--707},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ICTAI.2005.70},
doi = {10.1109/ICTAI.2005.70},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/FungLL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/LawL05,
author = {Yat Chiu Law and
Jimmy Ho{-}Man Lee},
editor = {Hisham Haddad and
Lorie M. Liebrock and
Andrea Omicini and
Roger L. Wainwright},
title = {Breaking value symmetries in matrix models using channeling constraints},
booktitle = {Proceedings of the 2005 {ACM} Symposium on Applied Computing (SAC),
Santa Fe, New Mexico, USA, March 13-17, 2005},
pages = {371--376},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1066677.1066764},
doi = {10.1145/1066677.1066764},
timestamp = {Tue, 06 Nov 2018 11:06:45 +0100},
biburl = {https://dblp.org/rec/conf/sac/LawL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/LawL04,
author = {Yat Chiu Law and
Jimmy Ho{-}Man Lee},
editor = {Mark Wallace},
title = {Global Constraints for Integer and Set Value Precedence},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2004, 10th
International Conference, {CP} 2004, Toronto, Canada, September 27
- October 1, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3258},
pages = {362--376},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30201-8\_28},
doi = {10.1007/978-3-540-30201-8\_28},
timestamp = {Fri, 27 Mar 2020 09:00:36 +0100},
biburl = {https://dblp.org/rec/conf/cp/LawL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/FungZLLC04,
author = {Spencer K. L. Fung and
Denny J. Zheng and
Ho{-}fung Leung and
Jimmy Ho{-}Man Lee and
Hon Wai Chun},
title = {A Framework for Guided Complete Search for Solving Constraint Satisfaction
Problems and Some of Its Instances},
booktitle = {16th {IEEE} International Conference on Tools with Artificial Intelligence
{(ICTAI} 2004), 15-17 November 2004, Boca Raton, FL, {USA}},
pages = {696--703},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ICTAI.2004.10},
doi = {10.1109/ICTAI.2004.10},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/FungZLLC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0412021,
author = {Chiu Wo Choi and
Warwick Harvey and
Jimmy Ho{-}Man Lee and
Peter J. Stuckey},
title = {Finite Domain Bounds Consistency Revisited},
journal = {CoRR},
volume = {abs/cs/0412021},
year = {2004},
url = {http://arxiv.org/abs/cs/0412021},
eprinttype = {arXiv},
eprint = {cs/0412021},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0412021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0412026,
author = {Chiu Wo Choi and
Jimmy Ho{-}Man Lee and
Peter J. Stuckey},
title = {Removing Propagation Redundant Constraints in Redundant Modeling},
journal = {CoRR},
volume = {abs/cs/0412026},
year = {2004},
url = {http://arxiv.org/abs/cs/0412026},
eprinttype = {arXiv},
eprint = {cs/0412026},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0412026.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/LuoJSLL03,
author = {Xudong Luo and
Nicholas R. Jennings and
Nigel Shadbolt and
Ho{-}fung Leung and
Jimmy Ho{-}Man Lee},
title = {A fuzzy constraint based model for bilateral, multi-issue negotiations
in semi-competitive environments},
journal = {Artif. Intell.},
volume = {148},
number = {1-2},
pages = {53--102},
year = {2003},
url = {https://doi.org/10.1016/S0004-3702(03)00041-9},
doi = {10.1016/S0004-3702(03)00041-9},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/LuoJSLL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/LuoLLJ03,
author = {Xudong Luo and
Jimmy Ho{-}Man Lee and
Ho{-}fung Leung and
Nicholas R. Jennings},
title = {Prioritised fuzzy constraint satisfaction problems: axioms, instantiation
and validation},
journal = {Fuzzy Sets Syst.},
volume = {136},
number = {2},
pages = {151--188},
year = {2003},
url = {https://doi.org/10.1016/S0165-0114(02)00385-8},
doi = {10.1016/S0165-0114(02)00385-8},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fss/LuoLLJ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/BistarelliCHL03,
author = {Stefano Bistarelli and
Philippe Codognet and
Kin Chuen Hui and
Jimmy Ho{-}Man Lee},
editor = {Francesca Rossi},
title = {Solving Finite Domain Constraint Hierarchies by Local Consistency
and Tree Search},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th
International Conference, {CP} 2003, Kinsale, Ireland, September 29
- October 3, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2833},
pages = {138--152},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45193-8\_10},
doi = {10.1007/978-3-540-45193-8\_10},
timestamp = {Tue, 23 Jan 2024 13:25:46 +0100},
biburl = {https://dblp.org/rec/conf/cp/BistarelliCHL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/ChengLS03,
author = {Chi Kan Cheng and
Jimmy Ho{-}Man Lee and
Peter J. Stuckey},
editor = {Francesca Rossi},
title = {Box Constraint Collections for Adhoc Constraints},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th
International Conference, {CP} 2003, Kinsale, Ireland, September 29
- October 3, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2833},
pages = {214--228},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45193-8\_15},
doi = {10.1007/978-3-540-45193-8\_15},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/ChengLS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/ChoiLS03,
author = {Chiu Wo Choi and
Jimmy Ho{-}Man Lee and
Peter J. Stuckey},
editor = {Francesca Rossi},
title = {Propagation Redundancy in Redundant Modelling},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th
International Conference, {CP} 2003, Kinsale, Ireland, September 29
- October 3, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2833},
pages = {229--243},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45193-8\_16},
doi = {10.1007/978-3-540-45193-8\_16},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/ChoiLS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/BistarelliCHL03,
author = {Stefano Bistarelli and
Philippe Codognet and
Kin Chuen Hui and
Jimmy Ho{-}Man Lee},
editor = {Georg Gottlob and
Toby Walsh},
title = {Solving Finite Domain Constraint Hierarchies by Local Consistency
and Tree Search},
booktitle = {IJCAI-03, Proceedings of the Eighteenth International Joint Conference
on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003},
pages = {1364--1365},
publisher = {Morgan Kaufmann},
year = {2003},
url = {http://ijcai.org/Proceedings/03/Papers/200.pdf},
timestamp = {Tue, 20 Aug 2019 16:18:41 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/BistarelliCHL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ChengLS03,
author = {Kenil C. K. Cheng and
Jimmy Ho{-}Man Lee and
Peter J. Stuckey},
editor = {Georg Gottlob and
Toby Walsh},
title = {Efficient Representation of Adhoc Constraints},
booktitle = {IJCAI-03, Proceedings of the Eighteenth International Joint Conference
on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003},
pages = {1368--1369},
publisher = {Morgan Kaufmann},
year = {2003},
url = {http://ijcai.org/Proceedings/03/Papers/202.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/ChengLS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ChoiLS03,
author = {Chiu Wo Choi and
Jimmy Ho{-}Man Lee and
Peter J. Stuckey},
editor = {Georg Gottlob and
Toby Walsh},
title = {Propagation Redundancy for Permutation Channels},
booktitle = {IJCAI-03, Proceedings of the Eighteenth International Joint Conference
on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003},
pages = {1370--1371},
publisher = {Morgan Kaufmann},
year = {2003},
url = {http://ijcai.org/Proceedings/03/Papers/203.pdf},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/ChoiLS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/ChiuCLLL02,
author = {C. K. Chiu and
C. M. Chou and
Jimmy Ho{-}Man Lee and
Ho{-}fung Leung and
Y. W. Leung},
title = {A Constraint-Based Interactive Train Rescheduling Tool},
journal = {Constraints An Int. J.},
volume = {7},
number = {2},
pages = {167--198},
year = {2002},
url = {https://doi.org/10.1023/A:1015109732002},
doi = {10.1023/A:1015109732002},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/ChiuCLLL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rc/ChiuL02,
author = {Chong{-}Kan Chiu and
Jimmy Ho{-}Man Lee},
title = {Efficient Interval Linear Equality Solving in Constraint Logic Programming},
journal = {Reliab. Comput.},
volume = {8},
number = {2},
pages = {139--174},
year = {2002},
url = {https://doi.org/10.1023/A:1014754106275},
doi = {10.1023/A:1014754106275},
timestamp = {Thu, 16 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rc/ChiuL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/FangKLS02,
author = {Hai Fang and
Y. Kilani and
Jimmy Ho{-}Man Lee and
Peter J. Stuckey},
editor = {Rina Dechter and
Michael J. Kearns and
Richard S. Sutton},
title = {Reducing Search Space in Local Search for Constraint Satisfaction},
booktitle = {Proceedings of the Eighteenth National Conference on Artificial Intelligence
and Fourteenth Conference on Innovative Applications of Artificial
Intelligence, July 28 - August 1, 2002, Edmonton, Alberta, Canada},
pages = {28--33},
publisher = {{AAAI} Press / The {MIT} Press},
year = {2002},
url = {http://www.aaai.org/Library/AAAI/2002/aaai02-005.php},
timestamp = {Tue, 05 Sep 2023 09:10:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/FangKLS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/LawL02,
author = {Yat Chiu Law and
Jimmy Ho{-}Man Lee},
editor = {Rina Dechter and
Michael J. Kearns and
Richard S. Sutton},
title = {Model Induction: {A} New Source of {CSP} Model Redundancy},
booktitle = {Proceedings of the Eighteenth National Conference on Artificial Intelligence
and Fourteenth Conference on Innovative Applications of Artificial
Intelligence, July 28 - August 1, 2002, Edmonton, Alberta, Canada},
pages = {54--61},
publisher = {{AAAI} Press / The {MIT} Press},
year = {2002},
url = {http://www.aaai.org/Library/AAAI/2002/aaai02-009.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/LawL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/LawL02,
author = {Yat Chiu Law and
Jimmy Ho{-}Man Lee},
editor = {Pascal Van Hentenryck},
title = {Algebraic Properties of {CSP} Model Operators},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2002, 8th
International Conference, {CP} 2002, Ithaca, NY, USA, September 9-13,
2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2470},
pages = {750--754},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-46135-3\_57},
doi = {10.1007/3-540-46135-3\_57},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/LawL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/LeeZ02,
author = {Jimmy Ho{-}Man Lee and
Lei Zhao},
editor = {Kazuhiro Kuwabara and
Jaeho Lee},
title = {A Real-Time Agent Architecture: Design, Implementation and Evaluation},
booktitle = {Intelligent Agents and Multi-Agent Systems, 5th Pacific Rim International
Workshop on Multi Agents, Tokyo, Japan, August 19-20, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2413},
pages = {18--32},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45680-5\_2},
doi = {10.1007/3-540-45680-5\_2},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/prima/LeeZ02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eusflat/LuoLL01,
author = {Xudong Luo and
Ho{-}fung Leung and
Jimmy Ho{-}Man Lee},
editor = {Jonathan M. Garibaldi and
Robert Ivor John},
title = {Weighted/prioritized compensatory aggregation},
booktitle = {Proceedings of the 2nd International Conference in Fuzzy Logic and
Technology, Leicester, United Kingdom, September 5-7, 2001},
pages = {149--155},
publisher = {De Montfort University, Leicester, {UK}},
year = {2001},
url = {http://www.eusflat.org/proceedings/EUSFLAT\_2001/papers/149\_Luo.pdf},
timestamp = {Thu, 04 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eusflat/LuoLL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fuzzIEEE/LuoLL01,
author = {Xudong Luo and
Ho{-}fung Leung and
Jimmy Ho{-}Man Lee},
title = {A Spectrum of Compensation Aggregation Operators},
booktitle = {Proceedings of the 10th {IEEE} International Conference on Fuzzy Systems,
Melbourne, Australia, December 2-5, 2001},
pages = {1171--1174},
publisher = {{IEEE}},
year = {2001},
url = {https://doi.org/10.1109/FUZZ.2001.1008864},
doi = {10.1109/FUZZ.2001.1008864},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/fuzzIEEE/LuoLL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fuzzIEEE/LuoLL01a,
author = {Xudong Luo and
Ho{-}fung Leung and
Jimmy Ho{-}Man Lee},
title = {Weighted/Prioritised Compensatory Aggregation},
booktitle = {Proceedings of the 10th {IEEE} International Conference on Fuzzy Systems,
Melbourne, Australia, December 2-5, 2001},
pages = {1175--1178},
publisher = {{IEEE}},
year = {2001},
url = {https://doi.org/10.1109/FUZZ.2001.1008865},
doi = {10.1109/FUZZ.2001.1008865},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fuzzIEEE/LuoLL01a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/ChoiLS00,
author = {Kenneth M. F. Choi and
Jimmy Ho{-}Man Lee and
Peter J. Stuckey},
title = {A Lagrangian reconstruction of {GENET}},
journal = {Artif. Intell.},
volume = {123},
number = {1-2},
pages = {1--39},
year = {2000},
url = {https://doi.org/10.1016/S0004-3702(00)00053-9},
doi = {10.1016/S0004-3702(00)00053-9},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/ChoiLS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ISCAicis/LuoLL00,
author = {Xudong Luo and
Ho{-}fung Leung and
Jimmy Ho{-}Man Lee},
editor = {David Page and
James H. Graham},
title = {Collaborating Agents of Heterogenous Valued Constraint Satisfaction
Problems},
booktitle = {{ISCA} 9th International Conference on Intelligent Systems, {ICIS}
2000, June 15-17, 2000, the Galt House, Louisville, Kentucky, {USA}},
pages = {35--38},
publisher = {{ISCA}},
year = {2000},
timestamp = {Mon, 09 Aug 2021 16:17:36 +0200},
biburl = {https://dblp.org/rec/conf/ISCAicis/LuoLL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/LuoLL00,
author = {Xudong Luo and
Ho{-}fung Leung and
Jimmy Ho{-}Man Lee},
editor = {Werner Horn},
title = {Theory and Properties of a Selfish Protocol for Multi-Agent Meeting
Scheduling Using Fuzzy Constraints},
booktitle = {{ECAI} 2000, Proceedings of the 14th European Conference on Artificial
Intelligence, Berlin, Germany, August 20-25, 2000},
pages = {373--377},
publisher = {{IOS} Press},
year = {2000},
timestamp = {Fri, 05 May 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/LuoLL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmas/LuoLL00,
author = {Xudong Luo and
Ho{-}fung Leung and
Jimmy Ho{-}Man Lee},
title = {A Multi-Agent Framework for Meeting Scheduling Using Fuzzy Constraints},
booktitle = {4th International Conference on Multi-Agent Systems, {ICMAS} 2000,
Boston, MA, USA, July 10-12, 2000},
pages = {409--410},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/ICMAS.2000.858499},
doi = {10.1109/ICMAS.2000.858499},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icmas/LuoLL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pricai/LuoLL00,
author = {Xudong Luo and
Ho{-}fung Leung and
Jimmy Ho{-}Man Lee},
editor = {Riichiro Mizoguchi and
John K. Slaney},
title = {A New Axiomatic Framework for Prioritized Fuzzy Constraint Satisfaction
Problems},
booktitle = {{PRICAI} 2000, Topics in Artificial Intelligence, 6th Pacific Rim
International Conference on Artificial Intelligence, Melbourne, Australia,
August 28 - September 1, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1886},
pages = {795},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44533-1\_84},
doi = {10.1007/3-540-44533-1\_84},
timestamp = {Sat, 07 Sep 2019 11:59:26 +0200},
biburl = {https://dblp.org/rec/conf/pricai/LuoLL00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/LeeL99,
author = {Jimmy Ho{-}Man Lee and
Ho{-}fung Leung},
title = {An execution scheme for interactive problem-solving in concurrent
constraint logic programming languages},
journal = {Comput. Lang.},
volume = {25},
number = {3},
pages = {119--144},
year = {1999},
url = {https://doi.org/10.1016/S0096-0551(99)00013-2},
doi = {10.1016/S0096-0551(99)00013-2},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cl/LeeL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/ChengCLW99,
author = {B. M. W. Cheng and
Kenneth M. F. Choi and
Jimmy Ho{-}Man Lee and
J. C. K. Wu},
title = {Increasing Constraint Propagation by Redundant Modeling: an Experience
Report},
journal = {Constraints An Int. J.},
volume = {4},
number = {2},
pages = {167--192},
year = {1999},
url = {https://doi.org/10.1023/A:1009894810205},
doi = {10.1023/A:1009894810205},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/ChengCLW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jetai/ChiuL98,
author = {C. K. Chiu and
J. H. M. Lee},
title = {Extending {HCLP} with partially ordered hierarchies and composite
constraints},
journal = {J. Exp. Theor. Artif. Intell.},
volume = {10},
number = {1},
pages = {5--24},
year = {1998},
url = {https://doi.org/10.1080/095281398146879},
doi = {10.1080/095281398146879},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jetai/ChiuL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ausai/LeeLW98,
author = {Jimmy Ho{-}Man Lee and
Ho{-}fung Leung and
Hon{-}Wing Won},
editor = {Grigoris Antoniou and
John K. Slaney},
title = {Performance of a Comprehensive and Efficient Constraint Library Based
on Local Search},
booktitle = {Advanced Topics in Artificial Intelligence, 11th Australian Joint
Conference on Artificial Intelligence, {AI} '98, Brisbane, Australia,
July 13-17, 1998, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1502},
pages = {191--202},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0095052},
doi = {10.1007/BFB0095052},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/ausai/LeeLW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/KamL98,
author = {R. W. L. Kam and
Jimmy Ho{-}Man Lee},
editor = {Michael J. Maher and
Jean{-}Francois Puget},
title = {Fuzzifying the Constraint Hierarchies Framework},
booktitle = {Principles and Practice of Constraint Programming - CP98, 4th International
Conference, Pisa, Italy, October 26-30, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1520},
pages = {280--294},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49481-2\_21},
doi = {10.1007/3-540-49481-2\_21},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/KamL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fccm/LeeLLCHYLL98,
author = {T. K. Lee and
Philip Heng Wai Leong and
K. H. Lee and
K. T. Chan and
Siew Kok Hui and
H. K. Yeung and
M. F. Lo and
J. H. M. Lee},
title = {An {FPGA} Implementation of {GENET} for Solving Graph Coloring Problems},
booktitle = {6th {IEEE} Symposium on Field-Programmable Custom Computing Machines
{(FCCM} '98), 15-17 April 1998, Napa Valley, CA, {USA}},
pages = {284--285},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/FPGA.1998.707918},
doi = {10.1109/FPGA.1998.707918},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fccm/LeeLLCHYLL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/ChoiLS98,
author = {Kenneth M. F. Choi and
Jimmy Ho{-}Man Lee and
Peter J. Stuckey},
title = {A Lagrangian reconstruction of a class of local search methods},
booktitle = {Tenth {IEEE} International Conference on Tools with Artificial Intelligence,
{ICTAI} '98, Taipei, Taiwan, November 10-12, 1998},
pages = {166--175},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/TAI.1998.744838},
doi = {10.1109/TAI.1998.744838},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/ChoiLS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/LeeP97,
author = {J. H. M. Lee and
P. K. C. Pun},
title = {Object Logic Integration: {A} Multiparadigm Design Methodology and
a Programming Language},
journal = {Comput. Lang.},
volume = {23},
number = {1},
pages = {25--42},
year = {1997},
url = {https://doi.org/10.1016/S0096-0551(97)00004-0},
doi = {10.1016/S0096-0551(97)00004-0},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cl/LeeP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/titb/ChengLW97,
author = {B. M. W. Cheng and
Jimmy Ho{-}Man Lee and
J. C. K. Wu},
title = {A nurse rostering system using constraint programming and redundant
modeling},
journal = {{IEEE} Trans. Inf. Technol. Biomed.},
volume = {1},
number = {1},
pages = {44--54},
year = {1997},
url = {https://doi.org/10.1109/4233.594027},
doi = {10.1109/4233.594027},
timestamp = {Wed, 13 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/titb/ChengLW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/LeeLSTW96,
author = {Jimmy Ho{-}Man Lee and
Ho{-}fung Leung and
Peter J. Stuckey and
V. W. L. Tam and
Hon{-}Wing Won},
editor = {Joxan Jaffar and
Roland H. C. Yap},
title = {Using Stochastic Methods to Guide Search in {CLP:} {A} Preliminary
Report},
booktitle = {Concurrency and Parallelism, Programming, Networking, and Security:
Second Asian Computing Science Conference, {ASIAN} '96, Singapore,
December 2-5, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1179},
pages = {43--52},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0027778},
doi = {10.1007/BFB0027778},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/asian/LeeLSTW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/ChengLW96,
author = {B. M. W. Cheng and
Jimmy Ho{-}Man Lee and
J. C. K. Wu},
editor = {Eugene C. Freuder},
title = {Speeding Up Constraint Propagation By Redundant Modeling},
booktitle = {Proceedings of the Second International Conference on Principles and
Practice of Constraint Programming, Cambridge, Massachusetts, USA,
August 19-22, 1996},
series = {Lecture Notes in Computer Science},
volume = {1118},
pages = {91--103},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61551-2\_68},
doi = {10.1007/3-540-61551-2\_68},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/ChengLW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/ChiuCLLL96,
author = {C. K. Chiu and
C. M. Chou and
Jimmy Ho{-}Man Lee and
Ho{-}fung Leung and
Y. W. Leung},
editor = {Eugene C. Freuder},
title = {A Constraint-Based Interactive Train Rescheduling Tool},
booktitle = {Proceedings of the Second International Conference on Principles and
Practice of Constraint Programming, Cambridge, Massachusetts, USA,
August 19-22, 1996},
series = {Lecture Notes in Computer Science},
volume = {1118},
pages = {104--118},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61551-2\_69},
doi = {10.1007/3-540-61551-2\_69},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/ChiuCLLL96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/LeeLW96,
author = {Jimmy Ho{-}Man Lee and
Ho{-}fung Leung and
Hon{-}Wing Won},
editor = {Eugene C. Freuder},
title = {Towards a More Efficient Stochastic Constraint Solver},
booktitle = {Proceedings of the Second International Conference on Principles and
Practice of Constraint Programming, Cambridge, Massachusetts, USA,
August 19-22, 1996},
series = {Lecture Notes in Computer Science},
volume = {1118},
pages = {338--352},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61551-2\_85},
doi = {10.1007/3-540-61551-2\_85},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cp/LeeLW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/ChengLW96,
author = {B. M. W. Cheng and
Jimmy Ho{-}Man Lee and
J. C. K. Wu},
title = {A Constraint-based Nurse Rostering System Using a Redundant Modeling
Approach},
booktitle = {Eigth International Conference on Tools with Artificial Intelligence,
{ICTAI} '96, Toulouse, France, November 16-19, 1996},
pages = {140--148},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/TAI.1996.560444},
doi = {10.1109/TAI.1996.560444},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/ChengLW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oois/LeeP96,
author = {J. H. M. Lee and
P. K. C. Pun},
editor = {Dilip Patel and
Yuan Sun and
Shushma Patel},
title = {An Overview of the {OLI} Multiparadigm Programming Language and Its
Semantics},
booktitle = {Proceedings of the 1996 International Conference on Object Oriented
Information Systems, {OOIS} 1996, London, UK, December 16-18, 1996},
pages = {79--92},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/978-1-4471-0973-0\_6},
doi = {10.1007/978-1-4471-0973-0\_6},
timestamp = {Tue, 25 Jun 2019 12:25:42 +0200},
biburl = {https://dblp.org/rec/conf/oois/LeeP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/LeeL96,
author = {Jimmy Ho{-}Man Lee and
Ho{-}fung Leung},
editor = {K. M. George and
Janice H. Carroll and
Dave Oppenheim and
Jim Hightower},
title = {Incremental querying in the concurrent {CLP} language IFD-Constraint
Pandora},
booktitle = {Proceedings of the 1996 {ACM} Symposium on Applied Computing, SAC'96,
Philadelphia, PA, USA, February 17-19, 1996},
pages = {387--392},
publisher = {{ACM}},
year = {1996},
url = {https://doi.org/10.1145/331119.331211},
doi = {10.1145/331119.331211},
timestamp = {Tue, 06 Nov 2018 11:06:49 +0100},
biburl = {https://dblp.org/rec/conf/sac/LeeL96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijait/LeeT95,
author = {J. H. M. Lee and
V. W. L. Tam},
title = {A Framework for Integrating Artificial Neural Networks and Logic Programming},
journal = {Int. J. Artif. Intell. Tools},
volume = {4},
number = {1-2},
pages = {3--32},
year = {1995},
url = {https://doi.org/10.1142/S0218213095000024},
doi = {10.1142/S0218213095000024},
timestamp = {Tue, 12 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijait/LeeT95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/ChiuL95,
author = {C. K. Chiu and
J. H. M. Lee},
editor = {Leon Sterling},
title = {Interval Linear Constraint Solving Using the Preconditioned Interval
Gauss-Seidel Method},
booktitle = {Logic Programming, Proceedings of the Twelfth International Conference
on Logic Programming, Tokyo, Japan, June 13-16, 1995},
pages = {17--31},
publisher = {{MIT} Press},
year = {1995},
timestamp = {Mon, 02 Dec 2013 17:40:44 +0100},
biburl = {https://dblp.org/rec/conf/iclp/ChiuL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/LeeLW95,
author = {Jimmy Ho{-}Man Lee and
Ho{-}fung Leung and
Hon{-}Wing Won},
title = {Extending {GENET} for non-binary CSP's},
booktitle = {Seventh International Conference on Tools with Artificial Intelligence,
{ICTAI} '95, Herndon, VA, USA, November 5-8, 1995},
pages = {338--343},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/TAI.1995.479651},
doi = {10.1109/TAI.1995.479651},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/LeeLW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsqp/LeeLW94,
author = {J. H. M. Lee and
J. C. K. Leung and
C. C. K. Wong},
editor = {Matthew K. O. Lee and
Ben{-}Zion Barta and
Peter Juliff},
title = {Construction of a {WYSIWYG} LaTeX Typesetting System Using Object-oriented
Design},
booktitle = {Software Quality and Productivity: Theory, practice and training,
5-7 December 1994, City Polytechnic of Hong Kong Hong Kong},
series = {{IFIP} Conference Proceedings},
volume = {3},
pages = {135--138},
publisher = {Chapman {\&} Hall},
year = {1994},
timestamp = {Mon, 21 Oct 2002 11:06:25 +0200},
biburl = {https://dblp.org/rec/conf/icsqp/LeeLW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/LeeL94,
author = {J. H. M. Lee and
T. W. Lee},
title = {A WAM-Based Abstract Machine for Interval Constraint Logic Programming},
booktitle = {Sixth International Conference on Tools with Artificial Intelligence,
{ICTAI} '94, New Orleans, Louisiana, USA, November 6-9, 1994},
pages = {122--128},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/TAI.1994.346505},
doi = {10.1109/TAI.1994.346505},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/LeeL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/LeeT94,
author = {J. H. M. Lee and
V. W. L. Tam},
title = {Towards the Integration of Artificial Neural Networks and Constraint
Logic Programming},
booktitle = {Sixth International Conference on Tools with Artificial Intelligence,
{ICTAI} '94, New Orleans, Louisiana, USA, November 6-9, 1994},
pages = {446--452},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/TAI.1994.346458},
doi = {10.1109/TAI.1994.346458},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/LeeT94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/LeeL94,
author = {Jimmy Ho{-}Man Lee and
Ho{-}fung Leung},
editor = {Hal Berghel and
Terry Hlengl and
Joseph E. Urban},
title = {{IQ:} towards incremental query processing in non-deterministic concurrent
constraint logic programming},
booktitle = {Proceedings of the 1994 {ACM} Symposium on Applied Computing, SAC'94,
Phoenix, AZ, USA, March 6-8, 1994},
pages = {405--409},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/326619.326795},
doi = {10.1145/326619.326795},
timestamp = {Tue, 06 Nov 2018 11:06:48 +0100},
biburl = {https://dblp.org/rec/conf/sac/LeeL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/ChiuL94,
author = {C. K. Chiu and
Jimmy Ho{-}Man Lee},
editor = {Maurice Bruynooghe},
title = {Towards Practical Interval Constraint Solving in Logic Programming},
booktitle = {Logic Programming, Proceedings of the 1994 International Symposium,
Ithaca, New York, USA, November 13-17, 1994},
pages = {109--123},
publisher = {{MIT} Press},
year = {1994},
timestamp = {Wed, 04 Dec 2013 14:42:58 +0100},
biburl = {https://dblp.org/rec/conf/slp/ChiuL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/LeeE93,
author = {Jimmy Ho{-}Man Lee and
Maarten H. van Emden},
title = {Interval Computation as Deduction in {CHIP}},
journal = {J. Log. Program.},
volume = {16},
number = {3},
pages = {255--276},
year = {1993},
url = {https://doi.org/10.1016/0743-1066(93)90045-I},
doi = {10.1016/0743-1066(93)90045-I},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/LeeE93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ca/Lee92a,
author = {Jimmy Ho{-}Man Lee},
title = {Numerical computation as deduction in constraint logic programming},
school = {University of Victoria, Canada},
year = {1992},
url = {https://dspace.library.uvic.ca/handle/1828/9581},
timestamp = {Mon, 26 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ca/Lee92a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fgcs/LeeE92,
author = {Jimmy Ho{-}Man Lee and
Maarten H. van Emden},
title = {Adapting {CLP} to Floating-Point Arithmetic},
booktitle = {Proceedings of the International Conference on Fifth Generation Computer
Systems. {FGCS} 1992, June 1-5, Tokyo, Japan},
pages = {996--1003},
publisher = {{IOS} Press},
year = {1992},
timestamp = {Wed, 31 Jul 2019 10:45:39 +0200},
biburl = {https://dblp.org/rec/conf/fgcs/LeeE92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fgcs/ChengEL88,
author = {Mantis H. M. Cheng and
Maarten H. van Emden and
Jimmy Ho{-}Man Lee},
title = {Tables as a User Interface for Logic Programs},
booktitle = {Proceedings of the International Conference on Fifth Generation Computer
Systems, {FGCS} 1988, Tokyo, Japan, November 28-December 2, 1988},
pages = {784--791},
publisher = {{OHMSHA} Ltd. Tokyo and Springer-Verlag},
year = {1988},
timestamp = {Mon, 05 Aug 2019 17:00:40 +0200},
biburl = {https://dblp.org/rec/conf/fgcs/ChengEL88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-03-03 00:10 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
