Doctor Dongmo Zhang

Conference Papers

• Zhang, D. (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 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.