Belief revision by sets of sentences. - Dongmo Zhang (J. Comput. Sci. Technol., 1996)

Representation Theorems for Multiple Belief Changes. - Dongmo Zhang; Shifu Chen; Wujia Zhu; Zhaoqian Chen (IJCAI (1), 1997)

Nonmonotonic Reasoning and Multiple Belief Revision. - Dongmo Zhang; Shifu Chen; Wujia Zhu; Hongbing Li (IJCAI (1), 1997)

System Demonstration Multilingual Weather Forecast Generation System. - Tianfang Yao; Dongmo Zhang; Qian Wang (INLG, 1998)

Dealing with the Ramification Problem in Extended Propositional Dynamic Logic. - Norman Y. Foo; Dongmo Zhang (Advances in Modal Logic, 2000)

Autonomy of Autonomous Agents. - Dongmo Zhang; Norman Y. Foo (PRICAI, 2000)

Default Reasoning and Belief Revision: A Syntax-Independent Approach. - Dongmo Zhang; Zhaohui Zhu; Shifu Chen (J. Comput. Sci. Technol., 2000)

Postdiction Problems in Dynamic Logic. - Samir Chopra; Dongmo Zhang (Australian Joint Conference on Artificial Intelligence, 2001)

State Minimization Re-visited. - Norman Y. Foo; Abhaya C. Nayak; Maurice Pagnucco; Dongmo Zhang (Australian Joint Conference on Artificial Intelligence, 2001)

EPDL: A Logic for Causal Reasoning. - Dongmo Zhang; Norman Y. Foo (IJCAI, 2001)

Encoding Solutions of the Frame Problem in Dynamic Logic. - Norman Y. Foo; Dongmo Zhang; Yan Zhang 003; Samir Chopra; Quoc Bao Vo (LPNMR, 2001)

Some Contributions to Nonmonotonic Consequence. - Zhaohui Zhu; Dongmo Zhang; Shifu Chen; Wujia Zhu (J. Comput. Sci. Technol., 2001)

Infinitary Belief Revision. - Dongmo Zhang; Norman Y. Foo (J. Philos. Log., 2001)

Convergency of Learning Process. - Dongmo Zhang; Norman Y. Foo (Australian Joint Conference on Artificial Intelligence, 2002)

Event Pattern Discovery from the Stock Market Bulletin. - Fang Li 001; Huanye Sheng; Dongmo Zhang (Discovery Science, 2002)

Interpolation Properties of Action Logic: Lazy-Formalization to the Frame Problem. - Dongmo Zhang; Norman Y. Foo (JELIA, 2002)

Consistency of Action Descriptions. - Dongmo Zhang; Samir Chopra; Norman Y. Foo (PRICAI, 2002)

Axiomatic Analysis of Negotiation Protocols. - Dongmo Zhang; Norman Y. Foo (Australian Conference on Artificial Intelligence, 2003)

Logical Foundations of Negotiation: Outcome, Concession, and Adaptation. - Thomas Andreas Meyer; Norman Y. Foo; Rex Kwok; Dongmo Zhang (AAAI, 2004)

Negotiation as Mutual Belief Revision. - Dongmo Zhang; Norman Y. Foo; Thomas Andreas Meyer; Rex Kwok (AAAI, 2004)

Economic Model of TAC SCM Game. - Dongmo Zhang; Kanghua Zhao (IAT, 2004)

An XML-Based Bootstrapping Method for Pattern Acquisition. - Xingjie Zeng; Fang Li 001; Dongmo Zhang; Athena Vakali (ICEIS (2), 2004)

Logical Foundations of Negotiation: Strategies and Preferences. - Thomas Andreas Meyer; Norman Y. Foo; Rex Kwok; Dongmo Zhang (KR, 2004)

Properties of Iterated Multiple Belief Revision. - Dongmo Zhang (LPNMR, 2004)

Vague Event-Based Related News Detection. - Wei Hu; Dongmo Zhang; Huanye Sheng (WISE, 2004)

