Jimmy Ho-Man Lee

Orcid: 0000-0001-9526-5850

Affiliations:
  • Chinese University of Hong Kong, Hong Kong


According to our database1, Jimmy Ho-Man Lee authored at least 136 papers between 1988 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Automatic generation of dominance breaking nogoods for a class of constraint optimization problems.
Artif. Intell., October, 2023

Exploiting Functional Constraints in Automatic Dominance Breaking for Constraint Optimization.
J. Artif. Intell. Res., 2023

Two-Stage Predict+Optimize for Mixed Integer Linear Programs with Unknown Parameters in Constraints.
CoRR, 2023

Two-Stage Predict+Optimize for MILPs with Unknown Parameters in Constraints.
Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

Branch & Learn with Post-hoc Correction for Predict+Optimize with Unknown Parameters in Constraints.
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2023

A Tale of Two Cities: Teaching CP with Story-Telling (Invited Talk).
Proceedings of the 29th International Conference on Principles and Practice of Constraint Programming, 2023

Finding Good Partial Assignments during Restart-Based Branch and Bound Search.
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

Predict+Optimize for Packing and Covering LPs with Unknown Parameters in Constraints.
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022
iExam: A Novel Online Exam Monitoring and Analysis System Based on Face Detection and Recognition.
CoRR, 2022

Branch & Learn for Recursively and Iteratively Solvable Problems in Predict+Optimize.
Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

2021
From MOOC to SPOC: Fable-Based Learning.
Proceedings of the Blended Learning: Re-thinking and Re-defining the Learning Process., 2021

Towards More Practical and Efficient Automatic Dominance Breaking.
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020
Automatic Dominance Breaking for a Class of Constraint Optimization Problems.
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Teaching Constraint Programming Using Fable-Based Learning.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2018
Augmenting Stream Constraint Programming with Eventuality Conditions.
Proceedings of the Principles and Practice of Constraint Programming, 2018

2017
Towards breaking more composition symmetries in partial symmetry breaking.
Artif. Intell., 2017

Iterative AWC for Distributed SAT.
Proceedings of the Recent Advances in Artificial Intelligence Research and Development, 2017

2016
Tractability-preserving transformations of global cost functions.
Artif. Intell., 2016

Static Symmetry Breaking with the Reflex Ordering.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Breaking More Composition Symmetries Using Search Heuristics.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

Increasing Nogoods in Restart-Based Search.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015
Tractability and Decompositions of Global Cost Functions.
CoRR, 2015

Adding laziness in BnB-ADOPT+.
Constraints An Int. J., 2015

Ultra-weak solutions and consistency enforcement in minimax weighted constraint satisfaction.
Constraints An Int. J., 2015

Filtering Nogoods Lazily in Dynamic Symmetry Breaking During Search.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

2014
Consistency techniques for polytime linear global cost functions in weighted constraint satisfaction.
Constraints An Int. J., 2014

An Increasing-Nogoods Global Constraint for Symmetry Breaking During Search.
Proceedings of the Principles and Practice of Constraint Programming, 2014

Towards Practical Infinite Stream Constraint Programming: Applications and Implementation.
Proceedings of the Principles and Practice of Constraint Programming, 2014

Solving a Judge Assignment Problem Using Conjunctions of Global Cost Functions.
Proceedings of the Principles and Practice of Constraint Programming, 2014

Removing redundant conflict value assignments in resolvent based nogood learning.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

Boosting SBDS for Partial Symmetry Breaking in Constraint Programming.
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013
Multiset variable representations and constraint propagation.
Constraints An Int. J., 2013

A General Privacy Loss Aggregation Framework for Distributed Constraint Reasoning.
Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013

Maintaining Soft Arc Consistencies in BnB-ADOPT + during Search.
Proceedings of the Principles and Practice of Constraint Programming, 2013

2012
Consistency Techniques for Flow-Based Projection-Safe Global Cost Functions in Weighted Constraint Satisfaction.
J. Artif. Intell. Res., 2012

A Value Ordering Heuristic for Solving Ultra-Weak Solutions in Minimax Weighted CSPs.
Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012

Propagating Polynomially (Integral) Linear Projection-Safe Global Cost Functions in WCSPs.
Proceedings of the IEEE 24th International Conference on Tools with Artificial Intelligence, 2012

Increasing Symmetry Breaking by Preserving Target Symmetries.
Proceedings of the Principles and Practice of Constraint Programming, 2012

