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, (18 Sep 2007 - 17 Nov 2007), Department of Computer Science, Stanford University, USA. (Homepage)
• Visiting professor, (21 Aug 2007 - 17 Sep 2007), Department of Artificial Intelligence, Vrije Universiteit, The Neatherlands.
• 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 Doctorial 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:

• 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 Workshop on Trading Agent Design and Analysis (TADA-07).
• Member of Program Committee for the Workshop on Trading Agent Design and Analysis (TADA-06).
• Member of Program Committee for the 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 TAC TEAM:

      jackaroo is a trading agent design team led by Dr Dongmo Zhang. The team, representing UWS, has participated in the Trading Agent Competition since 2003.
     
     Team members:
         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, Yuong Ho Kim, Ping Zou
         2004: Dongmo Zhang (team leader), Kanghua Zhao, Chiao-Ming Liang, Yuong Ho Kim, Gonelur Begum
         2003: Dongmo Zhang (team leader), Chiao-Ming Liang, Tze-Hau Huang, Gonelur  Begum
    
     Achievements of jackaroo:
         2007:   4th in TAC CAT final.
         2006:   11th in TAC SCM final.
         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

    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.
• 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.
• 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

• "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.

FUNDING

  As Chief Investigator

• "Intelligent Trading Agent: Language and Implementation ", UWS International Research Initiatives Scheme, AU$13,730, 7/2007-7/2008.
• "E-Market Mechanism Design with Market Specification Language", UWS Research Grant Scheme, AU$13,736, 12/2005-12/2006.
• "Trading Agent Design and Modelling with Supply Chain Management Domain", UWS Research Grant Scheme, AU$17,000, 1/2004-12/2004.
• "Cognitive Programming Language for Entertainment Robots", UWS Seed Grant, AU$4870, 5/2002-4/2003.
• "Theory and Implementation of Distributed Intelligent Systems, Funding of Science and Technology for Youth in Jiangsu Province, 100,000RMB, 1998.7-2000.12.
• "Studies on Agent-Oriented Nonmonotonic Reasoning, National Natural Science Foundation of China, 80,000CNY, 1998.1-2000.1.
• "Implementation of Novel Nonmonotonic Reasoning, Natural Science Foundation of Jiangsu Province, 45,000CNY, 1997.10-1999.10.
• "Studies and Applications of Development Tools and Environment for Distributed Artificial Intelligent systems, Aeronautical Science Funds,  36,000RMB, 1997.10-1999.12.
• "Modeling the Dynamics of Intentional Systems, Postdoctoral Science Foundation of China, 10,000RMB, 1998.01-1998.09.

  As co-investigator

• "Theories and Their Application of Medium Logic and Belief Revision",  The High Technology Research and Development Program of China, 100,000RMB, 1996.06-1998.06.
• "Intelligent Simulation", Climbing Project of China, 100,000RMB, 1992.01-1997.01
• "Non-standard Expansion of Medium Logic", The High Technology Research and Development Program of China of China, 50,000RMB, 1994.06-1996.06.
• "Theories and Their Application of Automated Reasoning of Medium Logic", The High Technology Research and Development Program of China, 50,000RMB, 1992.06-1994.06

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

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