PERSONAL PARTICULARS

CAREER

• Associate Dean (Graduate Studies) (January 2020 - now), HDR Director (September 2017 - December 2019), Associate Professor (January 2011 - now), Senior Lecturer (September 2004- December 2011), lecturer (December 2001 - September 2004), School of Computer, Data and Mathematical Sciences, Western Sydney University, Australia.

• Adjunct lecturer (March 2002 - March 2005), Research fellow (November 1998 - December 2001) 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.

• Postdoctoral fellow (September 1996 - August 1998), Department of Computer Science and Technology, Nanjing University, China.

• Teaching fellow (January 1981-July 1985, June 1987 - September 1990), Nantong Vocational College, China.

EDUCATION

• Received a Doctoral degree in Engineering specialising in Intelligent Systems and Robotics in June 1996 from Nanjing University of Aeronautics and Astronautics with the thesis: "Generalization of Belief Revision and its Applications".

• 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

reasoning about strategies, belief revision, multiagent systems, bargaining theory, automated negotiation, trading agent design, auction, intelligent agents, reasoning about actions, nonmonotonic reasoning, cognitive robotics, autonomous driving, mathematical logic, automated reasoning.

RECENT ACADEMIC ACTIVITIES

• Member of Senior Program Committee for the International Joint Conference on Artificial Intelligence and European Conference on Artificial Intelligence (IJCAI-PRICAI 2020)

• Member of Program Committee for the AAAI Conference on Artificial Intelligence (AAAI 2020)

• Member of Program Committee for International Conference on Principles of Knowledge Representation and Reasoning (KR 2020)

• Member of Program Committee for the International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2020)

AWARDS

• Best Paper Award: Dave De Jonge, Dongmo Zhang, Lifted Backward Search for General Game Playing, at The 29th Australasian Joint Conference on Artificial Intelligence (AI-16), 2016.

• Best Student Paper Award: Guifei Jiang, Dongmo Zhang and Laurent Perrussel, Knowledge Sharing in Coalitions, at The 28th Australasian Joint Conference on Artificial Intelligence (AI-15) , 2015.

• Best Paper Award: Dongmo Zhang, A model of intention with (un)conditional commitments, at The 12th Pacific Rim International Conference on Artificial Intelligence (PRICAI-12) , 2012.

• Best Student Paper Award: Dengji Zhao, Dongmo Zhang, Md Khan and Laurent Perrussel, Maximal matching for double auction, at The 23th Australasian Joint Conference on Artificial Intelligence (AI-10), 2010

JACKAROO TRADING AGENT TEAM

      jackaroo is a trading agent team established in 2003. The team has been participating in the annual Trading Agent Competition (TAC) since 2003.
     
    Team members:

• 2011: Dongmo Zhang (team leader), Dengji Zhao, Chun Gao and Laurent Perrussel

• 2010: Dongmo Zhang (team leader), Dengji Zhao, Md Khan, Zhaowan Chen, Wei Huang and Laurent Perrussel

• 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 (casual)

• 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

• 2011:   The 1st place at the 2011 Trading Agent Competition Market Design Game ( CAT Tournament 2011).

• 2010:   The 2nd place at the 2010 Trading Agent Competition Market Design Game ( CAT Tournament 2010).

• 2009:   The 1st place at the 2009 Trading Agent Competition Market Design Game ( CAT Tournament 2009).

• 2008:   The 3rd place at the 2008 Trading Agent Competition Market Design Game ( CAT Tournament 2008).

• 2007:   The 4th place at the 2007 Trading Agent Competition Market Design Game ( 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.

SELECTED PUBLICATIONS

    2018

• Guifei Jiang, Dongmo Zhang and Laurent Perrussel, A Hierarchical Approach to Judgment Aggregation with Abstentions, Computational Intelligence, Volume 34, Issue 1, 104–123, 2018.

    2017

• Dave de Jonge and Dongmo Zhang, Automated negotiations for general game playing, International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2017), 371-379, 2017.

• Guifei Jiang, Laurent Perrussel and Dongmo Zhang, On axiomatization of epistemic GDL, International Workshop on Logic, Rationality and Interaction (LORI 2017), 598-613, 2017.