Consistencies for Ultra-Weak Solutions in Minimax Weighted CSPs Using the Duality Principle.
Proceedings of the Principles and Practice of Constraint Programming, 2012

Polynomially Decomposable Global Cost Functions in Weighted Constraint Satisfaction.
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

2011
Constraint Programming on Infinite Data Streams.
Proceedings of the IJCAI 2011, 2011

Modeling Soft Global Constraints as Linear Programs in Weighted Constraint Satisfaction.
Proceedings of the IEEE 23rd International Conference on Tools with Artificial Intelligence, 2011

Weighted Constraint Satisfaction Problems with Min-Max Quantifiers.
Proceedings of the IEEE 23rd International Conference on Tools with Artificial Intelligence, 2011

A Case Study of an Academic Achievement-oriented Student in Game-based Learning.
Proceedings of the ICALT 2011, 2011

A Comparison of Lex Bounds for Multiset Variables in Constraint Programming.
Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2010
An Evaluative Study on VISOLE - Virtual Interactive Student-Oriented Learning Environment.
IEEE Trans. Learn. Technol., 2010

Using Posting Templates for Enhancing Students' Argumentative Elaborations in Computer-Supported Collaborative Inquiry Learning.
Res. Pract. Technol. Enhanc. Learn., 2010

Redundant modeling in permutation weighted constraint satisfaction problems.
Constraints An Int. J., 2010

A Case Study of a Non-gamer Student's Learning Process in VISOLE.
Proceedings of the 2010 Third IEEE International Conference on Digital Game and Intelligent Toy Enhanced Learning, 2010

A Stronger Consistency for Soft Global Constraints in Weighted Constraint Satisfaction.
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2009
Solving finite domain constraint hierarchies by local consistency and tree search.
J. Exp. Theor. Artif. Intell., 2009

Towards Efficient Consistency Enforcement for Global Constraints in Weighted Constraint Satisfaction.
Proceedings of the IJCAI 2009, 2009

Variety Reasoning for Multiset Constraint Propagation.
Proceedings of the IJCAI 2009, 2009

2008
FARMTASIA: an online game-based learning environment based on the VISOLE pedagogy.
Virtual Real., 2008

Harnessing Computer Games in Education.
Int. J. Web Based Learn. Teach. Technol., 2008

RATE: A Review of Reviewers in a Manuscript Review Process.
Proceedings of the 2008 IEEE / WIC / ACM International Conference on Web Intelligence, 2008

An Analytical Approach to Optimizing the Utility of ESP Games.
Proceedings of the 2008 IEEE / WIC / ACM International Conference on Web Intelligence, 2008

An Analytical Study of Puzzle Selection Strategies for the ESP Game.
Proceedings of the 2008 IEEE / WIC / ACM International Conference on Web Intelligence, 2008

Stronger Consistencies in WCSPs with Set Variables.
Proceedings of the 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2008), 2008

VISOLE: An Example of Hybrid Learning.
Proceedings of the Hybrid Learning and Education, First International Conference, 2008

Using Posting Templates for Enhancing Students' Argumentative Elaborations in Learning Villages.
Proceedings of the 2nd IEEE International Conference on Digital Game and Intelligent Toy Enhanced Learning, 2008

2007
Removing propagation redundant constraints in redundant modeling.
ACM Trans. Comput. Log., 2007

The island confinement method for reducing search space in local search methods.
J. Heuristics, 2007

Automatic Generation of Redundant Models for Permutation Constraint Satisfaction Problems.
Constraints An Int. J., 2007

Measuring credibility of users in an e-learning environment.
Proceedings of the 16th International Conference on World Wide Web, 2007

Bibliographic Attributes Extraction with Layer-upon-Layer Tagging.
Proceedings of the 9th International Conference on Document Analysis and Recognition (ICDAR 2007), 2007

A Pilot Study on Virtual Interactive Student-Oriented Learning Environment.
Proceedings of the DIGITEL 2007, 2007

Breaking Symmetry of Interchangeable Variables and Values.
Proceedings of the Principles and Practice of Constraint Programming, 2007

Solving the Salinity Control Problem in a Potable Water System.
Proceedings of the Principles and Practice of Constraint Programming, 2007

A Parameterized Local Consistency for Redundant Modeling in Weighted CSPs.
Proceedings of the AI 2007: Advances in Artificial Intelligence, 2007

