Jimmy Ho-Man Lee

Publication Activity (10 Years)

Years Active: 1988-2023
Publications (10 Years): 4

Top Venues

Constraints An Int. J.

AAMAS

NeurIPS

Publications

Xinyi Hu, Jasper C. H. Lee, Jimmy Ho-Man Lee
Two-Stage Predict+Optimize for MILPs with Unknown Parameters in Constraints. NeurIPS (2023)
Jimmy Ho-Man Lee, Allen Z. Zhong
Automatic Dominance Breaking for a Class of Constraint Optimization Problems. IJCAI (2020)
Jimmy Ho-Man Lee, Pedro Meseguer, Wen Su
Adding laziness in BnB-ADOPT+. Constraints An Int. J. 20 (2) (2015)
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) (2015)
Jimmy Ho-Man Lee, Yuxiang Shi
Removing redundant conflict value assignments in resolvent based nogood learning. AAMAS (2014)
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)
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) (2014)
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) (2013)
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)
Jimmy Ho-Man Lee, Terrence W. K. Mak, Yuxiang Shi
A General Privacy Loss Aggregation Framework for Distributed Constraint Reasoning. ICTAI (2013)
Jimmy Ho-Man Lee, Terrence W. K. Mak
A Value Ordering Heuristic for Solving Ultra-Weak Solutions in Minimax Weighted CSPs. ICTAI (2012)
Jimmy Ho-Man Lee, Ka Lun Leung, Yi Wu
Polynomially Decomposable Global Cost Functions in Weighted Constraint Satisfaction. AAAI (2012)
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)
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 (2012)
Jimmy Ho-Man Lee, Ka Lun Leung, Yu Wai Shum
Propagating Polynomially (Integral) Linear Projection-Safe Global Cost Functions in WCSPs. ICTAI (2012)
Jimmy Ho-Man Lee, Jingying Li
Increasing Symmetry Breaking by Preserving Target Symmetries. CP (2012)
Arnaud Lallouet, Yat Chiu Law, Jimmy Ho-Man Lee, Charles F. K. Siu
Constraint Programming on Infinite Data Streams. IJCAI (2011)
Jimmy Ho-Man Lee, Terrence W. K. Mak, Justin Yip
Weighted Constraint Satisfaction Problems with Min-Max Quantifiers. ICTAI (2011)
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)
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)
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 (2011)
Jimmy Ho-Man Lee, Ka Lun Leung
A Stronger Consistency for Soft Global Constraints in Weighted Constraint Satisfaction. AAAI (2010)
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) (2010)
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)
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) (2010)
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) (2010)
Yat Chiu Law, Jimmy Ho-Man Lee, May H. C. Woo
Variety Reasoning for Multiset Constraint Propagation. IJCAI (2009)
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) (2009)
Jimmy Ho-Man Lee, Ka Lun Leung
Towards Efficient Consistency Enforcement for Global Constraints in Weighted Constraint Satisfaction. IJCAI (2009)
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) (2008)
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)
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)
Jimmy Ho-Man Lee, C. F. K. Siu
Stronger Consistencies in WCSPs with Set Variables. ICTAI (1) (2008)
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) (2008)
Wei Wei, Kam Tong Chan, Irwin King, Jimmy Ho-Man Lee
RATE: A Review of Reviewers in a Manuscript Review Process. Web Intelligence (2008)
Junjie J. Shang, Morris Siu-Yung Jong, Fong Lok Lee, Jimmy Ho-Man Lee
VISOLE: An Example of Hybrid Learning. ICHL (2008)
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)
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) (2008)
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)
Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey
Removing propagation redundant constraints in redundant modeling. ACM Trans. Comput. Log. 8 (4) (2007)
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)
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) (2007)
Yat Chiu Law, Jimmy Ho-Man Lee, Toby Walsh, J. Y. K. Yip
Breaking Symmetry of Interchangeable Variables and Values. CP (2007)
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) (2007)
Chiu Wo Choi, Jimmy Ho-Man Lee
Solving the Salinity Control Problem in a Potable Water System. CP (2007)
Wei Wei, Jimmy Ho-Man Lee, Irwin King
Measuring credibility of users in an e-learning environment. WWW (2007)
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 Conference (2006)
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)
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)
Junjie Shang, Morris Siu-Yung Jong, Fong Lok Lee, Jimmy Ho-Man Lee
VISOLE: A New Game-based Situated Learning Paradigm. ICALT (2006)
Hai Fang, Y. Kilani, Jimmy Ho-Man Lee, Peter J. Stuckey
Islands for SAT CoRR (2006)
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)
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)
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)
Yat Chiu Law, Jimmy Ho-Man Lee
Breaking value symmetries in matrix models using channeling constraints. SAC (2005)
Junjie Shang, Fong Lok Lee, Jimmy Ho-Man Lee
Design Strategies and Principles in VISOLE. ICCE (2005)
Chiu Wo Choi, Jimmy Ho-Man Lee
Controlling Salinity in a Potable Water Supply System Using a Constraint Programming Approach. ICTAI (2005)
Spencer K. L. Fung, Ho-fung Leung, Jimmy Ho-Man Lee
Guided Complete Search for Nurse Rostering Problem. ICTAI (2005)
Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey
Removing Propagation Redundant Constraints in Redundant Modeling CoRR (2004)
Spencer K. L. Fung, Denny J. Zheng, Ho-fung Leung, Jimmy Ho-Man Lee, H. W. Chun
A Framework for Guided Complete Search for Solving Constraint Satisfaction Problems and Some of Its Instances. ICTAI (2004)
Yat Chiu Law, Jimmy Ho-Man Lee
Global Constraints for Integer and Set Value Precedence. CP (2004)
Chiu Wo Choi, Warwick Harvey, Jimmy Ho-Man Lee, Peter J. Stuckey
Finite Domain Bounds Consistency Revisited CoRR (2004)
Chi Kan Cheng, Jimmy Ho-Man Lee, Peter J. Stuckey
Box Constraint Collections for Adhoc Constraints. CP (2003)
Kenil C. K. Cheng, Jimmy Ho-Man Lee, Peter J. Stuckey
Efficient Representation of Adhoc Constraints. IJCAI (2003)
Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey
Propagation Redundancy for Permutation Channels. IJCAI (2003)
Stefano Bistarelli, Philippe Codognet, Kin Chuen Hui, Jimmy Ho-Man Lee
Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search. IJCAI (2003)
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) (2003)
Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey
Propagation Redundancy in Redundant Modelling. CP (2003)
Stefano Bistarelli, Philippe Codognet, Kin Chuen Hui, Jimmy Ho-Man Lee
Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search. CP (2003)
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) (2003)
Yat Chiu Law, Jimmy Ho-Man Lee
Algebraic Properties of CSP Model Operators. CP (2002)
Yat Chiu Law, Jimmy Ho-Man Lee
Model Induction: A New Source of CSP Model Redundancy. AAAI/IAAI (2002)
Chong-Kan Chiu, Jimmy Ho-Man Lee
Efficient Interval Linear Equality Solving in Constraint Logic Programming. Reliab. Comput. 8 (2) (2002)
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) (2002)
Jimmy Ho-Man Lee, Lei Zhao
A Real-Time Agent Architecture: Design, Implementation and Evaluation. PRIMA (2002)
Hai Fang, Y. Kilani, Jimmy Ho-Man Lee, Peter J. Stuckey
Reducing Search Space in Local Search for Constraint Satisfaction. AAAI/IAAI (2002)
Xudong Luo, Ho-fung Leung, Jimmy Ho-Man Lee
Weighted/prioritized compensatory aggregation. EUSFLAT Conf. (2001)
Xudong Luo, Ho-fung Leung, Jimmy Ho-Man Lee
A Spectrum of Compensation Aggregation Operators. FUZZ-IEEE (2001)
Xudong Luo, Ho-fung Leung, Jimmy Ho-Man Lee
Weighted/Prioritised Compensatory Aggregation. FUZZ-IEEE (2001)
Xudong Luo, Ho-fung Leung, Jimmy Ho-Man Lee
A Multi-Agent Framework for Meeting Scheduling Using Fuzzy Constraints. ICMAS (2000)
Xudong Luo, Ho-fung Leung, Jimmy Ho-Man Lee
Collaborating Agents of Heterogenous Valued Constraint Satisfaction Problems. IS (2000)
Kenneth M. F. Choi, Jimmy Ho-Man Lee, Peter J. Stuckey
A Lagrangian reconstruction of GENET. Artif. Intell. 123 (1-2) (2000)
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)
Xudong Luo, Ho-fung Leung, Jimmy Ho-Man Lee
A New Axiomatic Framework for Prioritized Fuzzy Constraint Satisfaction Problems. PRICAI (2000)
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) (1999)
Jimmy Ho-Man Lee, Ho-fung Leung
An execution scheme for interactive problem-solving in concurrent constraint logic programming languages. Comput. Lang. 25 (3) (1999)
Kenneth M. F. Choi, Jimmy Ho-Man Lee, Peter J. Stuckey
A Lagrangian reconstruction of a class of local search methods. ICTAI (1998)
R. W. L. Kam, Jimmy Ho-Man Lee
Fuzzifying the Constraint Hierarchies Framework. CP (1998)
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)
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) (1997)
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)
Jimmy Ho-Man Lee, Ho-fung Leung
Incremental querying in the concurrent CLP language IFD-Constraint Pandora. SAC (1996)
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)
Jimmy Ho-Man Lee, Ho-fung Leung, Hon-Wing Won
Towards a More Efficient Stochastic Constraint Solver. CP (1996)
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)
B. M. W. Cheng, Jimmy Ho-Man Lee, J. C. K. Wu
Speeding Up Constraint Propagation By Redundant Modeling. CP (1996)
Jimmy Ho-Man Lee, Ho-fung Leung, Hon-Wing Won
Extending GENET for non-binary CSP's. ICTAI (1995)
C. K. Chiu, Jimmy Ho-Man Lee
Towards Practical Interval Constraint Solving in Logic Programming. ILPS (1994)
Jimmy Ho-Man Lee, Ho-fung Leung
IQ: towards incremental query processing in non-deterministic concurrent constraint logic programming. SAC (1994)
Jimmy Ho-Man Lee, Maarten H. van Emden
Interval Computation as Deduction in CHIP. J. Log. Program. 16 (3) (1993)

Jimmy Ho-Man Lee.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jimmy Ho-Man Lee