Strategic trading agents via market modelling. - Dongmo Zhang; Kanghua Zhao; Chia-Ming Liang; Gonelur Begum Huq; Tze-Haw Huang (SIGecom Exch., 2004)

Negotiation mechanism for TAC SCM component market. - Dongmo Zhang (AAMAS, 2005)

A KNN-Based Learning Method for Biology Species Categorization. - Yan Dang 001; Yulei Zhang 001; Dongmo Zhang; Liping Zhao 003 (ICNC (1), 2005)

A Logical Model of Nash Bargaining Solution. - Dongmo Zhang (IJCAI, 2005)

Frame problem in dynamic logic. - Dongmo Zhang; Norman Y. Foo (J. Appl. Non Class. Logics, 2005)

Capacity allocation with competitive retailers. - Masabumi Furuhata; Dongmo Zhang (ICEC, 2006)

A Computational Model of Logic-Based Negotiation. - Dongmo Zhang; Yan Zhang 003 (AAAI, 2006)

Logical Properties of Belief-Revision-Based Bargaining Solution. - Dongmo Zhang; Yan Zhang 003 (Australian Conference on Artificial Intelligence, 2006)

Mutual Belief Revision: Semantics and Computation. - Yi Jin 006; Michael Thielscher; Dongmo Zhang (AAAI, 2007)

Reasoning about Bargaining Situations. - Dongmo Zhang (AAAI, 2007)

The Logic of Bargaining. - Dongmo Zhang (Formal Models of Belief Change in Rational Agents, 2007)

Mechanism design for capacity allocation with price competition. - Masabumi Furuhata; Laurent Perrussel; Dongmo Zhang (ICEC, 2008)

A Fixed-Point Property of Logic-Based Bargaining Solution. - Dongmo Zhang (Australasian Conference on Artificial Intelligence, 2008)

Online Market Coordination. - Masabumi Furuhata; Dongmo Zhang; Laurent Perrussel (PRIMA, 2008)

An Ordinal Bargaining Solution with Fixed-Point Property. - Dongmo Zhang; Yan Zhang 003 (J. Artif. Intell. Res., 2008)

From General Game Descriptions to a Market Specification Language for General Trading Agents. - Michael Thielscher; Dongmo Zhang (AMEC/TADA, 2009)

Experimental Market Mechanism Design for Double Auction. - Masabumi Furuhata; Laurent Perrussel; Jean-Marc Thévenin; Dongmo Zhang (Australasian Conference on Artificial Intelligence, 2009)

Axiomatic Characterization of Task Oriented Negotiation. - Dongmo Zhang (IJCAI, 2009)

Dynamic Auction: A Tractable Auction Procedure. - Dongmo Zhang; Laurent Perrussel (AAAI, 2010)

Characterizing Relevant Belief Revision Operators. - Laurent Perrussel; Jerusa Marchi; Dongmo Zhang (Australasian Conference on Artificial Intelligence, 2010)

Maximal Matching for Double Auction. - Dengji Zhao; Dongmo Zhang; Md Khan; Laurent Perrussel (Australasian Conference on Artificial Intelligence, 2010)

Bargain over Joint Plans. - Wei Huang; Dongmo Zhang; Yan Zhang 003; Laurent Perrussel (PRICAI, 2010)

A logic-based axiomatic model of bargaining. - Dongmo Zhang (Artif. Intell., 2010)

Language Splitting and Relevance-Based Belief Change in Horn Logic. - Maonian Wu; Dongmo Zhang; Mingyi Zhang (AAAI, 2011)

Dynamic Auction for Efficient Competitive Equilibrium under Price Rigidities. - Junwu Zhu; Dongmo Zhang (Australasian Conference on Artificial Intelligence, 2011)

How to Make Specialists NOT Specialised in TAC Market Design Competition? Behaviour-Based Mechanism Design. - Dengji Zhao; Dongmo Zhang; Laurent Perrussel (EC-Web, 2011)

Mechanism Design for Double Auctions with Temporal Constraints. - Dengji Zhao; Dongmo Zhang; Laurent Perrussel (IJCAI, 2011)

