PERSONAL PARTICULARS

CAREER

• Head of Programs (April 2006 - now), Senior Lecturer (September 2004-now), lecturer (December 2001 - September 2004), Intelligent Systems Laboratory, School of Computing and Mathematics, University of Western Sydney, Australia.
• Visiting professor (17 Jun 2009 - 12 Jul 2009),University of Toulouse 1 Social Science, France.
• Visiting professor (18 Sep 2007 - 17 Nov 2009), Department of Computer Science, Stanford, USA.
(Homepage)
• Visiting professor (21 Aug 2007 - 17 Sep 2007), Department of Artificial Intelligence, Vrije Universiteit, The Netherlands.
• Adjunct lecturer (March 2002 - March 2005), Research fellow (November 1998 - December 2001), Artificial Intelligence Laboratory, School of Computer Science and Engineering ,  University of New South Wales, Australia.
• Professor (June 2000 - December 2001), Associate Professor (June 1996 - June 2000), Lecturer (March 1993 - June 1996), Department of Computer Science and Engineering,  Nanjing University of Aeronautics and Astronautics, China.
• Guest Professor (January 2003), Artificial Intelligence Institute, Faculty of Computer Science, Dresden University of Technology, Germany.
• Postdoctoral fellow (September 1996 - August 1998), Department of Computer Science and Technology, Nanjing University, Chian.
• Teaching fellow (January 1981-July 1985, June 1987 - September 1990), Nantong Vocational College, China.

EDUCATION

• Received a Doctoral degree in Engineering specilising in Intelligent Systems and Robotics in June 1996 from Nanjing University of Aeronautics and Astronautics with the thesis: "Generalization of Belief Revision and its Application".
• Received a Master by Research degree in Computer Applications in December 1992 from Nanjing University of Aeronautics and Astronautics with the thesis: "Theories and implementation of Theorem Prover for Medium Logic".
• Received a Bachelor degree in Mathematics in June 1987 from Jiangsu Educational Institute, China.
• Received a two-years diploma in Mathematics in January 1981 from Nanjing Normal University, China.

RESEARCH INTERESTS

  automated negotiation, trading agent design, reasoning about actions, belief revision, nonmonotonic reasoning, intelligent agents, cognitive robotics, mathematical logic, automated reasoning.

ACADEMIC ACTIVITIES:

