Jimmy Ho-Man Lee

J. H. M. Lee

	2009
81		Yat Chiu Law, Jimmy Ho-Man Lee, May H. C. Woo: Variety Reasoning for Multiset Constraint Propagation. IJCAI 2009: 552-558
80		Jimmy Ho-Man Lee, Ka Lun Leung: Towards Efficient Consistency Enforcement for Global Constraints in Weighted Constraint Satisfaction. IJCAI 2009: 559-565
	2008
79		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
78		Junjie Shang, Morris Siu Yung Jong, Fong Lok Lee, Jimmy Ho-Man Lee: VISOLE: An Example of Hybrid Learning. ICHL 2008: 348-358
77		Jimmy Ho-Man Lee, C. F. K. Siu: Stronger Consistencies in WCSPs with Set Variables. ICTAI (1) 2008: 291-298
76		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
75		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
74		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
73		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 Reality 12(1): 17-25 (2008)
	2007
72		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
71		Chiu Wo Choi, Jimmy Ho-Man Lee: Solving the Salinity Control Problem in a Potable Water System. CP 2007: 33-48
70		Yat Chiu Law, Jimmy Ho-Man Lee, Toby Walsh, J. Y. K. Yip: Breaking Symmetry of Interchangeable Variables and Values. CP 2007: 423-437
69		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
68		Wei Wei, Jimmy Ho-Man Lee, Irwin King: Measuring credibility of users in an e-learning environment. WWW 2007: 1279-1280
67		Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey: Removing propagation redundant constraints in redundant modeling. ACM Trans. Comput. Log. 8(4): (2007)
66		Yat Chiu Law, Jimmy Ho-Man Lee, Barbara M. Smith: Automatic Generation of Redundant Models for Permutation Constraint Satisfaction Problems. Constraints 12(4): 469-505 (2007)
65		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)
	2006
64		J. H. M. Lee, C. F. K. Siu: Weighted Constraint Satisfaction with Set Variables. AAAI 2006
63		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
62		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
61		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
60		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
59		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
58		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: 141-146
57		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
56		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
55		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
54		Hai Fang, Y. Kilani, Jimmy Ho-Man Lee, Peter J. Stuckey: Islands for SAT CoRR abs/cs/0607071: (2006)
	2005
53		Junjie Shang, Fong Lok Lee, Jimmy Ho-Man Lee: Design Strategies and Principles in VISOLE. ICCE 2005: 879-882
52		Chiu Wo Choi, Jimmy Ho-Man Lee: Controlling Salinity in a Potable Water Supply System Using a Constraint Programming Approach. ICTAI 2005: 104-108
51		Spencer K. L. Fung, Ho-fung Leung, Jimmy Ho-Man Lee: Guided Complete Search for Nurse Rostering Problem. ICTAI 2005: 706-707
50		Yat Chiu Law, Jimmy Ho-Man Lee: Breaking value symmetries in matrix models using channeling constraints. SAC 2005: 371-376
	2004
49		Yat Chiu Law, Jimmy Ho-Man Lee: Global Constraints for Integer and Set Value Precedence. CP 2004: 362-376
48		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: 696-703
47		Chiu Wo Choi, Warwick Harvey, Jimmy Ho-Man Lee, Peter J. Stuckey: Finite Domain Bounds Consistency Revisited CoRR abs/cs/0412021: (2004)
46		Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey: Removing Propagation Redundant Constraints in Redundant Modeling CoRR abs/cs/0412026: (2004)
	2003
45		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
44		Chi Kan Cheng, Jimmy Ho-Man Lee, Peter J. Stuckey: Box Constraint Collections for Adhoc Constraints. CP 2003: 214-228
43		Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey: Propagation Redundancy in Redundant Modelling. CP 2003: 229-243
42		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
41		Kenil C. K. Cheng, Jimmy Ho-Man Lee, Peter J. Stuckey: Efficient Representation of Adhoc Constraints. IJCAI 2003: 1368-1369
40		Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey: Propagation Redundancy for Permutation Channels. IJCAI 2003: 1370-1371
39		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)
38		Xudong Luo, Jimmy Ho-Man Lee, Ho-fung Leung, Nicholas R. Jennings: Prioritised fuzzy constraint satisfaction problems: axioms, instantiation and validation. Fuzzy Sets and Systems 136(2): 151-188 (2003)
	2002
