Associate Professor Dongmo Zhang

• Biography
• Areas of Research / Teaching Expertise
• Grants / Current Projects
• Awards and Recognition
• Selected Publications
• Optional
• Contact Details

Biography

Dongmo Zhang received his PhD degree in 1996 in Engineering, specializing in Intelligent Systems and Robotics from Nanjing University of Aeronautics and Astronautics, China. He worked in the School of Computer Science and Software Engineering at the University of New South Wales between 1998-2001. He joined UWS in Dec 2001 and is currently an associate professor in the School of Computing and Mathematics at UWS.

^ Back to top

Areas of Research / Teaching Expertise

bargaining theory, mechanism design, trading agent design, reasoning about actions, belief revision, nonmonotonic reasoning, intelligent agents, cognitive robotics, mathematical logic, automated reasoning

^ Back to top

Grants / Current Projects

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.

^ Back to top

Awards and Recognition

2nd place at 2010 Trading Agent Competition (TAC) Market Design Game, team leader.
1st place at 2009 Trading Agent Competition (TAC) Market Design Game, team leader.
3rd place at 2008 Trading Agent Competition (TAC) Market Design Game, team leader.
4rd place at 2007 Trading Agent Competition (TAC) Market Design Game, team leader.

^ Back to top

Selected Publications

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.

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

Dongmo Zhang, Axiomatic characterization of task oriented negotiation, Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI-09), 367-372, 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.

Dongmo Zhang and Yan Zhang, An ordinal bargaining solution with fixed-point properties, Journal of Artificial Intelligence Research, Volume 33, pages 433-464, 2008.

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.

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.

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.

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

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 Norman Foo, Axiomatic analysis of negotiation protocols, In Proceeding of 15th Australian Joint Conference on Artificial Intelligence, Springer,377-389, 2003.

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

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

Dongmo Zhang, Belief revision by sets of sentences, Journal of Computer Science and Technology, Vol. 2, No. 11, 108-125, 1996.

Dongmo Zhang, Medium algebra MA and medium propositional calculus MP*, Proc.19th IEEE International Symposium on Multiple_Valued Logic, 289-294, 1989.

^ Back to top

Optional

Member of Senior Program Committee for the Twenty-second International Joint Conference on Artificial Intelligence (IJCAI-11)

Member of Program Committee for the Twenty-Fifth AAAI Conference on Artificial Intelligence (AAAI 2011)

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.

^ Back to top