• Tutorial: Game Theory in AI and MAS at the 11th Pacific Rim International Conference on Artificial Intelligence (PRICAI-10)
• Member of Program Committee for the Twenty-Fourth AAAI Conference on Artificial Intelligence (AAAI 2010)
• Member of Program Committee for the Nineteenth European Conference on Artificial Intelligence (ECAI 2010)
• Member of Program Committee for the 2010 Workshop on Trading Agent Design and Analysis (TADA-10)
• Member of Program Committee for the 12th International Workshop on Agent-Mediated Electronic Commerce (AMEC XII)
• Member of Program Committee for Actions and Belief Change subtrack of the Fourteenth International Workshop on Non-Monotonic Reasoning (NMR 2010)
• Member of Program Committee for the Eleventh International Conference on Electronic Commerce and Web Technologies (EC-Web 2010)
• Member of Program Committee for the Twenty-first International Joint Conference on Artificial Intelligence (IJCAI-09)
• Member of Program Committee for the 2009 Workshop on Trading Agent Design and Analysis (TADA-09).
• Member of Program Committee for the Twenty-Third AAAI Conference on Artificial Intelligence (AAAI-08)
• Co-Chair of Actions and Belief Change subtrack of the Twelfth International Workshop on Non-Monotonic Reasoning (NMR 2008)
• Member of Program Committee for the 2008 Workshop on Trading Agent Design and Analysis (TADA-08).
• Member of Program Committee for the Twenty-First Australian Joint Conference on Artificial Intelligence (AI-08).
• Member of Program Committee for the Tenth Pacific Rim International Conference on Artificial Intelligence (PRICAI-08)
• Member of Program Committee for the 11th Pacific Rim International Conference on Multi-Agents (PRIMA-08)
• Publicity Chair for Second International Conference on Knowledge Science, Engineering and Management (KSEM'2007).
• Member of Program Committee for the Twentieth Australian Joint Conference on Artificial Intelligence (AI-07).
• Member of Program Committee for the 2007 Workshop on Trading Agent Design and Analysis (TADA-07).
• Member of Program Committee for the 2006 Workshop on Trading Agent Design and Analysis (TADA-06).
• Member of Program Committee for the 2005 Workshop on Trading Agent Design and Analysis (TADA-05).
• Member of Program Committee for the 2004 International Workshop on Non-Monotonic Reasoning (NMR04).
• Member of Program Committee for the 2002 International Workshop on Belief Change and Merging: Theory and Practice.
• Member of Program Committee for the 2000 International Workshop on Belief Change.

JACKAROO TRADING AGENT TEAM:

      jackaroo is a trading agent team led by Dr Dongmo Zhang. The team has been participating in the annual Trading Agent Competition (TAC) since 2003.
     
     Team members:
         2009: Dongmo Zhang and Laurent Perrussel (team leaders), Masabumi Furuhata, Dengji Zhao, Md Khan (the team was located at University of Toulouse during the competition period)
         2008: Dongmo Zhang (team leader), Laurent Perrussel (guest member from University of Toulouse 1), Masabumi Furuhata, Md Khan, Ho Yuon Kim (casul)
         2007: Dongmo Zhang (team leader), Masabumi Furuhata, Md Khan
         2006: Dongmo Zhang (team leader), Masabumi Furuhata, Almir Kadric
         2005: Dongmo Zhang (team leader), Chiao-Ming Liang, Ho Yuon Kim, Ping Zou
         2004: Dongmo Zhang (team leader), Kanghua Zhao, Chiao-Ming Liang, Ho Yuon Kim, Gonelur Begum
         2003: Dongmo Zhang (team leader), Chiao-Ming Liang, Tze-Hau Huang, Gonelur  Begum
    
     Achievements of jackaroo team:
         2009:   The champion of 2009 Trading Agent Competition Market Design Game ( CAT Tournament 2009).
         2008:   3rd place at TAC-08: Market Design Game (i.e., CAT Tournament 2008).
         2007:   one of six finalists at TAC-07: Market Design Game (i.e., CAT Tournament 2007).
         2006:   one of twelve semi-finalists at TAC-06: Supply Chain Management Game.
         2005:   2nd in TAC SCM qualifying round, discontinued due to attending IJCAI-05 and AAMAS-05.
         2004:  1st  place in TAC SCM qualifying round,  5th place in seeding round,  1st place in quater-final group, 5th place in semi-final group.
         2003:  3rd place in TAC SCM qualifying round,  4th place in seeding round, didn't complete the final rounds due to networking problem at the conference venue.

PUBLICATIONS

    2009

• Dongmo Zhang, Axiomatic characterization of task oriented negotiation, Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI-09), 367-372, 2009.
• Michael Thielscher and Dongmo Zhang, A formal market specification language for general trading agents, IJCAI-09 Workshop: Trading Agent Design and Analysis (TADA-09), 2009.
• Masabumi Furuhata, Laurent Perrussel, Jean-Marc Thevenin and Dongmo Zhang, Experimental Market Mechanism Design for Double Auction, AI2009: Advances in Artificial Intelligence (Proceedings of 22nd Australasian Joint Conference on Artificial Intelligence), 1-10, 2009.

    2008

• Dongmo Zhang and Yan Zhang, An ordinal bargaining solution with fixed-point properties, Journal of Artificial Intelligence Research, Volume 33, pages 433-464, 2008 (extension of AAAI-06 and AI-08 papers).
• Masabumi Furuhata, Dongmo Zhang and Laurent Perrussel, Online market coordination, Proceedings of the 11th Pacific Rim International Conference on Multi-Agents (PRIMA-08), LNAI 5357, 185-196, 2008.
• Dongmo Zhang, A Fixed-point property of logic-based bargaining solution, in W. Wobcke and M. Zhang (Eds.), AI 2008, Springer, LNAI 5360, 30-41, 2008.
• Masabumi Furuhata, Laurent Perrussel, Dongmo Zhang, Mechanism design for capacity allocation with price competition, Proceedings of the 10th International Conference on Electronic Commerce (ICEC 2008), 43: 1-10, 2008.

    2007

• Dongmo Zhang, Reasoning about bargaining situations, Proceedings of the 22nd AAAI Conference on Artificial Intelligence (AAAI-07), 154-159, 2007.
• Yi Jin, Michael Thielscher and Dongmo Zhang, Mutual belief revision: semantics and computation, Proceedings of the 22nd AAAI Conference on Artificial Intelligence (AAAI-07), 440-445, 2007.

    2006