Multi-unit Double Auction under Group Buying. - Dengji Zhao; Dongmo Zhang; Laurent Perrussel (ECAI, 2012)

Relevant Minimal Change in Belief Update. - Laurent Perrussel; Jerusa Marchi; Jean-Marc Thévenin; Dongmo Zhang (JELIA, 2012)

A Model of Intention with (Un)Conditional Commitments. - Dongmo Zhang (PRICAI, 2012)

A Logical Framework of Bargaining with Integrity Constraints. - Xiaoxin Jing; Dongmo Zhang; Xudong Luo (Australasian Conference on Artificial Intelligence, 2013)

Judgment Aggregation with Abstentions: A Hierarchical Approach. - Guifei Jiang; Dongmo Zhang; Xiaojia Tang (LORI, 2013)

A Sequential Model for Reasoning about Bargaining in Logic Programs. - Wu Chen; Dongmo Zhang; Maonian Wu (LPNMR, 2013)

Decomposing Truthful and Competitive Online Double Auctions. - Dengji Zhao; Dongmo Zhang; Laurent Perrussel (CoRR, 2013)

Incentives in ridesharing with deficit control. - Dengji Zhao; Dongmo Zhang; Enrico H. Gerding; Yuko Sakurai; Makoto Yokoo (AAMAS, 2014)

GDL Meets ATL: A Logic for Game Description and Strategic Reasoning. - Guifei Jiang; Dongmo Zhang; Laurent Perrussel (PRICAI, 2014)

Judgment Aggregation with Abstentions under Voters' Hierarchy. - Guifei Jiang; Dongmo Zhang; Laurent Perrussel (PRIMA, 2014)

A Logic for Reasoning About Game Strategies. - Dongmo Zhang; Michael Thielscher (AAAI, 2015)

A Logic for Collective Choice. - Guifei Jiang; Dongmo Zhang; Laurent Perrussel; Heng Zhang 006 (AAMAS, 2015)

Knowledge Sharing in Coalitions. - Guifei Jiang; Dongmo Zhang; Laurent Perrussel (Australasian Conference on Artificial Intelligence, 2015)

A sequential model of bargaining in logic programming. - Wu Chen; Dongmo Zhang; Maonian Wu (Frontiers Comput. Sci., 2015)

Representing and Reasoning about Game Strategies. - Dongmo Zhang; Michael Thielscher (J. Philos. Log., 2015)

Using GDL to Represent Domain Knowledge for Automated Negotiations. - Dave de Jonge; Dongmo Zhang (AAMAS Workshops (Visionary Papers), 2016)

Lifted Backward Search for General Game Playing. - Dave de Jonge; Dongmo Zhang (Australasian Conference on Artificial Intelligence, 2016)

Refinement of Intentions. - Andreas Herzig; Laurent Perrussel; Zhanhao Xiao; Dongmo Zhang (JELIA, 2016)

A Logical Multidemand Bargaining Model with Integrity Constraints. - Xiaoxin Jing; Dongmo Zhang; Xudong Luo; Jieyu Zhan (Int. J. Intell. Syst., 2016)

Deciding Refinement Relation in Belief-Intention Databases. - Zhanhao Xiao; Andreas Herzig; Laurent Perrussel; Dongmo Zhang (AI*IA, 2017)

Automated Negotiations for General Game Playing. - Dave de Jonge; Dongmo Zhang (AAMAS, 2017)

On Axiomatization of Epistemic GDL. - Guifei Jiang; Laurent Perrussel; Dongmo Zhang (LORI, 2017)

Virtual Roundabout Protocol for Autonomous Vehicles. - Jianglin Qiao; Dongmo Zhang; Dave de Jonge (Australasian Conference on Artificial Intelligence, 2018)

A Logic for Reasoning About Game Descriptions. - Dongmo Zhang (Australasian Conference on Artificial Intelligence, 2018)

A Hierarchical Approach to Judgment Aggregation with Abstentions. - Guifei Jiang; Dongmo Zhang; Laurent Perrussel (Comput. Intell., 2018)