2006
Islands for SAT
CoRR, 2006

Symmetry Breaking Constraints for Value Symmetries in Constraint Satisfaction.
Constraints An Int. J., 2006

Using the "Record-Replay" Function for Elaboration of Knowledge in Educational Games.
Proceedings of the Learning by Effective Utilization of Technologies: Facilitating Intercultural Understanding, 2006

An Exploratory Study on Teachers' Perceptions of Game-based Situated Learning.
Proceedings of the Learning by Effective Utilization of Technologies: Facilitating Intercultural Understanding, 2006

VISOLE: A New Game-based Situated Learning Paradigm.
Proceedings of the 6th IEEE International Conference on Advanced Learning Technologies, 2006

Incorporating Simplex Method into Guided Complete Search: An Application to the Nurse Rostering Problem.
Proceedings of the Nineteenth International Florida Artificial Intelligence Research Society Conference, 2006

Design and Implementation of Farmtasia: A Game Designed for the VISOLE Teaching Style.
Proceedings of the Technologies for E-Learning and Digital Entertainment, 2006

Exploring the Fourth Dimension: The Design of a Multimedia Learning System for Generalization.
Proceedings of the Technologies for E-Learning and Digital Entertainment, 2006

Learning Online: A Comparative Study of a Situated Game-Based Approach and a Traditional Web-Based Approach.
Proceedings of the Technologies for E-Learning and Digital Entertainment, 2006

Speeding Up Weighted Constraint Satisfaction Using Redundant Modeling.
Proceedings of the AI 2006: Advances in Artificial Intelligence, 2006

Finite Domain Bounds Consistency Revisited.
Proceedings of the AI 2006: Advances in Artificial Intelligence, 2006

Weighted Constraint Satisfaction with Set Variables.
Proceedings of the Proceedings, 2006

2005
Breaking value symmetries in matrix models using channeling constraints.
Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), 2005

Guided Complete Search for Nurse Rostering Problem.
Proceedings of the 17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2005), 2005

Controlling Salinity in a Potable Water Supply System Using a Constraint Programming Approach.
Proceedings of the 17th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2005), 2005

Design Strategies and Principles in VISOLE.
Proceedings of the Towards Sustainable and Scalable Educational Innovations Informed by the Learning Sciences, 2005

2004
A Framework for Guided Complete Search for Solving Constraint Satisfaction Problems and Some of Its Instances.
Proceedings of the 16th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2004), 2004

Global Constraints for Integer and Set Value Precedence.
Proceedings of the Principles and Practice of Constraint Programming, 2004

2003
Prioritised fuzzy constraint satisfaction problems: axioms, instantiation and validation.
Fuzzy Sets Syst., 2003

A fuzzy constraint based model for bilateral, multi-issue negotiations in semi-competitive environments.
Artif. Intell., 2003

Propagation Redundancy for Permutation Channels.
Proceedings of the IJCAI-03, 2003

Efficient Representation of Adhoc Constraints.
Proceedings of the IJCAI-03, 2003

Propagation Redundancy in Redundant Modelling.
Proceedings of the Principles and Practice of Constraint Programming, 2003

Box Constraint Collections for Adhoc Constraints.
Proceedings of the Principles and Practice of Constraint Programming, 2003

Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search.
Proceedings of the Principles and Practice of Constraint Programming, 2003

2002
Efficient Interval Linear Equality Solving in Constraint Logic Programming.
Reliab. Comput., 2002

A Constraint-Based Interactive Train Rescheduling Tool.
Constraints An Int. J., 2002

A Real-Time Agent Architecture: Design, Implementation and Evaluation.
Proceedings of the Intelligent Agents and Multi-Agent Systems, 2002

Algebraic Properties of CSP Model Operators.
Proceedings of the Principles and Practice of Constraint Programming, 2002

Model Induction: A New Source of CSP Model Redundancy.
Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence, July 28, 2002

Reducing Search Space in Local Search for Constraint Satisfaction.
Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence, July 28, 2002

2001
Weighted/Prioritised Compensatory Aggregation.
Proceedings of the 10th IEEE International Conference on Fuzzy Systems, 2001

A Spectrum of Compensation Aggregation Operators.
Proceedings of the 10th IEEE International Conference on Fuzzy Systems, 2001

Weighted/prioritized compensatory aggregation.
Proceedings of the 2nd International Conference in Fuzzy Logic and Technology, 2001