• Zhanhoa Xiao, Andreas Herzig, Laurent Perrussel and Dongmo Zhang, Deciding refinement relation in belief-intention databases, Conference of the Italian Association for Artificial Intelligence (AI*IA 2017), 186-199, 2017.

    2016

• Guifei Jiang, Dongmo Zhang, Laurent Perrussel, Heng Zhang, Epistemic GDL: A Logic for Representing and Reasoning about Imperfect Information Games , Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI-16), 1138-1144, 2016.

• Dave De Jonge, Dongmo Zhang, Lifted Backward Search for General Game Playing, AI 2016: Advances in Artificial Intelligence - 29th Australasian Joint Conference on Artificial Intelligence, 3-16. 2016 (Best Paper Award)

• Xiaoxin Jing, Dongmo Zhang, Xudong Luo, Jieyu Zhan, A Logical Multidemand Bargaining Model with Integrity Constraints, International Journal of Intelligent Systems 31(7): 673-697, 2016.

• Dave De Jonge, Dongmo Zhang, Using GDL to Represent Domain Knowledge for Automated Negotiations, AAMAS Workshops (Visionary Papers), 134-153, Springer, 2016.

• Andreas Herzig, Laurent Perrussel, Zhanhao Xiao, Dongmo Zhang, Refinement of Intentions, Logics in Artificial Intelligence - 15th European Conference (JELIA 2016) 558-563, 2016.

    2015

• Dongmo Zhang and Michael Thielscher, A Logic for Reasoning about Game Strategies, Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence (AAAI-15), pages 1671-1677, 2015.

• Dongmo Zhang and Michael Thielscher, Representing and Reasoning about Game Strategies, Journal of Philosophical Logic, Volume 44, Number 2, pages 203-236, 2015.

• Tommy Andersson, Zaifu Yang and Dongmo Zhang, How to efficiently allocate houses under price controls?, Economics Letters, Volume 130, pages 97-99, 2015.

• Guifei Jiang, Dongmo Zhang, Laurent Perrussel and Heng Zhang, A Logic for Collective Choice, Proceedings of the 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-15), pages 979-987, 2015.

• Guifei Jiang, Dongmo Zhang and Laurent Perrussel, Knowledge Sharing in Coalitions, AI 2015: Advances in Artificial Intelligence (Proceedings of the 28th Australasian Joint Conference on Artificial Intelligence), pages 249-262, 2015. (Won the Best Student Paper Award)

    2014

• Dengji Zhao, Dongmo Zhang, Enrico Gerding, Yuko Sakurai and Makoto Yokoo, Incentives in Ridesharing with Deficit Control, Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-14), 1021-1028, 2014.

• Guifei Jiang, Dongmo Zhang and Laurent Perrussel, GDL Meets ATL: A Logic for Game Description and Strategic Reasoning, PRICAI 2014: Trends in Artificial Intelligence - 13th Pacific Rim International Conference on Artificial Intelligence 733-746, Springer, 2014.

• Guifei Jiang, Dongmo Zhang, Laurent Perrussel, Judgment Aggregation with Abstentions under Voters' Hierarchy, PRIMA 2014: Principles and Practice of Multi-Agent Systems - 17th International Conference 341-356, Springer, 2014.

    2013

• Xiaoxin Jing, Dongmo Zhang and Xudong Luo, A Logical Framework of Bargaining with Integrity Constraints, Proceedings of the 26th Australasian Conference on Artificial Intelligence (AI 2013), 1-13, Springer, 2013.

• Guifei Jiang, Dongmo Zhang and Xiaojia Tang, Judgment Aggregation with Abstentions: A Hierarchical Approach, Proceedings of Logic, Rationality, and Interaction - 4th International Workshop (LORI 2013) , 321-325, Springer, 2013.

• Wu Chen, Dongmo Zhang and Maonian Wu, A Sequential Model for Reasoning about Bargaining in Logic Programs, Proceedings of the 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), 239-244, Springer, 2013.

    2012

• Dongmo Zhang, A model of intention with (un)conditional commitments, Proceedings of the 12th Pacific Rim International Conference on Artificial Intelligence (PRICAI 2012),698-709, LNAI 7458, Springer, 2012 (Won the Best Paper Award).

