Doctor Dongmo Zhang

Doctor Dongmo Zhang

Associate Professor,
Deans Unit School Of Computing, Engineering & Math

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.

This information has been contributed by Doctor Zhang.

Qualifications

  • DEng Nanjing University of Aeronautics & Astronautics
  • MSc Nanjing University of Aeronautics & Astronautics

Professional Memberships

  • Association for the Advancement of Artificial Intelligence (2001)

Awards

  • PRICAI-12 Best Paper Award 2012-09-07

Interests

  • Automated Reasoning
  • Bargaining Theory
  • Belief Revision
  • Cognitive Robotics
  • Intelligent Agents
  • Mathematical Logic
  • Mechanism Design
  • Nonmonotonic Reasoning
  • Reasoning About Actions
  • Trading Agent Design

Organisational Unit (School / Division)

  • Deans Unit School Of Computing, Engineering & Math

Committees

  • The 25th Australasian Joint Conference on Artificial Intelligence
  • The 13th International Conference on Autonomous Agents and Multiagent Systems

Contact

Email: D.Zhang@westernsydney.edu.au
Phone: (02) 47360 009
Mobile:
Location: Y.3.30
Penrith (Kingswood)
Website:

PLEASE NOTE: obtaining information from this Directory must be for the legitimate purposes of doing business with and within Western Sydney University, and must not be used for unsolicited bulk e-mailing (spamming) or similar purposes.

Teaching

Previous Teaching Areas

  • 300769 Intelligent Agents for E-Markets, 2013
  • 300147 Object Oriented Programming, 2013
  • 300144 Object Oriented Analysis, 2013
  • 300103 Data Structures and Algorithms, 2013
  • 300769 Intelligent Agents for E-Markets, 2012
  • 300147 Object Oriented Programming, 2012
  • 300103 Data Structures and Algorithms, 2012
  • 300581 Programming Techniques, 2011
  • 300103 Data Structures and Algorithms, 2011
  • 300581 Programming Techniques, 2010
  • 300577 Script Programming, 2009
  • 300165 Systems Administration Programming, 2009
  • 300147 Object Oriented Programming, 2008
  • 300147 Object Oriented Programming, 2007
  • 300146 Object Oriented Design, 2006
  • 300445 Enterprise Web Application Development, 2006
  • 300147 Object Oriented Programming, 2006
  • 300103 Data Structures and Algorithms, 2005
  • 300445 Enterprise Web Application Development, 2005
  • 300156 Programming Principles 2, 2004
  • 300385 Automated Negotiation and E-Trading, 2004
  • 300245 Intelligent Agents, 2004
  • 300155 Programming Principles 1, 2004
  • 300245 Intelligent Agents, 2003
  • 300155 Programming Principles 1, 2003
  • 300245 Intelligent Agents, 2002
  • 300155 Programming Principles 1, 2002

Publications

Chapters in Books

  • Thielscher, M. and Zhang, D. (2010), 'From General Game Descriptions to a Market Specification Language for General Trading Agents', Agent-Mediated Electronic Commerce: Designing Trading Strategies and Mechanisms for Electronic Markets, Springer 9783642151163.
  • Foo, N. and Zhang, D. (2001), 'Dealing with the ramification problem in the extended propositional dynamic logic', Advances in Modal Logic Volume 3, World Scientific Publishing Co 9812381791.

Journal Articles

  • Jiang, G., Zhang, D. and Perrussel, L. (2017), '[In Press] A hierarchical approach for judgment aggregation with abstentions', Computational Intelligence, .
  • Zhang, D. and Thielscher, M. (2015), 'Representing and reasoning about game strategies', Journal of Philosophical Logic, vol 44, no 2 , pp 203 - 236.
  • Andersson, T., Yang, Z. and Zhang, D. (2015), 'How to efficiently allocate houses under price controls?', Economics Letters, vol 130 , pp 97 - 99.
  • Chen, W., Zhang, D. and Wu, M. (2015), 'A sequential model of bargaining in logic programming', Frontiers of Computer Science, vol 9, no 3 , pp 474 - 484.
  • Jing, X., Zhang, D., Luo, X. and Zhan, J. (2015), 'A logical multidemand bargaining model with integrity constraints', International Journal of Intelligent Systems, vol 31, no 7 , pp 673 - 697.
  • Chen, W., Zhang, D. and Wu, M. (2013), 'A sequential model for reasoning about bargaining in logic programs', Lecture Notes in Computer Science, vol 8148 , pp 239 - 244.
  • Zhang, D. (2012), 'A model of intention with (un)conditional commitments', Lecture Notes in Computer Science, vol 7458 , pp 698 - 709.
  • Perrussel, L., Marchi, J., The'venin, J. and Zhang, D. (2012), 'Relevant minimal change in belief update', Lecture Notes in Computer Science, vol 7519 , pp 333 - 345.
  • Zhang, D. (2010), 'A logic-based axiomatic model of bargaining', Artificial Intelligence: An International Journal, vol 174, no 16-17 , pp 1307 - 1322.
  • Zhang, D. and Zhang, Y. (2008), 'An Ordinal Bargaining Solution with Fixed-Point Property', Journal of Artificial Intelligence Research, vol 33 , pp 433 - 464.
  • Zhang, D. and Foo, N. (2005), 'Frame Problem in Dynamic Logic', Journal of Applied Non-Classical Logic, vol 15, no 2 , pp 215 - 238.
  • Zhang, D., Zhao, K., Liang, C., Huq, G. and Huang, T. (2004), 'Strategic Trading Agents via Market Modelling', SIGecom Exchange, vol 4, no 3 .
  • Zhang, D. and Foo, N. (2001), 'Infinitary Belief Revision', Journal of Philosophical Logic, vol 30, no 6 , pp 525 - 570.