• Dongmo Zhang and Yan Zhang, A computational model of logic-based negotiation, Proceedings of the 21st National Conference on Artificial Intelligence (AAAI-06) , 728-733, 2006.
• Masabumi Furuhata and Dongmo Zhang, Capacity allocation with competitive retailers, Proceedings of the Eighth International Conference on Electronic Commerce (ICEC-06), 31-37, 2006.
• Dongmo Zhang and Yan Zhang, Logical Properties of Belief-Revision-Based Bargaining Solution, Proceedings of the 19th Australian Joint Conference on Artificial Intelligence(AI-06), 79-89, 2006.

    2005

• Dongmo Zhang, A logical model for Nash bargaining solution, in Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence (IJCAI-05) ,983-988, 2005.
• Dongmo Zhang, Negotiation mechanism for TAC SCM component market, in Proceedings of the 4th International Conference on Autonomous Agent and Multiagent Systems(AAMAS-05), 288-295, 2005.
• Dongmo Zhang and Norman Foo, Frame problem in dynamic logic, Journal of Applied Non-Classical Logics, (15)2, 215-239, 2005 (extension of LPNMR'01 paper).
• Norman Foo, Thomas Meyer, Yan Zhang, and Dongmo Zhang, Negotiating logic programs, in Proceedings of the Sixth Workshop on Nonmonotonic Reasoning, Action, and Change(NRAC-05), IJCAI-05, 39-44, 2005.

    2004

• Dongmo Zhang, Norman Foo, Thomas Meyer and Rex Kwok, Negotiation as mutual belief revision, in Proceedings of the 19th National Conference on Artificial Intelligence (AAAI-04), 317-322, 2004.
• Thomas Meyer, Norman Foo, Rex Kwok and Dongmo Zhang, Logical foundations of negotiation: outcome, concession and adaptation, in Proceedings of the 19th National Conference on Artificial Intelligence (AAAI-04), 293-298, 2004.
• Thomas Meyer, Norman Foo, Rex Kwok and Dongmo Zhang,  Logical foundations of negotiation: strategies and preferences, in Proceedings of the 9th International Conference on the Principles of Knowledge Representation and Reasoing(KR'04), 311-318, 2004.
• Dongmo Zhang, Kanghua Zhao, Chiao-Ming Liang, Golenur Begum, and Tze-Haw Huang, Strategic trading agents via market modelling, ACM SIGecom Exchange, 4(3), 46-55, 2004.
• Dongmo Zhang, Properties of Iterated Belief Revision, in Proceeding of  7th International Conference on Logic Programming and Nonmonotonic Reasoning(LPNMR-2004), Springer, 314-325, 2004.
• Dongmo Zhang and Kanghua Zhao, Economic model of TAC SCM game, in Proceedings of 2004 IEEE/WIC/ACM International Conference on Intelligent Agent Technology(IAT2004), 273-280, 2004.

    2003

• Dongmo Zhang and Norman Foo, Axiomatic analysis of negotiation protocols, In Proceeding of 15th Australian Joint Conference on Artificial Intelligence, Springer,377-389, 2003.
• Dongmo Zhang, Norman Foo, Thomas Meyer and Rex Kwok, Negotiation as mutual belief revision, in: Proceedings of the 5th Workshop on Nonmonotonic Reasoning, Action, and Change(NRAC'03), IJCAI-03, 144-150, 2003.

    2002

• Dongmo Zhang, Samir Chopra, and Norman Foo, Consistency of action descriptions. in PRICAI2002: Topics in Artificial Intelligence,  Springer, 70-79, 2002.
• Dongmo Zhang and Norman Foo, Interpolation properties of action logic: lazy-formalization to the frame problem, in S. Flesca, S. Greco, N. Leone and G. Ianni eds., Logics in Artificial Intelligence(JELIA 2002),  Springer LNAI  2424, 357-368, 357-368, 2002.
• Dongmo Zhang and Norman Foo, Convergency of Learning Process, in Advanced Topics in Artificial Intelligence (AI'02), Springer, 547-556, 2002.
• Norman Foo and Dongmo Zhang, Dealing with the ramification problem in the extended propositional dynamic logic. in F. Wolter, H. Wansing, M. de Rijke, and M. Zakharyaschev eds, Advances in Modal Logic: Volume 3, World Scientific, 173-191, 2002.
• Dongmo Zhang and Sai Kiran Lakkaraju, On Natural Deductive Systems for Nonmonotonic Reasoning, in Proceedings of 2002 International Conference on Intelligent Information Technology, Posts & Telecommunications Publishing House, China, 519-525, 2002.  

    2001

• Dongmo Zhang and Norman Foo, Infinitary belief revision. Journal of Philosophical Logic, 30 (6): 525-570, 2001 (extension of two IJCAI-97 papers).
• Dongmo Zhang and Norman Foo, EPDL: A Logic for Causal Reasoning, Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI-01), Morgan Kaufmann, 131-136, 2001 .
• Zhu Zhaohui, Zhang Dongmo, Chen Shifu and Zhu Wujia, Some Contributions to Nonmonotonic Consequence, Journal of Computer  Science and Technology, 4(16), 297-314, 2001.
• Nonman Foo, Dongmo Zhang, Yan Zhang, Samir Chopra and Bao Vo, Encoding solutions of the frame problem in dynamic logic. T. Eiter, W. Faber, and M. Truszczynski eds., Logic Programming and Nonmonotonic Reasoning (LPNMR'01), LNAI 2173, Springer, 240-253, 2001.
• Samir Chopra and Dongmo Zhang, Post-diction problems in dynamic logic, in Proceedings of Australian Joint Conference on Artificial Intelligence (AI'01), Springer, 119-129, 2001.
• Dongmo Zhang and Samir Chopra, Consistency of action descriptions, in: Proceedings of the 4rd Workshop on Nonmonotonic Reasoning, Action, and Change (NRAC'01), 78-85, 2001.
• Norman Foo, Dongmo Zhang, Quoc Bao Vo, and Pavlos Peppas, Circumscriptive models and automata, in: Proceedings of the 4rd Workshop on Nonmonotonic Reasoning, Action, and Change (NRAC'01), 7-13, 2001.
• Samir Chopra and Dongmo Zhang, Postdiction problems in dynamic logic: a preliminary report, in: Proceedings of the 4rd Workshop on Nonmonotonic Reasoning, Action, and Change (NRAC'01), 1-6, 2001.
• Norman Y. Foo, Abhaya Nayak, Maurice Pagnucco, Dongmo Zhang: State Minimization Re-visited. in: Markus Stumptner, Dan Corbett, Michael J. Brooks (Eds.): AI 2001: Advances in Artificial Intelligence, Lecture Notes in Computer Science 2256, Springer 153-164, 2001.

    2000

• Zhang Dongmo, Zhu Zhaohui and Chen Shifu, Default Reasoning and Belief Revision: A Syntax-Independent Approach, Journal of Computer  Science and Technology, 5(15), 430-438, 2000.
• Dongmo Zhang and Norman Foo, Autonomy of autonomous agents, PRICAI2000: Topics in Artificial Intelligence, LNAI 1886, Springer, 318-328, 2000.
• Norman Foo and Dongmo Zhang, Dealing with the ramification problem in the extended propositional dynamic logic. in Proceedings of AiML-2000, 89-101, 2000.
• Zhang Dongmo, Zhu Zhaohui and Chen Shifu, Action-oriented belief updating, Chinese Journal of Software, Vol 11, No.9,1276-1282, 2000. (in Chinese)  

    1999

• Norman Foo and Dongmo Zhang,  Convergency of Iterated Belief Changes, in: M. Thielscher ed., The 3rd Workshop on Nonmonotonic Reasoning, Action, and Change , IJCAI-99, 73-77, 1999.
• Dongmo Zhang,What could a natural deductive system for nonmonotonic reasoning look like?, The Third Australian Commonsense Reasoning Workshop, 160-173, 1999.
• Zhang Dongmo, Gu Hongfang and Chen Shifu, Package contraction and its  relationship to the general contraction, Journal of Computer, Vol. 22, No. 5, 1999.(in Chinese)
• Zhang Dongmo, Relationship between belief revision and open logic,   Journal of Aeronautics (Acta Aeronautica et Astronautica Sinica), Vol. 20 No. 2, 1999. (in Chinese).

    1998

• Zhang Dongmo and Li Wei, Open logic based on total-ordered partitions,  Science in China (Series E), Vol. 41,  No. 6, 641-649, 1998.
• Zhang Dongmo, Zhu Zhaohui and Chen Shifu, Default reasoning and belief revision, The 7th International Workshop on Nonmonotonic Reasoning, 1998.
• Shi Qingsheng, Zhang Dongmo and Zhu Wujia, A system of temporal logic  based on medium logic, Journal of Mathematical Research and Exposition, Vol.18, No.2, 1998. (in Chinese)
• Zhang Dongmo and Li Hongbing, Current research tendency on artificial  intelligence, Computer Science, No.2, 1998.(in Chinese)  

    1997

• Dongmo Zhang, Shifu Chen, Wujia Zhu and Zaoqian Chen, Representation theorems for multiple belief changes, IJCAI-97, 89-94, 1997.
• Dongmo Zhang, Shifu Chen Wujia Zhu and Hongbing Li, Nonmonotonic  reasoning and multiple belief revision, IJCAI-97, 95-100, 1997.
• Zhang Dongmo, Chen Shifu, Representation and treatment of mental states of agents in AODE, Chinese Journal of Software, sup. June, 1997, 357-364. (in Chinese)
• Zhang Dongmo and Xiao Xi'an, Inclusion relationship between classical axiomatic set theory and medium axiomatic set theory , Journal of Mathematical Research Exposition, 3(17), 1997, 457-478.(in Chinese)
• Zhang Dongmo, Li Hongbing and Chen Shifu, Inconsistency of supplementary postulates for multiple contractions, Journal of Nanjing University (Natural Sciences) Special Issue, Vol.33, Oct. 1997. (in Chinese)

    Before 1997

• Zhang Dongmo, Belief revision by sets of sentences, Journal of Computer Science and Technology, Vol. 2, No. 11, 108-125, 1996 .
• Dongmo Zhang, A general framework for belief revision, Proc. 14th International Conference  for Young Computer Scientists, 574-581, 1995.
• Zhang Dongmo, Gong Ningsheng, Theories and implementations of automated reasoning in medium logic (VI) -- Tableau systems of the medium modal logic MS5, Pattern Recognition and Artificial Intelligence, 4(8), 1995, 278-282.(in Chinese)
• Zhang Dongmo, Gong Ningsheng, Theories and implementations of automated reasoning in medium logic (V) -- Tableau systems of the medium modal logic MK, Pattern Recognition and Artificial Intelligence, 2(8), 1995, 114-120.(in Chinese)
• Gong Ningsheng and Zhang Dongmo, Theories and implementations of automated reasoning in medium logic (IV) -- Systems of modal logic based on medium logic, Pattern Recognition and Artificial Intelligence,1(8), 1995,6-13.(in Chinese)
• Zhang Dongmo and Zhu Wujia, Theories and implementations of automated  reasoning in medium logic (III) -- A theorem prover for medium logic, Pattern Recognition and Artificial Intelligence, 4(7), 1994, 263-268.(in Chinese)
• Zhu Wujia and Zhang Dongmo, Theories and implementations of automated  reasoning in medium logic (II) -- Tableau systems of medium predicated calculus, Pattern Recognition and Artificial Intelligence, 3(7), 1994, 175-180.(in Chinese)
• Zhu Wujia and Zhang Dongmo, Theories and implementations of automated reasoning in medium logic (I) -- Tableau systems of medium propositional calculus, Pattern Recognition and Artificial Intelligence, 2(7), 1994, 87-93.(in Chinese)
• Dongmo Zhang, The equivalence of medium propositional calculus MP* and  3-valued Lukasiewicz propositional calculus L3, Journal of Mathematical Research and Exposition, Vol.11, No.1, 49-62, 1991.
• Dongmo Zhang, Medium algebra MA and medium propositional calculus MP*, Proc.19th IEEE International Symposium on Multiple_Valued Logic, 289-294, 1989.

LECTURING

• "Programming Techniques", for all SCM undergraduates at UWS, Semester 1, 2009.
• "Script Programming", for bachelor of computing students at UWS, Semester 1, 2009.
• "System Administration Programming", for computer science undergraduates at UWS, Semester 1, 2009.
• "Object-Oriented Programming", for computer science undergraduates at UWS, Semester 1, 2008.
• "Object-Oriented Programming", for computer science undergraduates at UWS, Semester 1, 2007.
• "Object-Oriented Desing", for computer science and Computing undergraduates at UWS, Semester 2, 2006.
• "Enterprise Web Application Development", for postgraduates at UWS, Semester 1, 2006.
• "Object-Oriented Programming", for computer science undergraduates at UWS, Semester 1, 2006.
• "Data Structures and Algorithms", for undergraduates at UWS, 2005 Spring.
• "Enterprise Web Application Development", for postgraduates at UWS, 2005 Autumn.
• "Programming Principles 2", for undergraduates at UWS, 2004.
• "Automated Negotiation and e-Trading", for postgraduates at UWS, Semester 1, 2004.
• "Belief Revision, negotiation and Applications", for International Masters Programme in Computational Logic, Dresden University of Technology, 2003.
• "Intelligent Agents", for postgraduates at UWS, 2002, 2003,2004.
• "Programming Principles 1", for undergraduates at UWS, 2002, 2003, 2004.
• "Introduction to Modal Logic" for honor undergraduates and postgraduates at UNSW, 2001.
• "Logical Foundation for Artificial Intelligence", for undergraduates at UNSW, 2000-2001.
• "Mathematical Logic and Set Theory", for undergraduates in computer science and engineering at NUAA, 1993-98.
• "Computing I", for undergraduates in computer science and engineering at NUAA, 1993-98.
• "Computing II", for undergraduates in computer science and engineering at NUAA, 1993-98.
• "Logic Programming", for undergraduates in computer science and engineering at NUAA, 1993-98.
• "Agent-Oriented Intelligent Systems", postgraduates in Computer Science at NJU, 1996-1998.
• "Axiomatic Set Theory", for postgraduates in computer science at NUAA, 1993-98.
• "Proof Theory", for postgraduates in computer science at NUAA,1993-98.
• "Non-Standard Logic", for postgraduates in computer science at NUAA,1993-98.
• "Programming language", for vocational students at Nantong Vocational College,1982-90.
• "Calculus", for vocational students at Nantong Vocational College, 1981-85,1987-90.

FUNDINGS

• Dongmo Zhang, Yan Zhang, Norman Foo and Michael Thielscher, Logical Foundation and Implementation Technology for Automated Negotiation, Discovery Project, Australian Research Council (ARC), AU$225,000, 1/2009-12/2011.
• Yan Zhang, Dongmo Zhang and Weiyuan Wang, Developing Sophisticated e-Business Automation, Linkage Project, Australian Research Council (ARC), AU$120,486, 1/7/2008-30/6/2011.
• Dongmo Zhang and Laurent Perrussel, Empirical Mechanism Design for Online Markets, UWS Internal Research Grants Scheme, $16,805, 1/1/2009-31/12/2009.
• Dongmo Zhang, Intelligent Trading Agent: Language and Implementation, UWS International Research Initiatives Scheme, AU$13,730, 7/2007-7/2008.
• Dongmo Zhang, E-Market Mechanism Design with Market Specification Language, UWS Research Grant Scheme, AU$13,736, 12/2005-12/2006.
• Dongmo Zhang, Trading Agent Design and Modeling with Supply Chain Management Domain, UWS Research Grant Scheme, AU$17,000, 1/2004-12/2004.
• Dongmo Zhang, Cognitive Programming Language for Entertainment Robots, UWS Seed Grant, AU$4870, 5/2002-4/2003.
• Dongmo Zhang, Theory and Implementation of Distributed Intelligent Systems, Funding of Science and Technology for Youth in Jiangsu Province, 100,000RMB, 7/1998-12/2000.
• Dongmo Zhang, Studies on Agent-Oriented Nonmonotonic Reasoning, National Natural Science Foundation of China, 80,000RMB, 1/1998-1/2000.
• Dongmo Zhang, Implementation of Novel Nonmonotonic Reasoning, Natural Science Foundation of Jiangsu Province, 45,000RMB, 10/1997-10/1999.
• Dongmo Zhang, Studies and Applications of Development Tools and Environment for Distributed Artificial Intelligent systems, Aeronautical Science Funds, 36,000RMB, 10/1997-12/1999.
• Dongmo Zhang, Modeling the Dynamics of Intentional Systems, Postdoctoral Science Foundation of China, 10,000RMB, 1/1998-9/1998.

Dongmo Zhang (dongmo@scm.uws.edu.au). Last modified on 5 June, 2007.

"Logic, like poem, can only be read between lines."