37		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
36		Yat Chiu Law, Jimmy Ho-Man Lee: Model Induction: A New Source of CSP Model Redundancy. AAAI/IAAI 2002: 54-
35		Yat Chiu Law, Jimmy Ho-Man Lee: Algebraic Properties of CSP Model Operators. CP 2002: 750-754
34		Jimmy Ho-Man Lee, Lei Zhao: A Real-Time Agent Architecture: Design, Implementation and Evaluation. PRIMA 2002: 18-32
33		C. K. Chiu, C. M. Chou, Jimmy Ho-Man Lee, Ho-fung Leung, Y. W. Leung: A Constraint-Based Interactive Train Rescheduling Tool. Constraints 7(2): 167-198 (2002)
32		Chong-Kan Chiu, Jimmy Ho-Man Lee: Efficient Interval Linear Equality Solving in Constraint Logic Programming. Reliable Computing 8(2): 139-174 (2002)
	2001
31		Xudong Luo, Ho-fung Leung, Jimmy Ho-Man Lee: Weighted/prioritized compensatory aggregation. EUSFLAT Conf. 2001: 149-155
30		Xudong Luo, Ho-fung Leung, Jimmy Ho-Man Lee: A Spectrum of Compensation Aggregation Operators. FUZZ-IEEE 2001: 1171-1174
29		Xudong Luo, Ho-fung Leung, Jimmy Ho-Man Lee: Weighted/Prioritised Compensatory Aggregation. FUZZ-IEEE 2001: 1175-1178
	2000
28		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
27		Xudong Luo, Ho-fung Leung, Jimmy Ho-Man Lee: A Multi-Agent Framework for Meeting Scheduling Using Fuzzy Constraints. ICMAS 2000: 409-410
26		Xudong Luo, Ho-fung Leung, Jimmy Ho-Man Lee: A New Axiomatic Framework for Prioritized Fuzzy Constraint Satisfaction Problems. PRICAI 2000: 795
25		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
24		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)
23		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 4(2): 167-192 (1999)
	1998
22		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
21		R. W. L. Kam, Jimmy Ho-Man Lee: Fuzzifying the Constraint Hierarchies Framework. CP 1998: 280-294
20		T. K. Lee, Philip Heng Wai Leong, K. H. Lee, K. T. Chan, S. K. 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
19		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
18		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)
17		B. M. W. Cheng, Jimmy Ho-Man Lee, J. C. K. Wu: A nurse rostering system using constraint programming and redundant modeling. IEEE Transactions on Information Technology in Biomedicine 1(1): 44-54 (1997)
	1996
16		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
15		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
14		Jimmy Ho-Man Lee, Ho-fung Leung, Hon-Wing Won: Towards a More Efficient Stochastic Constraint Solver. CP 1996: 338-352
13		B. M. W. Cheng, Jimmy Ho-Man Lee, J. C. K. Wu: Speeding Up Constraint Propagation By Redundant Modeling. CP 1996: 91-103
12		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
11		J. H. M. Lee, P. K. C. Pun: An Overview of the OLI Multiparadigm Programming Language and Its Semantics. OOIS 1996: 79-
10		Jimmy Ho-Man Lee, Ho-fung Leung: Incremental querying in the concurrent CLP language IFD-Constraint Pandora. SAC 1996: 387-392
	1995
9		C. K. Chiu, J. H. M. Lee: Interval Linear Constraint Solving Using the Preconditioned Interval Gauss-Seidel Method. ICLP 1995: 17-31
	1994
8		J. H. M. Lee, T. W. Lee: A WAM-Based Abstract Machine for Interval Constraint Logic Programming. ICTAI 1994: 122-128
7		J. H. M. Lee, V. W. L. Tam: Towards the Integration of Artificial Neural Networks and Constraint Logic Programming. ICTAI 1994: 446-452
6		Jimmy Ho-Man Lee, Ho-fung Leung: IQ: towards incremental query processing in non-deterministic concurrent constraint logic programming. SAC 1994: 405-409
5		C. K. Chiu, Jimmy Ho-Man Lee: Towards Practical Interval Constraint Solving in Logic Programming. SLP 1994: 109-123
4		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
	1993