Conference Papers

  • De Jonge, D. and Zhang, D. (2017), 'Automated negotiations for general game playing', International Joint Conference on Autonomous Agents and Multiagent Systems, Sao Paulo, Brazil.
  • Herzig, A., Perrussel, L., Xiao, Z. and Zhang, D. (2016), 'Refinement of intentions', JELIA (Conference), Larnaca, Cyprus.
  • De Jonge, D. and Zhang, D. (2016), 'Lifted backward search for general game playing', Australasian Joint Conference on Artificial Intelligence , Hobart, Tas..
  • De Jonge, D. and Zhang, D. (2016), 'Using GDL to represent domain knowledge for automated negotiations', International Conference on Autonomous Agents and Multiagent Systems, Singapore.
  • Jiang, G., Zhang, D., Perrussel, L. and Zhang, H. (2016), 'Epistemic GDL : a logic for representing and reasoning about imperfect information games ', International Joint Conference on Artificial Intelligence , New York, N.Y..
  • Zhang, D. and Thielscher, M. (2015), 'A logic for reasoning about game strategies', AAAI Conference on Artificial Intelligence, Austin, Tex..
  • Jiang, G., Zhang, D., Perrussel, L. and Zhang, H. (2015), 'A logic for collective choice', International Conference on Autonomous Agents and Multiagent Systems, Istanbul, Turkey.
  • Jiang, G., Zhang, D. and Perrussel, L. (2015), 'Knowledge sharing in coalitions', Australasian Joint Conference on Artificial Intelligence, Canberra, A.C.T..
  • Zhao, D., Zhang, D., Gerding, E., Sakurai, Y. and Yokoo, M. (2014), 'Incentives in ridesharing with deficit control', International Joint Conference on Autonomous Agents and Multiagent Systems, Paris, France.
  • Jiang, G., Zhang, D. and Perrussel, L. (2014), 'Judgment aggregation with abstentions under voters' hierarchy', International Conference on Principles and Practice of Multi-agent Systems, Gold Coast, Qld..
  • Jiang, G., Zhang, D. and Perrussel, L. (2014), 'GDL meets ATL : a logic for game description and strategic reasoning', Pacific Rim International Conference on Artificial Intelligence, Gold Coast, Qld..
  • Jiang, G., Zhang, D. and Tang, X. (2013), 'Judgment aggregation with abstentions : a hierarchical approach', LORI (Workshop), Hangzhou, China.
  • Jing, X., Zhang, D. and Luo, X. (2013), 'A logical framework of bargaining with integrity constraints', Australasian Joint Conference on Artificial Intelligence, Dunedin, N.Z..
  • Zhao, D., Zhang, D. and Perrussel, L. (2012), 'Multi-unit double auction under group buying', European Conference on Artificial Intelligence, Montpellier, France.
  • Zhao, D., Zhang, D. and Perrussel, L. (2011), 'Mechanism design for double auctions with temporal constraints', The Twenty-Second International Joint Conference on Artificial Intelligence, Barcelona, Catalonia.
  • Wu, M., Zhang, D. and Zhang, M. (2011), 'Language splitting and relevance-based belief change in Horn logic', The Twenty-Fifth AAAI Conference on Artificial Intelligence, San Francisco, Calif.
  • Zhao, D., Zhang, D. and Perrussel, L. (2011), 'How to Make Specialists NOT Specialised in TAC Market Design Competition? Behaviour-Based Mechanism Design', The 12th International Conference on E-Commerce and Web Technologies (EC-Web 11), Toulouse, France.
  • Zhu, J. and Zhang, D. (2011), 'Dynamic auction for efficient competitive equilibrium under price rigidities', The 24th Australasian Joint Conference on Artificial Intelligence, Perth, Australia.
  • Zhang, D., Huang, W. and Perrussel, L. (2010), 'Dynamic auction: a tractable auction procedure', The Twenty-Fourth AAAI Conference on Artificial Intelligence, Atlanta, USA.
  • Zhao, D., Zhang, D., Khan, M. and Perrussel, L. (2010), 'Maximal matching for double auction', The 23rd Australasian Joint Conference on Artificial Intelligence, Adelaide, Australia.
  • Perrussel, L., Marchi, J. and Zhang, D. (2010), 'Characterizing relevant belief revision operators', The 23rd Australasian Joint Conference on Artificial Intelligence, Adelaide, Australia.
  • Huang, W., Zhang, D., Zhang, Y. and Perrussel, L. (2010), 'Bargain over joint plans', The 11th Pacific Rim international conference on artificial intelligence, Daegu, Korea.
  • Zhang, D. (2009), 'Axiomatic Characterization of Task Oriented Negotiation', The Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence, Pasadena, California.
  • Furuhata, M., Perrussel, L., Thevenin, J. and Zhang, D. (2009), 'Experimental Market Mechanism Design for Double Auction', The 22nd Australian Joint Conference on Artificial Intelligence, Melbourne.
  • Zhang, D. (2008), 'A fixed-point property of logic-based bargaining solution', The 21st Australasian Joint Conference on Artificial Intelligence, Auckland, New Zealand.
  • Furuhata, M., Zhang, D. and Perrussel, L. (2008), 'Online Market Coordination', The 11th Pacific Rim International Conference on Multi-Agents (PRIMA2008), Hanoi, Vietnam.
  • Furuhata, M., Perrussel, L. and Zhang, D. (2008), 'Mechanism design for capacity allocation with price competition', The 10th international conference on Electronic commerce (ICEC2008), Innsbruck, Austria.
  • Zhang, D. (2007), 'Reasoning about Bargaining Situations', The Twenty-Second AAAI Conference on Artificial Intelligence, Vancouver, Canada.
  • Jin, Y., Thielscher, M. and Zhang, D. (2007), 'Mutual Belief Revision: Semantics and Computation', The Twenty-Second AAAI Conference on Artificial Intelligence, Vancouver, Canada.
  • Furuhata, M. and Zhang, D. (2006), 'Capacity Allocation with Competitive Retailers', the 8th international conference on Electronic commerce, Fredericton, New Brunswick, Canada.
  • Zhang, D. and Zhang, Y. (2006), 'A computational Model of Logic-Based Negotiation', The Twenty-First National Conference on Artificial Intelligence, Boston, USA.
  • Zhang, D. and Zhang, Y. (2006), 'Logical Properties of Belief-Revision-Based Bargaining Solution', 19th Australian Joint Conference on Artificial Intelligence, Hobart, Australia.
  • Zhang, D. (2005), 'A Logical Model of Nash Bargaining Solution', The Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, UK.
  • Zhang, D. (2005), 'Negotiation Mechanism for TAC SCM Component Market', The Fourth International Joint COnference on Autonomous Agents and Multiagent Systems, Utrecht, The Netherlands.
  • Zhang, D., Foo, N., Meyer, T. and Kwok, R. (2004), 'Negotiation as Mutual Belief Revision', Nineteenth National Conference on Artificial Intelligence, San Jose, California.
  • Meyer, T., Foo, N., Kwok, R. and Zhang, D. (2004), 'Logical Foundations of Negotiation: Outcome, Concession and Adaptation', Nineteenth National Conference on Artificial Intelligence, San Jose, California.
  • Zhang, D. and Zhao, K. (2004), 'Economic Model of TAC SCM Game', The IEEE/WIC/ACM International Conference on Intelligent Agent Technology, Beijing, China.
  • Zhang, D. (2004), 'Properties of Iterated Mutiple Belief Revision', The Seventh International Conference on Logic Programming and Nonmonotonic Reasoning, Fort Lauderdale, FL, USA.
  • Meyer, T., Foo, N., Kwok, R. and Zhang, D. (2004), 'Logical foundations of negotiation: strategies and preferences', The Ninth International Conference on Principles of Knowledge Representation and Reasoning, Whistler, BC, Canada.
  • Zhang, D. and Foo, N. (2003), 'Axiomatic Analysis of Negotiation Protocols', 16th Australian Conference on Artificial Intelligence, Perth, Australia.
  • Zhang, D. and Lakkaraju, S. (2002), 'On natural deductive systems for nonmonotonic reasoning', ICIIT2002: International Conference on Intelligent Information Technology, Beijing.
  • Zhang, D. (2002), 'Consistency of Action Descriptions', The 7th Pacific Rim International Conference on Artificial Intelligence, Tokyo, Japan.
  • Zhang, D. and Foo, N. (2002), 'Interpolation Properties of Action Logic: Lazy-Formalization to the Frame Problem', 8th European Conference, JELIA2002, Cosenza, Italy.
  • Zhang, D. and Foo, N. (2002), 'Convergency of Learning Process', 15th Australian Joint Conference on Artificial Intelligence, Canberra, Australia.
  • Foo, N., Zhang, D., Zhang, Y., Chopra, S. and Quoc Vo, B. (2001), 'Encoding Solutions of the Frame Problem in Dynamic Logic', The 6th International Conference on Logic Programming and Nonmonotonic Reasoning, Vienna, Austria.
  • Zhang, D. and Foo, N. (2001), 'A Logic for Causal Reasoning', Seventeenth International Joint Conference on Artificial Intelligence, IJCAI 2001, Seattle, Washington, USA.

