Publications

PhD Thesis:

    Formalising Aspects of Theoretical Term Usage - 1998

Conferences:

  1. Thomas Meyer, Rex Kwok, Norman Foo, and Dongmo Zhang. Logical Foundations of Negotiation: Outcome, Concession and Adaptation, Proceedings of the Nineteenth National Conference on Artificial Intelligence (AAAI2004), San Jose, California, U.S.A, July 2004.
  2. Dongmo Zhang, Norman Foo, Thomas Meyer and Rex Kwok, Negotiation as Mutual Belief Revision, Proceedings of the Nineteenth National Conference on Artificial Intelligence (AAAI2004), San Jose, California, U.S.A, July 2004.
  3. Thomas Meyer, Rex Kwok, Norman Foo, and Dongmo Zhang. Logical Foundations of Negotiation: Strategies and Preferences, Proceedings of the Ninth International Conference on the Principles of Knowledge Representation and Reasoning (KR2004), pp 311-318, Whistler, Canada, June 2004.
  4. Kwok, R., Foo, N., and Nayak, A. Coherence of Laws. A poster in Gottlob, G. and Walsh, T. (Eds.), Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence (IJCAI'03) pp. 1401--1402, Acapulco, Mexico, August 2003.
  5.  Kwok, R., Using Ripple Down Rules for Actions and Planning. A poster in Ishizuka, M. and Sattar, A. (Eds.), Proceedings of the Seventh Pacific Rim International Conference on Artificial Intelligence (PRICAI'02), p. 604, Tokyo, Japan, August 2002.
  6. Hoffmann, A., Kwok R., and Compton, P., Simulations for Comparing Knowledge Acquisition and Machine Learning, In Stumptner, M., Corbett, D., and Brooks, M. (Eds.), Proceedings of the Fourteenth Australian Joint Conference onArtificial Intelligence (AI 2001),pp. 273--284, Adelaide, Australia, December 2001.
  7. Kwok, R., and Hoffman A., and Compton, P., Using Subclasses to Improve Classification Learning, In de Raedt, L. and Flach, P. (Eds.), Proceedings of the Twelfth European Conference on Machine Learning (ECML 2001), pp. 203--213, Freiburg, Germany, September 2001.
  8. Kwok, R., Nayak, A., and Foo, N., Using Actions as Diagnostic Tools, In Proceedings of the International Conference on Information Technology (CIT-2000), India, December 2000.
  9. Kwok, R., Translations of Ripple Down Rules into Logic Formalisms, In Dieng, R. and Corby O. (Eds.), Proceedings of the Twelfth International Conference on Knowledge Acquisition, Modelling and Management (EKAW 2000), pp. 366--379, Juan--les--Pins, France, October 2000.
  10. Kwok, R., Nayak, A., and Foo, N., Coherence Measure based on Average Use of Formulas, In Lee, H-Y. and Motoda, H. (Eds.), Proceedings of the Fifth Pacific Rim International Conference on Artificial Intelligence (PRICAI'98), pp. 553--564, Singapore, November 1998.
  11. Kwok, R., Nayak, A. and Foo, N., A Notion of Correctness with Theories Containing Theoretical Terms, In Sattar, A. (Ed.), Proceedings of the Tenth Australian Joint Conference on Artificial Intelligence (AI'97), pp. 211--218, Perth, Australia, November/December 1997.
  12. Peppas, P., Nayak, A. C., and Pagnucco, M., Foo, N. Y., Kwok R., and Prokopenko, M., Revision vs. Update: Taking a Closer Look, In Wahlster, W. (Ed.), Proceedings of the Twelfth European Conference on Artificial Intelligence (ECAI'96), Budapest, Hungary, pp. 95 -- 99, August 1996.
  13. Kwok R., Creating Theoretical Terms for Non-deterministic Actions Proceedings of the Fourth Pacific Rim International, In Foo, N. and Goebel, R. (Eds.), Conference on Artificial Intelligence (PRICAI'96), Cairns, Australia, pp. 510 -- 521, August 1996.
  14. Kwok, R., Concordance of Theoretical Terms, In Yao, X. (Ed.), Proceedings of the Eighth Australian Joint Conference on Artificial Intelligence (AI'95), pp. 211-218, Canberra, Australia, November 1995.
  15. Nayak, A. C., Pagnucco, M., Foo, N. Y. and Kwok, R., Entrenchment and Retractability: A Preliminary Report, In Yao, X. (Ed.), Proceedings of the Eighth Australian Joint Conference on Artificial Intelligence (AI'95), pp. 219--226, Canberra, Australia, November 1995.

Workshops:

  1. Zhang, D., Foo, N., Meyer, T., and Kwok, R., Negotiation as Mutual Belief Revision, Brewka, G. and Peppas, P. (Eds.), Proceedings of the IJCAI-03 Workshop on Nonmonotonic Reasoning, Action, and Change (NRAC'03), pp. 144--150, Acapulco, Mexico, August 2003.
  2. Beydoun, G., Kwok, R., and Hoffmann, A., Towards order Independent Incremental KA, In Compton, P., Hoffmann, A., Motoda, H., and Yamaguchi, T.  (Eds.), Proceedings of the Sixth Pacific Knowledge Acquisition Workshop (PKAW 2000), pp. 1--16, Sydney, Australia, December 2000.
  3. Kwok, R., Nayak, A., and Foo, N., Diagnosis from Action Results, In Proceedings of the Third Australian Commonsense Reasoning Workshop, pp. 50--64, Sydney, Australia, December 1999.