3		Jimmy Ho-Man Lee, Maarten H. van Emden: Interval Computation as Deduction in CHIP. J. Log. Program. 16(3): 255-276 (1993)
	1992
2		Jimmy Ho-Man Lee, Maarten H. van Emden: Adapting CLP to Floating-Point Arithmetic. FGCS 1992: 996-1003
	1988
1		Mantis H. M. Cheng, Maarten H. van Emden, Jimmy Ho-Man Lee: Tables as a User Interface for Logic Programs. FGCS 1988: 784-791

Coauthor Index

1	Stefano Bistarelli	[42] [45]
2	K. T. Chan	[20]
3	Kam Tong Chan	[74]
4	Kuan-Ta Chen	[75] [76]
5	Ling-Jyh Chen	[75] [76]
6	Weiqin Chen	[79]
7	B. M. W. Cheng	[12] [13] [17] [23]
8	Chi Kan Cheng	[44]
9	Kenil C. K. Cheng	[41]
10	Mantis H. M. Cheng	[1]
11	Kevin K. F. Cheung	[56] [59] [73]
12	C. K. Chiu	[5] [9] [15] [19] [33]
13	Chong-Kan Chiu	[32]
14	Chiu Wo Choi	[40] [43] [46] [47] [52] [63] [67] [71]
15	Kenneth M. F. Choi	[23] [25]
16	C. M. Chou	[15] [33]
17	H. W. Chun	[48]
18	Philippe Codognet	[42] [45]
19	Maarten H. van Emden	[1] [2] [3]
20	Hai Fang	[37] [54] [65]
21	Spencer K. L. Fung	[48] [51] [58]
22	Warwick Harvey	[47] [63]
23	Kin Chuen Hui	[42] [45]
24	S. K. Hui	[20]
25	Nicholas R. Jennings (Nick R. Jennings)	[38] [39]
26	Morris Siu Yung Jong	[55] [56] [57] [60] [69] [73] [78] [79]
27	R. W. L. Kam	[21]
28	Y. Kilani	[37] [54] [65]
29	Irwin King	[68] [74] [75] [76]
30	Huk-Yuen Law	[55] [60] [61]
31	Yat Chiu Law	[35] [36] [49] [50] [62] [66] [70] [72] [81]
32	Fong Lok Lee	[53] [55] [56] [57] [59] [60] [61] [69] [73] [78]
33	Fong-lok Lee	[79]
34	K. H. Lee	[20]
35	T. K. Lee	[20]
36	T. W. Lee	[8]
37	Philip Heng Wai Leong	[20]
38	Ho-fung Leung (Ho-Fung Leung)	[6] [10] [14] [15] [16] [22] [24] [26] [27] [28] [29] [30] [31] [33] [38] [39] [48] [51] [58]
39	J. C. K. Leung	[4]
40	Ka Lun Leung	[80]
41	Y. W. Leung	[15] [33]
42	Chien-Wei Lin	[75]
43	M. F. Lo	[20]
44	Eric T. H. Luk	[56] [59] [73]
45	Xudong Luo	[26] [27] [28] [29] [30] [31] [38] [39]
46	P. K. C. Pun	[11] [18]
47	Nigel Shadbolt (Nigel R. Shadbolt)	[39]
48	Junjie Shang	[53] [55] [56] [57] [60] [69] [73] [78]
49	C. F. K. Siu	[64] [77]
50	Barbara M. Smith	[66]
51	Peter J. Stuckey	[16] [25] [37] [40] [41] [43] [44] [46] [47] [54] [63] [65] [67]
52	V. W. L. Tam	[7] [16]
53	Alex W. C. Tse	[79]
54	Toby Walsh	[70]
55	Bo-Chun Wang	[76]
56	L. Wang	[61]
57	Wei Wei	[68] [74]
58	Hon-Wing Won	[14] [16] [22]
59	C. C. K. Wong	[4]
60	Marti K. H. Wong	[56] [59] [61] [73]
61	May H. C. Woo	[62] [72] [81]
62	J. C. K. Wu	[12] [13] [17] [23]
63	H. K. Yeung	[20]
64	Justin Yip (J. Y. K. Yip)	[70]
65	Lei Zhao	[34]
66	Denny J. Zheng	[48]
67	Yuxia Zhou	[79]

Colors in the list of coauthors