(Outdated) Publications

(Outdated) Publications

Submitted

C.K. Chiu, C.M. Chou, J.H.M. Lee, H.F. Leung, and Y.W Leung, A Constraint-Based Interactive Train Rescheduling Tool (25 pages), Department of Computer Science and Engineering, The Chinese University of Hong Kong, 1997 (submitted for publication to CONSTRAINTS)

J.H.M. Lee and H.F. Leung, An Execution Scheme for Interactive Problem-Solving in Concurrent Constraint Logic Programming Languages (28 pages), Department of Computer Science and Engineering, The Chinese University of Hong Kong, 1995 (submitted for publication to Computer Languages)

C.K. Chiu and J.H.M. Lee, Efficient Interval Linear Equality Solving in Constraint Logic Programming (45 pages), Department of Computer Science and Engineering, The Chinese University of Hong Kong, 1995 (submitted for publication to Reliable Computing)

1998

K.M.F. Choi and J.H.M. Lee, and P.J. Stuckey, A Lagrangian Reconstruction of a Class of Local Search Methods, 10th IEEE International Conference on Tools with Artificial Intelligence, pages 166-175, IEEE Press, Taipei, Taiwan, ROC, November, 1998

B.M.W. Cheng, K.M.F. Choi, J.H.M. Lee, and J.C.K. Wu, Increasing Constraint Propagation by Redundant Modeling: an Experience Report, (accepted) CONSTRAINTS, 1998

R.W.L. Kam and J.H.M. Lee, Fuzzifying the Constraint Hierarchies Framework, Fourth International Conference on Principles and Practices of Constraint Programming, pages 280-294, Springer-Verlag, LNCS 1520, Pisa, Italy, October, 1998

J.H.M. Lee, H.F. Leung, and H.W. Won, Performance of a Comprehensive and Efficient Constraint Library using Local Search, 11th Australian Joint Conference on Artificial Intelligence, pages 191--202, Springer-Verlag, LNAI 1502, Brisbane, Australia, July, 1998

C.K. Chiu and J.H.M. Lee,Extending HCLP with Partially Ordered Hierarchies and Composite Constraints, Journal of Experimental and Theoretical Artificial Intelligence, 10, pages 5-24, Taylor & Francis Ltd, 1998

1997

J.H.M. Lee and P.K.C. Pun, Object Logic Integration: a Multiparadigm Design Methodology and a Programming Language, Computer Languages, 23(1), pp. 25-42, 1997

B.M.W. Cheng, J.H.M. Lee, and J.C.K. Wu, A Nurse Rostering System Using Constraint Programming and Redundant Modeling, IEEE Transactions on Information Technology in Biomedicine, 1, pp. 44-54, 1997

1996

J.H.M. Lee and P.K.C. Pun, The OLI Multiparadigm Programming Language and Its Semantics, Third International Conference on Object-Oriented Information Systems, pages 79-92, Springer-Verlag, London, U.K., December, 1996

J.H.M. Lee, H.F. Leung, P.J. Stuckey, V.W.L. Tam, and H.W. Won, Using Stochastic Methods to Guide Search in CLP: a Preliminary Report, 1996 Asian Computing Science Conference, pages 43-52, Springer-Verlag, LNCS 1179, Singapore, December, 1996

B.M.W. Cheng, J.H.M. Lee, and J.C.K. Wu, A Constraint-Based Nurse Rostering System Using a Redundant Modeling Approach, Eighth IEEE International Conference on Tools with Artificial Intelligence, pages 140-148, IEEE Computer Society Press, Toulouse, France, November, 1996

B.M.W. Cheng, J.H.M. Lee, and J.C.K. Wu, Speeding Up Constraint Propagation By Redundant Modeling, Second International Conference on Principles and Practi ce of Constraint Programming, pages 91-103, Springer-Verlag, LNCS 1118, Cambridge, Massachusetts, USA, August, 1996

J.H.M. Lee, H.F. Leung and H.W. Won, Towards a More Efficient Stochastic Constraint Solver, Second International Conference on Principles and Practice of Constraint Programming, pages 338-352, Springer-Verlag, LNCS 1118, Cambridge, Massachusetts, USA, August, 1996