• Dongmo Zhang, Auctions: Theory and Practice, Tutorial at the Pacific Rim International Conference on Artificial Intelligence, Kuching, Malaysia, 3 September 2012.

• Michael Thielscher and Dongmo Zhang eds., AI 2012: Advances in Artificial Intelligence, LNAI Vol. 7691, Springer, 2012.

• Dengji Zhao, Dongmo Zhang, and Laurent Perrussel, Multi-unit Double Auction under Group Buying, Proceedings of the 20th European Conference on Artificial Intelligence (ECAI-12), 882-887, IOP Press, 2012.

    2011

• Dengji Zhao, Dongmo Zhang, and Laurent Perrussel, Mechanism design for double auctions with temporal constraints, Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI-11), 472-477,2011.

• Maonian Wu, Dongmo Zhang and Mingyi Zhang, Language splitting and relevance-based change in Horn logic, Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence (AAAI-11), 268-273, 2011.

• Junwu Zhu and Dongmo Zhang, Dynamic auction for ecient competitive equilibrium under price rigidities, Proceedings of 24th Australasian Joint Conference on Artificial Intelligence, 809-818, Springer LNCS 7106, 2011.

• Dengji Zhao, Dongmo Zhang, Laurent Perrussel: How to Make Specialists NOT Specialised in TAC Market Design Competition? Behaviour-Based Mechanism Design. EC-Web, 124-135, Springer LNBIP 86, 2011

    2010

• Dongmo Zhang, A logic-based axiomatic model of bargaining, Artificial Intelligence, Vol 174, No 16-17, 1307-1322, 2010.

• Dongmo Zhang, Laurent Perrussel and Wei Huang, Dynamic auction: a tractable auction procedure, Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence (AAAI-10), 935-940, 2010.

• Michael Thielscher and Dongmo Zhang, A formal market specification language for general trading agents, E. David et al. (Eds.), Agent-Mediated Electronic Commerce: Designing Trading Strategies and Mechanisms for Electronic Markets, LNBIP 59, Springer, 259-274, 2010 (a revised version of TADA-09 paper).

• Dengji Zhao, Dongmo Zhang, Md Khan and Laurent Perrussel, Maximal matching for double auction, Proceedings of the 23th Australasian Joint Conference on Artificial Intelligence (AI 2010), 516-525, 2010 (Won the Best Student Paper Award).

• Laurent Perrussel, Jerusa Marchi and Dongmo Zhang, Characterizing relevant belief revision operators, Proceedings of the 23th Australasian Joint Conference on Artificial Intelligence (AI 2010), 42-51, 2010.

• Wei Huang, Dongmo Zhang, Yan Zhang and Laurent Perrussel, Bargain over joint plans, Proceedings of the Eleventh Pacific Rim International Conference on Artificial Intelligence (PRICAI 2010), Springer, 608-613, 2010 (short paper).

    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.

TUTORIALS

• PRICIA-10 Tutorial: Game Theory in AI and MAS, 30 August 2010, Daegu, Korea.

LECTURING

• "Advanced Topics in Artificial Intelligence", for all SCEM postgraduates at WSU, 2018-.

• "Object-Oriented Programming", for computer science undergraduates at WSU, 2006- now.

• "Data Structures and Algorithms", for SCEM Computer Science undergraduates at WSU, 2005-now.

• "Intelligent Agents for eMarkts", for all SCEM postgraduates at WSU, 2005-2017.

• "Programming Techniques", for all SCM undergraduates at UWS, 2009-2011.

• "Script Programming", for bachelor of computing students at UWS, 2009.

• "System Administration Programming", for computer science undergraduates at UWS, 2009.

• "Enterprise Web Application Development", for postgraduates at UWS, 2006.

• "Enterprise Web Application Development", for postgraduates at UWS, 2005.

• "Programming Principles 2", for undergraduates at UWS, 2004.

• "Automated Negotiation and e-Trading", for postgraduates at UWS, 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-2004.

• "Programming Principles 1", for undergraduates at UWS, 2002-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 DP0988750), 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 LP0883646), 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."