Game Equivalence and Bisimulation for Game Description Language. - Guifei Jiang; Laurent Perrussel; Dongmo Zhang; Heng Zhang 006; Yuzhi Zhang (PRICAI (1), 2019)

Characterizing the Expressivity of Game Description Languages. - Guifei Jiang; Laurent Perrussel; Dongmo Zhang; Heng Zhang 006; Yuzhi Zhang (PRICAI (1), 2019)

Portfolio Risk Optimisation and Diversification Using Swarm Intelligence. - Kingshuk Mazumdar; Dongmo Zhang; Yi Guo 001 (PRICAI (3), 2019)

Multi-peak Algorithmic Trading Strategies Using Grey Wolf Optimizer. - Kingshuk Mazumdar; Dongmo Zhang; Yi Guo 001 (PRICAI (3), 2019)

Graph Representation of Road and Traffic for Autonomous Driving. - Jianglin Qiao; Dongmo Zhang; Dave de Jonge (PRICAI (3), 2019)

Behavioural Equivalence of Game Descriptions. - Dongmo Zhang (Australasian Conference on Artificial Intelligence, 2020)

Strategic negotiations for extensive-form games. - Dave de Jonge; Dongmo Zhang (Auton. Agents Multi Agent Syst., 2020)

Portfolio selection and unsystematic risk optimisation using swarm intelligence. - Kingshuk Mazumdar; Dongmo Zhang; Yi Guo 001 (J. Bank. Financial Technol., 2020)

GDL as a unifying domain description language for declarative automated negotiation. - Dave de Jonge; Dongmo Zhang (Auton. Agents Multi Agent Syst., 2021)

Epistemic GDL: A logic for representing and reasoning about imperfect information games. - Guifei Jiang; Dongmo Zhang; Laurent Perrussel; Heng Zhang 006 (Artif. Intell., 2021)

Priority-Based Traffic Management Protocols for Autonomous Vehicles on Road Networks. - Jianglin Qiao; Dongmo Zhang; Dave de Jonge (AI, 2022)

A Queue Balancing Approach for Electric Vehicle Charging Allocation. - Qi Wang 108; Dongmo Zhang; Bo Du 004 (ITSC, 2022)

A Hybrid Model of Traffic Assignment and Control for Autonomous Vehicles. - Jianglin Qiao; Dave de Jonge; Dongmo Zhang; Carles Sierra; Simeon Simoff (PRIMA, 2022)

Game equivalence and expressive power of game description languages: a bisimulation approach. - Guifei Jiang; Laurent Perrussel; Dongmo Zhang; Heng Zhang 006; Yuzhi Zhang (J. Log. Comput., 2023)

Price of anarchy of traffic assignment with exponential cost functions. - Jianglin Qiao; Dave de Jonge; Dongmo Zhang; Simeon Simoff; Carles Sierra; Bo Du 004 (Auton. Agents Multi Agent Syst., 2023)

Extended Abstract: Price of Anarchy of Traffic Assignment with Exponential Cost Functions. - Jianglin Qiao; Dave de Jonge; Dongmo Zhang; Simeon Simoff; Carles Sierra; Bo Du 004 (AAMAS, 2024)

Automated Negotiation Mechanisms for Autonomous Vehicles at Intersections. - Jianglin Qiao; Dongmo Zhang; Dave de Jonge; Simeon Simoff; Carles Sierra (PRICAI (4), 2024)

Enhancing the Efficiency of Systems with Overlapping Coalition Formation. - Jaber Valizadeh; Dongmo Zhang; Omar Mubin (PRICAI (4), 2024)

A Hybrid Model for Public Electric Vehicle Charging Infrastructure Planning. - Qi Wang 108; Dongmo Zhang; Bo Du 004 (PRICAI (5), 2024)

Modelling Congestion and Price Competition in EV Charging Markets. - Qi Wang 108; Dongmo Zhang; Bo Du 004 (PRIMA, 2024)

Bargaining Through Amalgamation. - Dongmo Zhang; Enric Plaza (PRIMA, 2024)