Research

Previous Projects

Title: Developing Sophisticated e-Business Automation
Years: 2008-07-15 - 2012-07-31
ID: P0015961
Western Researchers: Yan Zhang and Dongmo Zhang
Funding:
  • Australian Research Council (ACRG)
  • Smartlink Solutions Pty Ltd
Title: Cognitive Programming Language for Entertainment Robots
Years: 2002-08-08 - 2003-08-30
ID: P0010076
Western Researchers: Dongmo Zhang
Funding:
  • University of Western Sydney
Title: EMarket Mechanism Design with Market Specification Language
Years: 2005-12-19 - 2006-12-19
ID: P0014989
Western Researchers: Dongmo Zhang
Funding:
  • University of Western Sydney
Title: Logical Foundation and Implementation Technology for Automated Negotiation
Years: 2009-01-01 - 2013-03-31
ID: P0016060
Western Researchers: Dongmo Zhang and Yan Zhang
Funding:
  • Australian Research Council (ACRG)
Title: Trading agent design and modelling with supply chain management domain
Years: 2004-02-16 - 2005-02-15
ID: P0011592
Western Researchers: Dongmo Zhang
Funding:
  • University of Western Sydney
Title: Intelligent Trading Agent: Language and Implementation
Years: 2007-06-05 - 2008-08-21
ID: P0015658
Western Researchers: Dongmo Zhang
Funding:
  • University of Western Sydney
