![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Jimmy Ho-Man Lee
Person information
- affiliation: Chinese University of Hong Kong, Hong Kong
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 1992
- [b1]Jimmy Ho-Man Lee:
Numerical computation as deduction in constraint logic programming. University of Victoria, Canada, 1992
Journal Articles
- 2023
- [j32]Jimmy H. M. Lee, Allen Z. Zhong
:
Automatic generation of dominance breaking nogoods for a class of constraint optimization problems. Artif. Intell. 323: 103974 (2023) - [j31]Jimmy H. M. Lee, Allen Z. Zhong:
Exploiting Functional Constraints in Automatic Dominance Breaking for Constraint Optimization. J. Artif. Intell. Res. 78: 1-35 (2023) - 2017
- [j30]Jimmy H. M. Lee, Zichen Zhu:
Towards breaking more composition symmetries in partial symmetry breaking. Artif. Intell. 252: 51-82 (2017) - 2016
- [j29]David Allouche, Christian Bessiere, Patrice Boizumault, Simon de Givry, Patricia Gutierrez, Jimmy H. M. Lee, Ka Lun Leung, Samir Loudni, Jean-Philippe Métivier, Thomas Schiex
, Yi Wu:
Tractability-preserving transformations of global cost functions. Artif. Intell. 238: 166-189 (2016) - 2015
- [j28]Arnaud Lallouet, Jimmy Ho-Man Lee, Terrence W. K. Mak
, Justin Yip:
Ultra-weak solutions and consistency enforcement in minimax weighted constraint satisfaction. Constraints An Int. J. 20(2): 109-154 (2015) - [j27]Jimmy Ho-Man Lee, Pedro Meseguer, Wen Su:
Adding laziness in BnB-ADOPT+. Constraints An Int. J. 20(2): 274-282 (2015) - 2014
- [j26]Jimmy Ho-Man Lee, Ka Lun Leung, Yu Wai Shum:
Consistency techniques for polytime linear global cost functions in weighted constraint satisfaction. Constraints An Int. J. 19(3): 270-308 (2014) - 2013
- [j25]Yat Chiu Law, Jimmy Ho-Man Lee, Toby Walsh, May H. C. Woo:
Multiset variable representations and constraint propagation. Constraints An Int. J. 18(3): 307-343 (2013) - 2012
- [j24]Jimmy Ho-Man Lee, Ka Lun Leung:
Consistency Techniques for Flow-Based Projection-Safe Global Cost Functions in Weighted Constraint Satisfaction. J. Artif. Intell. Res. 43: 257-292 (2012) - 2010
- [j23]Yat Chiu Law, Jimmy Ho-Man Lee, May H. C. Woo:
Redundant modeling in permutation weighted constraint satisfaction problems. Constraints An Int. J. 15(3): 354-403 (2010) - [j22]Morris Siu-Yung Jong, Weiqin Chen
, Alex W. C. Tse, Fong-lok Lee, Jimmy Ho-Man Lee:
Using Posting Templates for Enhancing Students' Argumentative Elaborations in Computer-Supported Collaborative Inquiry Learning. Res. Pract. Technol. Enhanc. Learn. 5(3): 275-294 (2010) - [j21]Morris S. Y. Jong, Junjie J. Shang, Fong-lok Lee, Jimmy Ho-Man Lee:
An Evaluative Study on VISOLE - Virtual Interactive Student-Oriented Learning Environment. IEEE Trans. Learn. Technol. 3(4): 307-318 (2010) - 2009
- [j20]Stefano Bistarelli
, Philippe Codognet, H. K. C. Hui, Jimmy Ho-Man Lee:
Solving finite domain constraint hierarchies by local consistency and tree search. J. Exp. Theor. Artif. Intell. 21(4): 233-257 (2009) - 2008
- [j19]Morris Siu-Yung Jong, Junjie Shang, Fong Lok Lee, Jimmy Ho-Man Lee:
Harnessing Computer Games in Education. Int. J. Distance Educ. Technol. 6(1): 1-9 (2008) - [j18]Morris Siu-Yung Jong, Junjie Shang, Fong Lok Lee, Jimmy Ho-Man Lee:
Harnessing Computer Games in Education. Int. J. Web Based Learn. Teach. Technol. 3(3): 54-61 (2008) - [j17]Kevin K. F. Cheung, Morris Siu-Yung Jong, Fong Lok Lee, Jimmy Ho-Man Lee, Eric T. H. Luk, Junjie Shang, Marti K. H. Wong:
FARMTASIA: an online game-based learning environment based on the VISOLE pedagogy. Virtual Real. 12(1): 17-25 (2008) - 2007
- [j16]Yat Chiu Law, Jimmy Ho-Man Lee, Barbara M. Smith:
Automatic Generation of Redundant Models for Permutation Constraint Satisfaction Problems. Constraints An Int. J. 12(4): 469-505 (2007) - [j15]Hai Fang, Y. Kilani, Jimmy Ho-Man Lee, Peter J. Stuckey
:
The island confinement method for reducing search space in local search methods. J. Heuristics 13(6): 557-585 (2007) - [j14]Chiu Wo Choi
, Jimmy Ho-Man Lee, Peter J. Stuckey:
Removing propagation redundant constraints in redundant modeling. ACM Trans. Comput. Log. 8(4): 23 (2007) - 2006
- [j13]Yat Chiu Law, Jimmy H. M. Lee
:
Symmetry Breaking Constraints for Value Symmetries in Constraint Satisfaction. Constraints An Int. J. 11(2-3): 221-267 (2006) - 2003
- [j12]Xudong Luo, Nicholas R. Jennings
, Nigel Shadbolt, Ho-fung Leung
, Jimmy Ho-Man Lee:
A fuzzy constraint based model for bilateral, multi-issue negotiations in semi-competitive environments. Artif. Intell. 148(1-2): 53-102 (2003) - [j11]Xudong Luo, Jimmy Ho-Man Lee, Ho-fung Leung
, Nicholas R. Jennings
:
Prioritised fuzzy constraint satisfaction problems: axioms, instantiation and validation. Fuzzy Sets Syst. 136(2): 151-188 (2003) - 2002
- [j10]C. K. Chiu, C. M. Chou, Jimmy Ho-Man Lee, Ho-fung Leung
, Y. W. Leung:
A Constraint-Based Interactive Train Rescheduling Tool. Constraints An Int. J. 7(2): 167-198 (2002) - [j9]Chong-Kan Chiu, Jimmy Ho-Man Lee:
Efficient Interval Linear Equality Solving in Constraint Logic Programming. Reliab. Comput. 8(2): 139-174 (2002) - 2000
- [j8]Kenneth M. F. Choi, Jimmy Ho-Man Lee, Peter J. Stuckey:
A Lagrangian reconstruction of GENET. Artif. Intell. 123(1-2): 1-39 (2000) - 1999
- [j7]Jimmy Ho-Man Lee, Ho-fung Leung:
An execution scheme for interactive problem-solving in concurrent constraint logic programming languages. Comput. Lang. 25(3): 119-144 (1999) - [j6]B. M. W. Cheng, Kenneth M. F. Choi, Jimmy Ho-Man Lee, J. C. K. Wu:
Increasing Constraint Propagation by Redundant Modeling: an Experience Report. Constraints An Int. J. 4(2): 167-192 (1999) - 1998
- [j5]C. K. Chiu, J. H. M. Lee:
Extending HCLP with partially ordered hierarchies and composite constraints. J. Exp. Theor. Artif. Intell. 10(1): 5-24 (1998) - 1997
- [j4]J. H. M. Lee, P. K. C. Pun:
Object Logic Integration: A Multiparadigm Design Methodology and a Programming Language. Comput. Lang. 23(1): 25-42 (1997) - [j3]B. M. W. Cheng, Jimmy Ho-Man Lee, J. C. K. Wu:
A nurse rostering system using constraint programming and redundant modeling. IEEE Trans. Inf. Technol. Biomed. 1(1): 44-54 (1997) - 1995
- [j2]J. H. M. Lee, V. W. L. Tam:
A Framework for Integrating Artificial Neural Networks and Logic Programming. Int. J. Artif. Intell. Tools 4(1-2): 3-32 (1995) - 1993
- [j1]Jimmy Ho-Man Lee, Maarten H. van Emden:
Interval Computation as Deduction in CHIP. J. Log. Program. 16(3): 255-276 (1993)
Conference and Workshop Papers
- 2024
- [c104]Hon Kit Hui, Jimmy H. M. Lee, Anthony K. W. Sum, Darwin Lau:
Indoor Hydroponics Robot System for Automated Seeding and Logistics. ICCA 2024: 376-381 - 2023
- [c103]Xinyi Hu, Jasper C. H. Lee, Jimmy H. M. Lee:
Predict+Optimize for Packing and Covering LPs with Unknown Parameters in Constraints. AAAI 2023: 3987-3995 - [c102]Hongbo Li, Jimmy H. M. Lee:
Finding Good Partial Assignments during Restart-Based Branch and Bound Search. AAAI 2023: 4035-4043 - [c101]Jimmy H. M. Lee:
A Tale of Two Cities: Teaching CP with Story-Telling (Invited Talk). CP 2023: 2:1-2:1 - [c100]Xinyi Hu, Jasper C. H. Lee, Jimmy H. M. Lee:
Branch & Learn with Post-hoc Correction for Predict+Optimize with Unknown Parameters in Constraints. CPAIOR 2023: 264-280 - [c99]Xinyi Hu, Jasper C. H. Lee, Jimmy Ho-Man Lee:
Two-Stage Predict+Optimize for MILPs with Unknown Parameters in Constraints. NeurIPS 2023 - 2022
- [c98]Jimmy H. M. Lee, Allen Z. Zhong:
Exploiting Functional Constraints in Automatic Dominance Breaking for Constraint Optimization. CP 2022: 31:1-31:17 - [c97]Xinyi Hu, Jasper C. H. Lee, Jimmy H. M. Lee, Allen Z. Zhong:
Branch & Learn for Recursively and Iteratively Solvable Problems in Predict+Optimize. NeurIPS 2022 - 2021
- [c96]Jimmy H. M. Lee, Allen Z. Zhong:
Towards More Practical and Efficient Automatic Dominance Breaking. AAAI 2021: 3868-3876 - [c95]Jimmy H. M. Lee:
From MOOC to SPOC: Fable-Based Learning. ICBL 2021: 16-25 - 2020
- [c94]Mavis Chan, Cecilia Chun, Holly Fung, Jimmy H. M. Lee, Peter J. Stuckey:
Teaching Constraint Programming Using Fable-Based Learning. AAAI 2020: 13366-13373 - [c93]Jimmy Ho-Man Lee, Allen Z. Zhong:
Automatic Dominance Breaking for a Class of Constraint Optimization Problems. IJCAI 2020: 1192-1200 - 2018
- [c92]Jasper C. H. Lee, Jimmy H. M. Lee, Allen Z. Zhong:
Augmenting Stream Constraint Programming with Eventuality Conditions. CP 2018: 242-258 - 2017
- [c91]Jesús Giráldez-Cru
, Jimmy H. M. Lee, Pedro Meseguer:
Iterative AWC for Distributed SAT. CCIA 2017: 56-65 - 2016
- [c90]Jimmy H. M. Lee, Zichen Zhu:
Breaking More Composition Symmetries Using Search Heuristics. AAAI 2016: 3418-3425 - [c89]Jimmy H. M. Lee, Christian Schulte, Zichen Zhu:
Increasing Nogoods in Restart-Based Search. AAAI 2016: 3426-3433 - [c88]Jimmy H. M. Lee, Zichen Zhu:
Static Symmetry Breaking with the Reflex Ordering. IJCAI 2016: 758-765 - 2015
- [c87]Jimmy H. M. Lee, Zichen Zhu:
Filtering Nogoods Lazily in Dynamic Symmetry Breaking During Search. IJCAI 2015: 339-345 - 2014
- [c86]Jimmy H. M. Lee, Zichen Zhu:
Boosting SBDS for Partial Symmetry Breaking in Constraint Programming. AAAI 2014: 2695-2702 - [c85]Jimmy Ho-Man Lee, Yuxiang Shi:
Removing redundant conflict value assignments in resolvent based nogood learning. AAMAS 2014: 1133-1140 - [c84]Jasper C. H. Lee, Jimmy H. M. Lee:
Towards Practical Infinite Stream Constraint Programming: Applications and Implementation. CP 2014: 449-464 - [c83]Jimmy H. M. Lee, Zichen Zhu:
An Increasing-Nogoods Global Constraint for Symmetry Breaking During Search. CP 2014: 465-480 - [c82]Simon de Givry, Jimmy Ho-Man Lee, Ka Lun Leung, Yu Wai Shum:
Solving a Judge Assignment Problem Using Conjunctions of Global Cost Functions. CP 2014: 797-812 - 2013
- [c81]Patricia Gutierrez, Jimmy Ho-Man Lee, Ka Man Lei, Terrence W. K. Mak
, Pedro Meseguer:
Maintaining Soft Arc Consistencies in BnB-ADOPT + during Search. CP 2013: 365-380 - [c80]Jimmy Ho-Man Lee, Terrence W. K. Mak
, Yuxiang Shi:
A General Privacy Loss Aggregation Framework for Distributed Constraint Reasoning. ICTAI 2013: 979-986 - 2012
- [c79]Jimmy Ho-Man Lee, Ka Lun Leung, Yi Wu:
Polynomially Decomposable Global Cost Functions in Weighted Constraint Satisfaction. AAAI 2012: 507-513 - [c78]Arnaud Lallouet, Jimmy Ho-Man Lee, Terrence W. K. Mak
:
Consistencies for Ultra-Weak Solutions in Minimax Weighted CSPs Using the Duality Principle. CP 2012: 373-389 - [c77]Jimmy Ho-Man Lee, Jingying Li:
Increasing Symmetry Breaking by Preserving Target Symmetries. CP 2012: 422-438 - [c76]Jimmy Ho-Man Lee, Ka Lun Leung, Yu Wai Shum:
Propagating Polynomially (Integral) Linear Projection-Safe Global Cost Functions in WCSPs. ICTAI 2012: 9-16 - [c75]Jimmy Ho-Man Lee, Terrence W. K. Mak
:
A Value Ordering Heuristic for Solving Ultra-Weak Solutions in Minimax Weighted CSPs. ICTAI 2012: 17-24 - 2011
- [c74]Yat Chiu Law, Jimmy Ho-Man Lee, May Hiu-Chun Woo, Toby Walsh:
A Comparison of Lex Bounds for Multiset Variables in Constraint Programming. AAAI 2011: 61-67 - [c73]Morris S. Y. Jong, Fong-lok Lee, Jimmy Ho-Man Lee, Junjie Shang:
A Case Study of an Academic Achievement-oriented Student in Game-based Learning. ICALT 2011: 7-11 - [c72]J. H. M. Lee, Yu Wai Shum:
Modeling Soft Global Constraints as Linear Programs in Weighted Constraint Satisfaction. ICTAI 2011: 305-312 - [c71]Jimmy Ho-Man Lee, Terrence W. K. Mak
, Justin Yip:
Weighted Constraint Satisfaction Problems with Min-Max Quantifiers. ICTAI 2011: 769-776 - [c70]Arnaud Lallouet, Yat Chiu Law, Jimmy Ho-Man Lee, Charles F. K. Siu:
Constraint Programming on Infinite Data Streams. IJCAI 2011: 597-604 - 2010
- [c69]Jimmy Ho-Man Lee, Ka Lun Leung:
A Stronger Consistency for Soft Global Constraints in Weighted Constraint Satisfaction. AAAI 2010: 121-127 - [c68]Morris S. Y. Jong, Fong-lok Lee, Jimmy Ho-Man Lee, Junjie Shang:
A Case Study of a Non-gamer Student's Learning Process in VISOLE. DIGITEL 2010: 77-84 - 2009
- [c67]Yat Chiu Law, Jimmy Ho-Man Lee, May H. C. Woo:
Variety Reasoning for Multiset Constraint Propagation. IJCAI 2009: 552-558 - [c66]Jimmy Ho-Man Lee, Ka Lun Leung:
Towards Efficient Consistency Enforcement for Global Constraints in Weighted Constraint Satisfaction. IJCAI 2009: 559-565 - 2008
- [c65]Morris Siu-Yung Jong, Alex W. C. Tse, Yuxia Zhou, Weiqin Chen
, Fong-lok Lee, Jimmy Ho-Man Lee:
Using Posting Templates for Enhancing Students' Argumentative Elaborations in Learning Villages. DIGITEL 2008: 180-187 - [c64]Junjie J. Shang, Morris Siu-Yung Jong, Fong Lok Lee, Jimmy Ho-Man Lee:
VISOLE: An Example of Hybrid Learning. ICHL 2008: 348-358 - [c63]Jimmy Ho-Man Lee, C. F. K. Siu:
Stronger Consistencies in WCSPs with Set Variables. ICTAI (1) 2008: 291-298 - [c62]Ling-Jyh Chen
, Bo-Chun Wang, Kuan-Ta Chen, Irwin King
, Jimmy Ho-Man Lee:
An Analytical Study of Puzzle Selection Strategies for the ESP Game. Web Intelligence 2008: 180-183 - [c61]Chien-Wei Lin
, Kuan-Ta Chen, Ling-Jyh Chen
, Irwin King
, Jimmy Ho-Man Lee:
An Analytical Approach to Optimizing the Utility of ESP Games. Web Intelligence 2008: 184-187 - [c60]Wei Wei, Kam Tong Chan, Irwin King
, Jimmy Ho-Man Lee:
RATE: A Review of Reviewers in a Manuscript Review Process. Web Intelligence 2008: 204-207 - 2007
- [c59]Yat Chiu Law, Jimmy Ho-Man Lee, May H. C. Woo:
A Parameterized Local Consistency for Redundant Modeling in Weighted CSPs. Australian Conference on Artificial Intelligence 2007: 191-201 - [c58]Chiu Wo Choi, Jimmy Ho-Man Lee:
Solving the Salinity Control Problem in a Potable Water System. CP 2007: 33-48 - [c57]Yat Chiu Law, Jimmy Ho-Man Lee, Toby Walsh, J. Y. K. Yip:
Breaking Symmetry of Interchangeable Variables and Values. CP 2007: 423-437 - [c56]Junjie Shang, Morris Siu-Yung Jong, Fong Lok Lee, Jimmy Ho-Man Lee:
A Pilot Study on Virtual Interactive Student-Oriented Learning Environment. DIGITEL 2007: 65-72 - [c55]Wei Wei, Irwin King
, J. H. M. Lee:
Bibliographic Attributes Extraction with Layer-upon-Layer Tagging. ICDAR 2007: 804-808 - [c54]Wei Wei, Jimmy Ho-Man Lee, Irwin King
:
Measuring credibility of users in an e-learning environment. WWW 2007: 1279-1280 - 2006
- [c53]J. H. M. Lee, C. F. K. Siu:
Weighted Constraint Satisfaction with Set Variables. AAAI 2006: 80-85 - [c52]Chiu Wo Choi, Warwick Harvey, J. H. M. Lee, Peter J. Stuckey:
Finite Domain Bounds Consistency Revisited. Australian Conference on Artificial Intelligence 2006: 49-58 - [c51]Yat Chiu Law, Jimmy Ho-Man Lee, May H. C. Woo:
Speeding Up Weighted Constraint Satisfaction Using Redundant Modeling. Australian Conference on Artificial Intelligence 2006: 59-68 - [c50]Fong Lok Lee, Jimmy Ho-Man Lee, Marti K. H. Wong, Huk-Yuen Law, L. Wang:
Exploring the Fourth Dimension: The Design of a Multimedia Learning System for Generalization. Edutainment 2006: 261-270 - [c49]Morris Siu-Yung Jong, Junjie Shang, Fong Lok Lee, Jimmy Ho-Man Lee, Huk-Yuen Law:
Learning Online: A Comparative Study of a Situated Game-Based Approach and a Traditional Web-Based Approach. Edutainment 2006: 541-551 - [c48]Eric T. H. Luk, Marti K. H. Wong, Kevin K. F. Cheung, Fong Lok Lee, J. H. M. Lee:
Design and Implementation of Farmtasia: A Game Designed for the VISOLE Teaching Style. Edutainment 2006: 566-571 - [c47]Spencer K. L. Fung, Jimmy Ho-Man Lee, Ho-fung Leung:
Incorporating Simplex Method into Guided Complete Search: An Application to the Nurse Rostering Problem. FLAIRS 2006: 141-146 - [c46]Junjie Shang, Morris Siu-Yung Jong, Fong Lok Lee, Jimmy Ho-Man Lee:
VISOLE: A New Game-based Situated Learning Paradigm. ICALT 2006: 1082-1083 - [c45]Junjie Shang, Morris Siu-Yung Jong, Fong Lok Lee, Jimmy Ho-Man Lee, Marti K. H. Wong, Eric T. H. Luk, Kevin K. F. Cheung:
Using the "Record-Replay" Function for Elaboration of Knowledge in Educational Games. ICCE 2006: 503-506 - [c44]Morris Siu-Yung Jong, Junjie Shang, Fong Lok Lee, Jimmy Ho-Man Lee, Huk-Yuen Law:
An Exploratory Study on Teachers' Perceptions of Game-based Situated Learning. ICCE 2006: 525-532 - 2005
- [c43]Junjie Shang, Fong Lok Lee, Jimmy Ho-Man Lee:
Design Strategies and Principles in VISOLE. ICCE 2005: 879-882 - [c42]Chiu Wo Choi
, Jimmy Ho-Man Lee:
Controlling Salinity in a Potable Water Supply System Using a Constraint Programming Approach. ICTAI 2005: 104-108 - [c41]Spencer K. L. Fung, Ho-fung Leung
, Jimmy Ho-Man Lee:
Guided Complete Search for Nurse Rostering Problem. ICTAI 2005: 706-707 - [c40]Yat Chiu Law, Jimmy Ho-Man Lee:
Breaking value symmetries in matrix models using channeling constraints. SAC 2005: 371-376 - 2004
- [c39]Yat Chiu Law, Jimmy Ho-Man Lee:
Global Constraints for Integer and Set Value Precedence. CP 2004: 362-376 - [c38]Spencer K. L. Fung, Denny J. Zheng, Ho-fung Leung
, Jimmy Ho-Man Lee, Hon Wai Chun
:
A Framework for Guided Complete Search for Solving Constraint Satisfaction Problems and Some of Its Instances. ICTAI 2004: 696-703 - 2003
- [c37]Stefano Bistarelli
, Philippe Codognet, Kin Chuen Hui, Jimmy Ho-Man Lee:
Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search. CP 2003: 138-152 - [c36]Chi Kan Cheng, Jimmy Ho-Man Lee, Peter J. Stuckey:
Box Constraint Collections for Adhoc Constraints. CP 2003: 214-228 - [c35]Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey:
Propagation Redundancy in Redundant Modelling. CP 2003: 229-243 - [c34]Stefano Bistarelli, Philippe Codognet, Kin Chuen Hui, Jimmy Ho-Man Lee:
Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search. IJCAI 2003: 1364-1365 - [c33]Kenil C. K. Cheng, Jimmy Ho-Man Lee, Peter J. Stuckey:
Efficient Representation of Adhoc Constraints. IJCAI 2003: 1368-1369 - [c32]Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey:
Propagation Redundancy for Permutation Channels. IJCAI 2003: 1370-1371 - 2002
- [c31]Hai Fang, Y. Kilani, Jimmy Ho-Man Lee, Peter J. Stuckey:
Reducing Search Space in Local Search for Constraint Satisfaction. AAAI/IAAI 2002: 28-33 - [c30]Yat Chiu Law, Jimmy Ho-Man Lee:
Model Induction: A New Source of CSP Model Redundancy. AAAI/IAAI 2002: 54-61 - [c29]Yat Chiu Law, Jimmy Ho-Man Lee:
Algebraic Properties of CSP Model Operators. CP 2002: 750-754 - [c28]Jimmy Ho-Man Lee, Lei Zhao:
A Real-Time Agent Architecture: Design, Implementation and Evaluation. PRIMA 2002: 18-32 - 2001
- [c27]Xudong Luo, Ho-fung Leung, Jimmy Ho-Man Lee:
Weighted/prioritized compensatory aggregation. EUSFLAT Conf. 2001: 149-155 - [c26]Xudong Luo
, Ho-fung Leung, Jimmy Ho-Man Lee:
A Spectrum of Compensation Aggregation Operators. FUZZ-IEEE 2001: 1171-1174 - [c25]Xudong Luo
, Ho-fung Leung, Jimmy Ho-Man Lee:
Weighted/Prioritised Compensatory Aggregation. FUZZ-IEEE 2001: 1175-1178 - 2000
- [c24]Xudong Luo, Ho-fung Leung, Jimmy Ho-Man Lee:
Collaborating Agents of Heterogenous Valued Constraint Satisfaction Problems. IS 2000: 35-38 - [c23]Xudong Luo, Ho-fung Leung, Jimmy Ho-Man Lee:
Theory and Properties of a Selfish Protocol for Multi-Agent Meeting Scheduling Using Fuzzy Constraints. ECAI 2000: 373-377 - [c22]Xudong Luo, Ho-fung Leung, Jimmy Ho-Man Lee:
A Multi-Agent Framework for Meeting Scheduling Using Fuzzy Constraints. ICMAS 2000: 409-410 - [c21]Xudong Luo
, Ho-fung Leung, Jimmy Ho-Man Lee:
A New Axiomatic Framework for Prioritized Fuzzy Constraint Satisfaction Problems. PRICAI 2000: 795 - 1998
- [c20]Jimmy Ho-Man Lee, Ho-fung Leung, Hon-Wing Won:
Performance of a Comprehensive and Efficient Constraint Library Based on Local Search. Australian Joint Conference on Artificial Intelligence 1998: 191-202 - [c19]R. W. L. Kam, Jimmy Ho-Man Lee:
Fuzzifying the Constraint Hierarchies Framework. CP 1998: 280-294 - [c18]T. K. Lee, Philip Heng Wai Leong
, K. H. Lee, K. T. Chan, Siew Kok Hui, H. K. Yeung, M. F. Lo, J. H. M. Lee:
An FPGA Implementation of GENET for Solving Graph Coloring Problems . FCCM 1998: 284-285 - [c17]Kenneth M. F. Choi, Jimmy Ho-Man Lee, Peter J. Stuckey:
A Lagrangian reconstruction of a class of local search methods. ICTAI 1998: 166-175 - 1996
- [c16]Jimmy Ho-Man Lee, Ho-fung Leung, Peter J. Stuckey, V. W. L. Tam, Hon-Wing Won:
Using Stochastic Methods to Guide Search in CLP: A Preliminary Report. ASIAN 1996: 43-52 - [c15]B. M. W. Cheng, Jimmy Ho-Man Lee, J. C. K. Wu:
Speeding Up Constraint Propagation By Redundant Modeling. CP 1996: 91-103 - [c14]C. K. Chiu, C. M. Chou, Jimmy Ho-Man Lee, Ho-fung Leung, Y. W. Leung:
A Constraint-Based Interactive Train Rescheduling Tool. CP 1996: 104-118 - [c13]Jimmy Ho-Man Lee, Ho-fung Leung, Hon-Wing Won:
Towards a More Efficient Stochastic Constraint Solver. CP 1996: 338-352 - [c12]B. M. W. Cheng, Jimmy Ho-Man Lee, J. C. K. Wu:
A Constraint-based Nurse Rostering System Using a Redundant Modeling Approach. ICTAI 1996: 140-148 - [c11]J. H. M. Lee, P. K. C. Pun:
An Overview of the OLI Multiparadigm Programming Language and Its Semantics. OOIS 1996: 79-92 - [c10]Jimmy Ho-Man Lee, Ho-fung Leung:
Incremental querying in the concurrent CLP language IFD-Constraint Pandora. SAC 1996: 387-392 - 1995
- [c9]C. K. Chiu, J. H. M. Lee:
Interval Linear Constraint Solving Using the Preconditioned Interval Gauss-Seidel Method. ICLP 1995: 17-31 - [c8]Jimmy Ho-Man Lee, Ho-fung Leung
, Hon-Wing Won:
Extending GENET for non-binary CSP's. ICTAI 1995: 338-343 - 1994
- [c7]J. H. M. Lee, J. C. K. Leung, C. C. K. Wong:
Construction of a WYSIWYG LaTeX Typesetting System Using Object-oriented Design. Software Quality and Productivity 1994: 135-138 - [c6]J. H. M. Lee, T. W. Lee:
A WAM-Based Abstract Machine for Interval Constraint Logic Programming. ICTAI 1994: 122-128 - [c5]J. H. M. Lee, V. W. L. Tam:
Towards the Integration of Artificial Neural Networks and Constraint Logic Programming. ICTAI 1994: 446-452 - [c4]Jimmy Ho-Man Lee, Ho-fung Leung:
IQ: towards incremental query processing in non-deterministic concurrent constraint logic programming. SAC 1994: 405-409 - [c3]C. K. Chiu, Jimmy Ho-Man Lee:
Towards Practical Interval Constraint Solving in Logic Programming. ILPS 1994: 109-123 - 1992
- [c2]Jimmy Ho-Man Lee, Maarten H. van Emden:
Adapting CLP to Floating-Point Arithmetic. FGCS 1992: 996-1003 - 1988
- [c1]Mantis H. M. Cheng, Maarten H. van Emden, Jimmy Ho-Man Lee:
Tables as a User Interface for Logic Programs. FGCS 1988: 784-791
Editorship
- 2011
- [e1]Jimmy Ho-Man Lee:
Principles and Practice of Constraint Programming - CP 2011 - 17th International Conference, CP 2011, Perugia, Italy, September 12-16, 2011. Proceedings. Lecture Notes in Computer Science 6876, Springer 2011, ISBN 978-3-642-23785-0 [contents]
Informal and Other Publications
- 2023
- [i12]Xinyi Hu, Jasper C. H. Lee, Jimmy H. M. Lee:
Branch & Learn with Post-hoc Correction for Predict+Optimize with Unknown Parameters in Constraints. CoRR abs/2303.06698 (2023) - [i11]Xinyi Hu, Jasper C. H. Lee, Jimmy H. M. Lee:
Two-Stage Predict+Optimize for Mixed Integer Linear Programs with Unknown Parameters in Constraints. CoRR abs/2311.08022 (2023) - 2022
- [i10]Xinyi Hu, Jasper C. H. Lee, Jimmy H. M. Lee, Allen Z. Zhong:
Branch & Learn for Recursively and Iteratively Solvable Problems in Predict+Optimize. CoRR abs/2205.01672 (2022) - [i9]Xu Yang, Daoyuan Wu, Xiao Yi, Jimmy H. M. Lee, Tan Lee
:
iExam: A Novel Online Exam Monitoring and Analysis System Based on Face Detection and Recognition. CoRR abs/2206.13356 (2022) - [i8]Xinyi Hu, Jasper C. H. Lee, Jimmy H. M. Lee:
Predict+Optimize for Packing and Covering LPs with Unknown Parameters in Constraints. CoRR abs/2209.03668 (2022) - 2018
- [i7]Jasper C. H. Lee, Jimmy H. M. Lee, Allen Z. Zhong:
Augmenting Stream Constraint Programming with Eventuality Conditions. CoRR abs/1806.04325 (2018) - 2015
- [i6]David Allouche, Christian Bessiere, Patrice Boizumault, Simon de Givry, Patricia Gutierrez, Jimmy H. M. Lee, Ka Lun Leung, Samir Loudni, Jean-Philippe Métivier, Thomas Schiex, Yi Wu:
Tractability and Decompositions of Global Cost Functions. CoRR abs/1502.02414 (2015) - 2014
- [i5]J. H. M. Lee, Ka Lun Leung:
Consistency Techniques for Flow-Based Projection-Safe Global Cost Functions in Weighted Constraint Satisfaction. CoRR abs/1401.4605 (2014) - 2011
- [i4]Yat Chiu Law, Jimmy Ho-Man Lee, May Hiu-Chun Woo, Toby Walsh:
A Comparison of Lex Bounds for Multiset Variables in Constraint Programming. CoRR abs/1106.5890 (2011) - 2006
- [i3]Hai Fang, Y. Kilani, Jimmy Ho-Man Lee, Peter J. Stuckey:
Islands for SAT. CoRR abs/cs/0607071 (2006) - 2004
- [i2]Chiu Wo Choi, Warwick Harvey, Jimmy Ho-Man Lee, Peter J. Stuckey:
Finite Domain Bounds Consistency Revisited. CoRR abs/cs/0412021 (2004) - [i1]Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey:
Removing Propagation Redundant Constraints in Redundant Modeling. CoRR abs/cs/0412026 (2004)
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-18 00:32 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint