Dongmo Zhang

Publication Activity (10 Years)

Years Active: 1996-2023
Publications (10 Years): 34

Top Topics

Description Languages

Autonomous Vehicles

Automated Negotiation

Top Venues

Australasian Conference on Artificial Intelligence

Auton. Agents Multi Agent Syst.

Publications

Jianglin Qiao, Dave de Jonge, Dongmo Zhang, Simeon Simoff, Carles Sierra, Bo Du
Price of anarchy of traffic assignment with exponential cost functions. Auton. Agents Multi Agent Syst. 37 (2) (2023)
Guifei Jiang, Laurent Perrussel, Dongmo Zhang, Heng Zhang, Yuzhi Zhang
Game equivalence and expressive power of game description languages: a bisimulation approach. J. Log. Comput. 33 (1) (2023)
Dave de Jonge, Dongmo Zhang
GDL as a Unifying Domain Description Language for Declarative Automated Negotiation. AAMAS (2022)
Qi Wang, Dongmo Zhang, Bo Du
A Queue Balancing Approach for Electric Vehicle Charging Allocation. ITSC (2022)
Jianglin Qiao, Dongmo Zhang, Dave de Jonge
Priority-Based Traffic Management Protocols for Autonomous Vehicles on Road Networks. AI (2022)
Jianglin Qiao, Dave de Jonge, Dongmo Zhang, Carles Sierra, Simeon Simoff
A Hybrid Model of Traffic Assignment and Control for Autonomous Vehicles. PRIMA (2022)
Guifei Jiang, Dongmo Zhang, Laurent Perrussel, Heng Zhang
Epistemic GDL: A logic for representing and reasoning about imperfect information games. Artif. Intell. 294 (2021)
Dave de Jonge, Dongmo Zhang
GDL as a unifying domain description language for declarative automated negotiation. Auton. Agents Multi Agent Syst. 35 (1) (2021)
Dave de Jonge, Dongmo Zhang
Strategic Negotiations for Extensive-Form Games. AAMAS (2020)
Dave de Jonge, Dongmo Zhang
Strategic negotiations for extensive-form games. Auton. Agents Multi Agent Syst. 34 (1) (2020)
Kingshuk Mazumdar, Dongmo Zhang, Yi Guo
Portfolio selection and unsystematic risk optimisation using swarm intelligence. J. Bank. Financial Technol. 4 (1) (2020)
Dongmo Zhang
Behavioural Equivalence of Game Descriptions. Australasian Conference on Artificial Intelligence (2020)
Guifei Jiang, Laurent Perrussel, Dongmo Zhang, Heng Zhang, Yuzhi Zhang
Characterizing the Expressivity of Game Description Languages. PRICAI (1) (2019)
Jianglin Qiao, Dongmo Zhang, Dave de Jonge
Graph Representation of Road and Traffic for Autonomous Driving. PRICAI (3) (2019)
Kingshuk Mazumdar, Dongmo Zhang, Yi Guo
Portfolio Risk Optimisation and Diversification Using Swarm Intelligence. PRICAI (3) (2019)
Guifei Jiang, Laurent Perrussel, Dongmo Zhang, Heng Zhang, Yuzhi Zhang
Game Equivalence and Bisimulation for Game Description Language. PRICAI (1) (2019)
Kingshuk Mazumdar, Dongmo Zhang, Yi Guo
Multi-peak Algorithmic Trading Strategies Using Grey Wolf Optimizer. PRICAI (3) (2019)
Guifei Jiang, Dongmo Zhang, Laurent Perrussel
A Hierarchical Approach to Judgment Aggregation with Abstentions. Comput. Intell. 34 (1) (2018)
Dongmo Zhang
A Logic for Reasoning About Game Descriptions. Australasian Conference on Artificial Intelligence (2018)
Jianglin Qiao, Dongmo Zhang, Dave de Jonge
Virtual Roundabout Protocol for Autonomous Vehicles. Australasian Conference on Artificial Intelligence (2018)
Guifei Jiang, Laurent Perrussel, Dongmo Zhang
On Axiomatization of Epistemic GDL. LORI (2017)
Zhanhao Xiao, Andreas Herzig, Laurent Perrussel, Dongmo Zhang
Deciding Refinement Relation in Belief-Intention Databases. AI*IA (2017)
Dave de Jonge, Dongmo Zhang
Automated Negotiations for General Game Playing. AAMAS (2017)
Dave de Jonge, Dongmo Zhang
Lifted Backward Search for General Game Playing. Australasian Conference on Artificial Intelligence (2016)
Xiaoxin Jing, Dongmo Zhang, Xudong Luo, Jieyu Zhan
A Logical Multidemand Bargaining Model with Integrity Constraints. Int. J. Intell. Syst. 31 (7) (2016)
Dave de Jonge, Dongmo Zhang
Using GDL to Represent Domain Knowledge for Automated Negotiations. AAMAS Workshops (Visionary Papers) (2016)
Guifei Jiang, Dongmo Zhang, Laurent Perrussel, Heng Zhang
Epistemic GDL: A Logic for Representing and Reasoning about Imperfect Information Games. IJCAI (2016)
Andreas Herzig, Laurent Perrussel, Zhanhao Xiao, Dongmo Zhang
Refinement of Intentions. JELIA (2016)
Wu Chen, Dongmo Zhang, Maonian Wu
A sequential model of bargaining in logic programming. Frontiers Comput. Sci. 9 (3) (2015)
Dongmo Zhang, Michael Thielscher
A Logic for Reasoning About Game Strategies. AAAI (2015)
Guifei Jiang, Dongmo Zhang, Laurent Perrussel
Knowledge Sharing in Coalitions. Australasian Conference on Artificial Intelligence (2015)
Guifei Jiang, Dongmo Zhang, Laurent Perrussel, Heng Zhang
A Logic for Collective Choice. AAMAS (2015)
Guifei Jiang, Dongmo Zhang, Laurent Perrussel
Knowledge Sharing in Coalitions. CoRR (2015)
Dongmo Zhang, Michael Thielscher
Representing and Reasoning about Game Strategies. J. Philos. Log. 44 (2) (2015)
Guifei Jiang, Dongmo Zhang, Laurent Perrussel
GDL Meets ATL: A Logic for Game Description and Strategic Reasoning. PRICAI (2014)
Dongmo Zhang, Michael Thielscher
Representing and Reasoning about Game Strategies. CoRR (2014)
Guifei Jiang, Dongmo Zhang, Laurent Perrussel
Judgment Aggregation with Abstentions under Voters' Hierarchy. PRIMA (2014)
Dongmo Zhang, Yan Zhang
An Ordinal Bargaining Solution with Fixed-Point Property. CoRR (2014)
Dengji Zhao, Dongmo Zhang, Enrico H. Gerding, Yuko Sakurai, Makoto Yokoo
Incentives in ridesharing with deficit control. AAMAS (2014)
Dengji Zhao, Dongmo Zhang, Laurent Perrussel
Decomposing Truthful and Competitive Online Double Auctions. CoRR (2013)
Guifei Jiang, Dongmo Zhang, Xiaojia Tang
Judgment Aggregation with Abstentions: A Hierarchical Approach. LORI (2013)
Xiaoxin Jing, Dongmo Zhang, Xudong Luo
A Logical Framework of Bargaining with Integrity Constraints. Australasian Conference on Artificial Intelligence (2013)
Wu Chen, Dongmo Zhang, Maonian Wu
A Sequential Model for Reasoning about Bargaining in Logic Programs. LPNMR (2013)
Laurent Perrussel, Jerusa Marchi, Jean-Marc Thévenin, Dongmo Zhang
Relevant Minimal Change in Belief Update. JELIA (2012)
Dengji Zhao, Dongmo Zhang, Laurent Perrussel
Multi-unit Double Auction under Group Buying. ECAI (2012)
Dongmo Zhang
A Model of Intention with (Un)Conditional Commitments. PRICAI (2012)
Dengji Zhao, Dongmo Zhang, Laurent Perrussel
Mechanism Design for Double Auctions with Temporal Constraints. IJCAI (2011)
Junwu Zhu, Dongmo Zhang
Dynamic Auction for Efficient Competitive Equilibrium under Price Rigidities. Australasian Conference on Artificial Intelligence (2011)
Maonian Wu, Dongmo Zhang, Mingyi Zhang
Language Splitting and Relevance-Based Belief Change in Horn Logic. AAAI (2011)
Dengji Zhao, Dongmo Zhang, Laurent Perrussel
How to Make Specialists NOT Specialised in TAC Market Design Competition? Behaviour-Based Mechanism Design. EC-Web (2011)
Dongmo Zhang
A logic-based axiomatic model of bargaining. Artif. Intell. 174 (16-17) (2010)
Dongmo Zhang, Laurent Perrussel
Dynamic Auction: A Tractable Auction Procedure. AAAI (2010)
Dengji Zhao, Dongmo Zhang, Md Khan, Laurent Perrussel
Maximal Matching for Double Auction. Australasian Conference on Artificial Intelligence (2010)
Laurent Perrussel, Jerusa Marchi, Dongmo Zhang
Characterizing Relevant Belief Revision Operators. Australasian Conference on Artificial Intelligence (2010)
Wei Huang, Dongmo Zhang, Yan Zhang, Laurent Perrussel
Bargain over Joint Plans. PRICAI (2010)
Masabumi Furuhata, Laurent Perrussel, Jean-Marc Thévenin, Dongmo Zhang
Experimental Market Mechanism Design for Double Auction. Australasian Conference on Artificial Intelligence (2009)
Michael Thielscher, Dongmo Zhang
From General Game Descriptions to a Market Specification Language for General Trading Agents. AMEC/TADA (2009)
Dongmo Zhang
Axiomatic Characterization of Task Oriented Negotiation. IJCAI (2009)
Masabumi Furuhata, Laurent Perrussel, Dongmo Zhang
Mechanism design for capacity allocation with price competition. ICEC (2008)
Dongmo Zhang
A Fixed-Point Property of Logic-Based Bargaining Solution. Australasian Conference on Artificial Intelligence (2008)
Masabumi Furuhata, Dongmo Zhang, Laurent Perrussel
Online Market Coordination. PRIMA (2008)
Dongmo Zhang, Yan Zhang
An Ordinal Bargaining Solution with Fixed-Point Property. J. Artif. Intell. Res. 33 (2008)
Dongmo Zhang
Reasoning about Bargaining Situations. AAAI (2007)
Yi Jin, Michael Thielscher, Dongmo Zhang
Mutual Belief Revision: Semantics and Computation. AAAI (2007)
Dongmo Zhang
The Logic of Bargaining. Formal Models of Belief Change in Rational Agents (2007)
Masabumi Furuhata, Dongmo Zhang
Capacity allocation with competitive retailers. ICEC (2006)
Dongmo Zhang, Yan Zhang
A Computational Model of Logic-Based Negotiation. AAAI (2006)
Dongmo Zhang, Yan Zhang
Logical Properties of Belief-Revision-Based Bargaining Solution. Australian Conference on Artificial Intelligence (2006)
Yan Dang, Yulei Zhang, Dongmo Zhang, Liping Zhao
A KNN-Based Learning Method for Biology Species Categorization. ICNC (1) (2005)
Dongmo Zhang
A Logical Model of Nash Bargaining Solution. IJCAI (2005)
Dongmo Zhang
Negotiation mechanism for TAC SCM component market. AAMAS (2005)
Dongmo Zhang, Norman Y. Foo
Frame problem in dynamic logic. J. Appl. Non Class. Logics 15 (2) (2005)
Thomas Andreas Meyer, Norman Y. Foo, Rex Kwok, Dongmo Zhang
Logical Foundations of Negotiation: Outcome, Concession, and Adaptation. AAAI (2004)
Dongmo Zhang
Properties of Iterated Multiple Belief Revision. LPNMR (2004)
Dongmo Zhang, Kanghua Zhao, Chia-Ming Liang, Gonelur Begum Huq, Tze-Haw Huang
Strategic trading agents via market modelling. SIGecom Exch. 4 (3) (2004)
Dongmo Zhang, Kanghua Zhao
Economic Model of TAC SCM Game. IAT (2004)
Xingjie Zeng, Fang Li, Dongmo Zhang, Athena Vakali
An XML-Based Bootstrapping Method for Pattern Acquisition. ICEIS (2) (2004)
Dongmo Zhang, Norman Y. Foo, Thomas Andreas Meyer, Rex Kwok
Negotiation as Mutual Belief Revision. AAAI (2004)
Thomas Andreas Meyer, Norman Y. Foo, Rex Kwok, Dongmo Zhang
Logical Foundations of Negotiation: Strategies and Preferences. KR (2004)
Wei Hu, Dongmo Zhang, Huanye Sheng
Vague Event-Based Related News Detection. WISE (2004)
Dongmo Zhang, Norman Y. Foo
Axiomatic Analysis of Negotiation Protocols. Australian Conference on Artificial Intelligence (2003)
Dongmo Zhang, Samir Chopra, Norman Y. Foo
Consistency of Action Descriptions. PRICAI (2002)
Dongmo Zhang, Norman Y. Foo
Interpolation Properties of Action Logic: Lazy-Formalization to the Frame Problem. JELIA (2002)
Fang Li, Huanye Sheng, Dongmo Zhang
Event Pattern Discovery from the Stock Market Bulletin. Discovery Science (2002)
Dongmo Zhang, Norman Y. Foo
Convergency of Learning Process. Australian Joint Conference on Artificial Intelligence (2002)
Norman Y. Foo, Abhaya C. Nayak, Maurice Pagnucco, Dongmo Zhang
State Minimization Re-visited. Australian Joint Conference on Artificial Intelligence (2001)
Samir Chopra, Dongmo Zhang
Postdiction Problems in Dynamic Logic. Australian Joint Conference on Artificial Intelligence (2001)
Dongmo Zhang, Norman Y. Foo
Infinitary Belief Revision. J. Philos. Log. 30 (6) (2001)
Zhaohui Zhu, Dongmo Zhang, Shifu Chen, Wujia Zhu
Some Contributions to Nonmonotonic Consequence. J. Comput. Sci. Technol. 16 (4) (2001)
Norman Y. Foo, Dongmo Zhang, Yan Zhang, Samir Chopra, Quoc Bao Vo
Encoding Solutions of the Frame Problem in Dynamic Logic. LPNMR (2001)
Dongmo Zhang, Norman Y. Foo
EPDL: A Logic for Causal Reasoning. IJCAI (2001)
Dongmo Zhang, Zhaohui Zhu, Shifu Chen
Default Reasoning and Belief Revision: A Syntax-Independent Approach. J. Comput. Sci. Technol. 15 (5) (2000)
Norman Y. Foo, Dongmo Zhang
Dealing with the Ramification Problem in Extended Propositional Dynamic Logic. Advances in Modal Logic (2000)
Dongmo Zhang, Norman Y. Foo
Autonomy of Autonomous Agents. PRICAI (2000)
Tianfang Yao, Dongmo Zhang, Qian Wang
System Demonstration Multilingual Weather Forecast Generation System. INLG (1998)
Dongmo Zhang, Shifu Chen, Wujia Zhu, Zhaoqian Chen
Representation Theorems for Multiple Belief Changes. IJCAI (1) (1997)
Dongmo Zhang, Shifu Chen, Wujia Zhu, Hongbing Li
Nonmonotonic Reasoning and Multiple Belief Revision. IJCAI (1) (1997)
Dongmo Zhang
Belief revision by sets of sentences. J. Comput. Sci. Technol. 11 (2) (1996)