Title: Empirical Mechanism Design for Online Markets
Years: 2008-12-18 - 2009-12-17
ID: P00016510
Western Researchers: Dongmo Zhang
Funding:
  • University of Western Sydney

Supervision

Doctor Zhang is available to be a principal supervisor for doctoral projects

Current Supervision

Title: eMarket Design Based on Jackaroo Trading Agent Platform
Field of Research:
Title: Automated Trading for Financial Markets
Field of Research:
Title: Cooperation and coordination in multi-agent environment.
Field of Research:

Previous Supervision

Title: Automated Negotiation in Multi-Agent Based E-Business
Field of Research: COMPUTER SCIENCE
Thesis: Automated Negotiation in Multi-Agent Based E-Business
Title: PROGRAMMING LANGUAGE FOR ROBOT CONTROL
Field of Research: SALES AND MARKETING NOT ELSEWHERE CLASSIFIED
Thesis: e-MARKETPLACE DEVELOPMENT AND TRADING AGENT DESIGN FOR SUPPLY CHAIN MANAGEMENT
Title: e-Market Mechanism Design for Supply Chain Management
Field of Research: COMPUTER SCIENCE
Thesis: e-Market Mechanism Design for Supply Chain Management
Title: Mechanism Design for Dynamic Double Actions
Field of Research: ARTIFICIAL INTELLIGENCE
Thesis: <p> Mechanism Design for Dynamic Double Actions</p>
Title: Answer Set Programs with One Incremental Variable
Field of Research: ARTIFICIAL INTELLIGENCE
Thesis: Answer Set Programs with One Incremental Variable
Title: Trading Strategies for Autonomous Agents in Financial Markets
Field of Research: INFORMATION TECHNOLOGY
Thesis: Trading Strategies for Autonomous Agents in Financial Markets

Western Sydney University

Locked Bag 1797
Penrith NSW 2751

Tel: +61 2 9852 5222

ABN 53 014 069 881
CRICOS Provider No: 00917k

Visit our mobile site