2000
A Lagrangian reconstruction of GENET.
Artif. Intell., 2000

A New Axiomatic Framework for Prioritized Fuzzy Constraint Satisfaction Problems.
Proceedings of the PRICAI 2000, Topics in Artificial Intelligence, 6th Pacific Rim International Conference on Artificial Intelligence, Melbourne, Australia, August 28, 2000

A Multi-Agent Framework for Meeting Scheduling Using Fuzzy Constraints.
Proceedings of the 4th International Conference on Multi-Agent Systems, 2000

Theory and Properties of a Selfish Protocol for Multi-Agent Meeting Scheduling Using Fuzzy Constraints.
Proceedings of the ECAI 2000, 2000

Collaborating Agents of Heterogenous Valued Constraint Satisfaction Problems.
Proceedings of the ISCA 9th International Conference on Intelligent Systems, 2000

1999
Increasing Constraint Propagation by Redundant Modeling: an Experience Report.
Constraints An Int. J., 1999

An execution scheme for interactive problem-solving in concurrent constraint logic programming languages.
Comput. Lang., 1999

1998
Extending HCLP with partially ordered hierarchies and composite constraints.
J. Exp. Theor. Artif. Intell., 1998

A Lagrangian reconstruction of a class of local search methods.
Proceedings of the Tenth IEEE International Conference on Tools with Artificial Intelligence, 1998

An FPGA Implementation of GENET for Solving Graph Coloring Problems .
Proceedings of the 6th IEEE Symposium on Field-Programmable Custom Computing Machines (FCCM '98), 1998

Fuzzifying the Constraint Hierarchies Framework.
Proceedings of the Principles and Practice of Constraint Programming, 1998

Performance of a Comprehensive and Efficient Constraint Library Based on Local Search.
Proceedings of the Advanced Topics in Artificial Intelligence, 1998

1997
A nurse rostering system using constraint programming and redundant modeling.
IEEE Trans. Inf. Technol. Biomed., 1997

Object Logic Integration: A Multiparadigm Design Methodology and a Programming Language.
Comput. Lang., 1997

1996
Incremental querying in the concurrent CLP language IFD-Constraint Pandora.
Proceedings of the 1996 ACM Symposium on Applied Computing, 1996

An Overview of the OLI Multiparadigm Programming Language and Its Semantics.
Proceedings of the 1996 International Conference on Object Oriented Information Systems, 1996

A Constraint-based Nurse Rostering System Using a Redundant Modeling Approach.
Proceedings of the Eigth International Conference on Tools with Artificial Intelligence, 1996

Towards a More Efficient Stochastic Constraint Solver.
Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, 1996

Speeding Up Constraint Propagation By Redundant Modeling.
Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, 1996

Using Stochastic Methods to Guide Search in CLP: A Preliminary Report.
Proceedings of the Concurrency and Parallelism, 1996

1995
A Framework for Integrating Artificial Neural Networks and Logic Programming.
Int. J. Artif. Intell. Tools, 1995

Extending GENET for non-binary CSP's.
Proceedings of the Seventh International Conference on Tools with Artificial Intelligence, 1995

Interval Linear Constraint Solving Using the Preconditioned Interval Gauss-Seidel Method.
Proceedings of the Logic Programming, 1995

1994
Towards Practical Interval Constraint Solving in Logic Programming.
Proceedings of the Logic Programming, 1994

IQ: towards incremental query processing in non-deterministic concurrent constraint logic programming.
Proceedings of the 1994 ACM Symposium on Applied Computing, 1994

Towards the Integration of Artificial Neural Networks and Constraint Logic Programming.
Proceedings of the Sixth International Conference on Tools with Artificial Intelligence, 1994

A WAM-Based Abstract Machine for Interval Constraint Logic Programming.
Proceedings of the Sixth International Conference on Tools with Artificial Intelligence, 1994

Construction of a WYSIWYG LaTeX Typesetting System Using Object-oriented Design.
Proceedings of the Software Quality and Productivity: Theory, 1994

1993
Interval Computation as Deduction in CHIP.
J. Log. Program., 1993

1992
Numerical computation as deduction in constraint logic programming.
PhD thesis, 1992

Adapting CLP to Floating-Point Arithmetic.
Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

1988
Tables as a User Interface for Logic Programs.
Proceedings of the International Conference on Fifth Generation Computer Systems, 1988


  Loading...