C.K. Chiu, C.M. Chou, J.H.M. Lee, H.F. Leung, and Y.W. Leung, A Constraint-Based Interactive Train Rescheduling Tool, Second International Conference on Principles and Practice of Constraint Programming, pages 104-118, Springer-Verlag, LNCS 1118, Cambridge, Massachusetts, USA, August, 1996

J.H.M. Lee and H.F. Leung, Incremental Querying in the Concurrent CLP Language IFD-Constraint Pandora, 1996 ACM Symposium on Applied Computing, pp.387-392, ACM Press,Philadelphia, Pennsylvania, USA, February, 1996

1995

J.H.M. Lee and P.K.C. Pun, Object Logic Integration: a Scheme for Multiparadigm Design and Programming, Eighteenth International Conference and Exhibition on Technology of Object-Oriented Languages and Systems, pp.265-278, Prentice Hall, Melbourne, Australia, November, 1995

J.H.M. Lee, H.F. Leung, and H.W. Won,Extending GENET for non-binary CSP's, Seventh IEEE International Conference on Tools with Artificial Intelligence, IEEE Computer Society Press, p.338-343, Washington D.C., USA, November, 1995

C.K. Chiu and J.H.M. Lee Interval Linear Constraint Solving Using the Pre-conditioned Interval Gauss-Seidel Method, Twelfth International Conference on Logic Programming, pp.17-32, MIT Press, Kanagawa, Japan, June, 1995

J.H.M. Lee V.W.L. Tam, A Framework for Integrating Artificial Neural Networks and Logic Programming, International Journal on Artificial Intelligence Tools, 4(1&2), pp.3-32, World Scientific, June, 1995

1994

J.H.M. Lee, J.C.K. Leung, and C.C.K. Wong, Construction of a WYSIWYG LaTeX Typesetting System using Object-oriented Design, First IFIP/SQI International Conference on Software Quality and Productivity: theory, practice, education and training, pp.135-138, Chapman & Hall, Hong Kong, December, 1994.

C.K. Chiu and J.H.M. Lee, Towards Practical Interval Constraint Solving in Logic Programming , Logic Programming: Proceedings of the 1994 International Symposium, pp.109-123, MIT Press, Ithaca, USA, November, 1994.

J.H.M. Lee and T.W. Lee, A WAM-Based Abstract Machine for Interval Constraint Logic Programming , Sixth IEEE International Conference on Tools with Artificial Intelligence, pp.122-128, IEEE Computer Society Press, New Orleans, USA, November, 1994.

J.H.M. Lee and V.W.L. Tam, Towards the Integration of Artificial Neural Networks and Constraint Logic Programming , Sixth IEEE International Conference on Tools with Artificial Intelligence, pp.446-453, IEEE Computer Society Press, New Orleans, USA, November, 1994.

J.H.M. Lee, A Fault Simulator in Prolog: a Software Re-engineering Experience;, The 7th Exhibition and Symposium on Industrial Applications of Prolog, pp.51-58, INAP Press, Kawasaki, Japan, October, 1994.

J.H.M. Lee and H.F. Leung, IQ: Towards Incremental Query Processing in Non-Deterministic Concurrent Constraint Logic Programming, 1994 ACM Symposium on Applied Computing, pp.405-409, ACM Press, Phoenix, USA, March, 1994

Before 1994

J.H.M. Lee and M.H. van Emden, Interval Computation as Deduction in CHIP, Journal of Logic Programming, 16(3&4), pp.255-276, North-Holland, May, 1993

J.H.M. Lee and M.H. van Emden, Pruning Search Trees by Cylindrical Closures, IEEE Pacific Rim Conference on Communications, Computers and Signal Processing, pp.751-756, IEEE Computer Society Press, Victoria, Canada, May, 1993.

J.H.M. Lee and M.H. van Emden, Adapting CLP(R) to Floating-Point Arithmetic, International Conference on Fifth Generation Computer Systems 1992, Tokyo, Japan, pp.996-1003, June, 1992

M.H.M. Cheng, M.H. van Emden, and J.H.M. Lee, Tables as a User Interface for Logic Programs, International Conference on Fifth Generation Computer Systems 1988, Tokyo, Japan, pp.784-791, November, 1988