Dongmo Zhang

According to our database, Dongmo Zhang authored at least 92 papers between 1996 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Price of anarchy of traffic assignment with exponential cost functions.

Jianglin Qiao, Dave de Jonge, Dongmo Zhang, Simeon Simoff, Carles Sierra, Bo Du

Auton. Agents Multi Agent Syst., October, 2023

Game equivalence and expressive power of game description languages: a bisimulation approach.

Guifei Jiang, Laurent Perrussel, Dongmo Zhang, Heng Zhang, Yuzhi Zhang

J. Log. Comput., January, 2023

2022

A Hybrid Model of Traffic Assignment and Control for Autonomous Vehicles.

Jianglin Qiao, Dave de Jonge, Dongmo Zhang, Carles Sierra, Simeon Simoff

Proceedings of the PRIMA 2022: Principles and Practice of Multi-Agent Systems, 2022

A Queue Balancing Approach for Electric Vehicle Charging Allocation.

Qi Wang, Dongmo Zhang, Bo Du

Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2022

Priority-Based Traffic Management Protocols for Autonomous Vehicles on Road Networks.

Jianglin Qiao, Dongmo Zhang, Dave de Jonge

Proceedings of the AI 2021: Advances in Artificial Intelligence, 2022

2021

Epistemic GDL: A logic for representing and reasoning about imperfect information games.

Guifei Jiang, Dongmo Zhang, Laurent Perrussel, Heng Zhang

Artif. Intell., 2021

GDL as a unifying domain description language for declarative automated negotiation.

Dave de Jonge, Dongmo Zhang

Auton. Agents Multi Agent Syst., 2021

2020

Portfolio selection and unsystematic risk optimisation using swarm intelligence.

Kingshuk Mazumdar, Dongmo Zhang, Yi Guo

J. Bank. Financial Technol., 2020

Strategic negotiations for extensive-form games.

Dave de Jonge, Dongmo Zhang

Auton. Agents Multi Agent Syst., 2020

Behavioural Equivalence of Game Descriptions.

Dongmo Zhang

Proceedings of the AI 2020: Advances in Artificial Intelligence, 2020

2019

Graph Representation of Road and Traffic for Autonomous Driving.

Jianglin Qiao, Dongmo Zhang, Dave de Jonge

Proceedings of the PRICAI 2019: Trends in Artificial Intelligence, 2019

Multi-peak Algorithmic Trading Strategies Using Grey Wolf Optimizer.

Kingshuk Mazumdar, Dongmo Zhang, Yi Guo

Proceedings of the PRICAI 2019: Trends in Artificial Intelligence, 2019

Portfolio Risk Optimisation and Diversification Using Swarm Intelligence.

Kingshuk Mazumdar, Dongmo Zhang, Yi Guo

Proceedings of the PRICAI 2019: Trends in Artificial Intelligence, 2019

Characterizing the Expressivity of Game Description Languages.

Guifei Jiang, Laurent Perrussel, Dongmo Zhang, Heng Zhang, Yuzhi Zhang

Proceedings of the PRICAI 2019: Trends in Artificial Intelligence, 2019

Game Equivalence and Bisimulation for Game Description Language.

Guifei Jiang, Laurent Perrussel, Dongmo Zhang, Heng Zhang, Yuzhi Zhang

Proceedings of the PRICAI 2019: Trends in Artificial Intelligence, 2019

2018

A Hierarchical Approach to Judgment Aggregation with Abstentions.

Guifei Jiang, Dongmo Zhang, Laurent Perrussel

Comput. Intell., 2018

A Logic for Reasoning About Game Descriptions.

Dongmo Zhang

Proceedings of the AI 2018: Advances in Artificial Intelligence, 2018

Virtual Roundabout Protocol for Autonomous Vehicles.

Jianglin Qiao, Dongmo Zhang, Dave de Jonge

Proceedings of the AI 2018: Advances in Artificial Intelligence, 2018

2017

On Axiomatization of Epistemic GDL.

Guifei Jiang, Laurent Perrussel, Dongmo Zhang

Proceedings of the Logic, Rationality, and Interaction - 6th International Workshop, 2017

Automated Negotiations for General Game Playing.

Dave de Jonge, Dongmo Zhang

Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

Deciding Refinement Relation in Belief-Intention Databases.

Zhanhao Xiao, Andreas Herzig, Laurent Perrussel, Dongmo Zhang

Proceedings of the AI*IA 2017 Advances in Artificial Intelligence, 2017

2016

A Logical Multidemand Bargaining Model with Integrity Constraints.

Xiaoxin Jing, Dongmo Zhang, Xudong Luo, Jieyu Zhan

Int. J. Intell. Syst., 2016

Refinement of Intentions.

Andreas Herzig, Laurent Perrussel, Zhanhao Xiao, Dongmo Zhang

Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

Lifted Backward Search for General Game Playing.

Dave de Jonge, Dongmo Zhang

Proceedings of the AI 2016: Advances in Artificial Intelligence, 2016

Using GDL to Represent Domain Knowledge for Automated Negotiations.

Dave de Jonge, Dongmo Zhang

Proceedings of the Autonomous Agents and Multiagent Systems - AAMAS 2016 Workshops, - Visionary Papers, 2016

2015

Representing and Reasoning about Game Strategies.

Dongmo Zhang, Michael Thielscher

J. Philos. Log., 2015

A sequential model of bargaining in logic programming.

Wu Chen, Dongmo Zhang, Maonian Wu

Frontiers Comput. Sci., 2015

Knowledge Sharing in Coalitions.

Guifei Jiang, Dongmo Zhang, Laurent Perrussel

Proceedings of the AI 2015: Advances in Artificial Intelligence, 2015

A Logic for Collective Choice.

Guifei Jiang, Dongmo Zhang, Laurent Perrussel, Heng Zhang

Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

A Logic for Reasoning About Game Strategies.

Dongmo Zhang, Michael Thielscher

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

Judgment Aggregation with Abstentions under Voters' Hierarchy.

Guifei Jiang, Dongmo Zhang, Laurent Perrussel

Proceedings of the PRIMA 2014: Principles and Practice of Multi-Agent Systems, 2014

GDL Meets ATL: A Logic for Game Description and Strategic Reasoning.

Guifei Jiang, Dongmo Zhang, Laurent Perrussel

Proceedings of the PRICAI 2014: Trends in Artificial Intelligence, 2014

Incentives in ridesharing with deficit control.

Dengji Zhao, Dongmo Zhang, Enrico H. Gerding, Yuko Sakurai, Makoto Yokoo

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

2013

Decomposing Truthful and Competitive Online Double Auctions.

Dengji Zhao, Dongmo Zhang, Laurent Perrussel

CoRR, 2013

A Sequential Model for Reasoning about Bargaining in Logic Programs.

Wu Chen, Dongmo Zhang, Maonian Wu

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

Judgment Aggregation with Abstentions: A Hierarchical Approach.

Guifei Jiang, Dongmo Zhang, Xiaojia Tang

Proceedings of the Logic, Rationality, and Interaction - 4th International Workshop, 2013

A Logical Framework of Bargaining with Integrity Constraints.

Xiaoxin Jing, Dongmo Zhang, Xudong Luo

Proceedings of the AI 2013: Advances in Artificial Intelligence, 2013

2012

A Model of Intention with (Un)Conditional Commitments.

Dongmo Zhang

Proceedings of the PRICAI 2012: Trends in Artificial Intelligence, 2012

Relevant Minimal Change in Belief Update.

Laurent Perrussel, Jerusa Marchi, Jean-Marc Thévenin, Dongmo Zhang

Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012

Multi-unit Double Auction under Group Buying.

Dengji Zhao, Dongmo Zhang, Laurent Perrussel

Proceedings of the ECAI 2012, 2012

2011

Mechanism Design for Double Auctions with Temporal Constraints.

Dengji Zhao, Dongmo Zhang, Laurent Perrussel

Proceedings of the IJCAI 2011, 2011

How to Make Specialists NOT Specialised in TAC Market Design Competition? Behaviour-Based Mechanism Design.

Dengji Zhao, Dongmo Zhang, Laurent Perrussel

Proceedings of the E-Commerce and Web Technologies - 12th International Conference, 2011

Dynamic Auction for Efficient Competitive Equilibrium under Price Rigidities.

Junwu Zhu, Dongmo Zhang

Proceedings of the AI 2011: Advances in Artificial Intelligence, 2011

Language Splitting and Relevance-Based Belief Change in Horn Logic.

Maonian Wu, Dongmo Zhang, Mingyi Zhang

Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2010

A logic-based axiomatic model of bargaining.

Dongmo Zhang

Artif. Intell., 2010

Bargain over Joint Plans.

Wei Huang, Dongmo Zhang, Yan Zhang, Laurent Perrussel

Proceedings of the PRICAI 2010: Trends in Artificial Intelligence, 2010

Maximal Matching for Double Auction.

Dengji Zhao, Dongmo Zhang, Md Khan, Laurent Perrussel

Proceedings of the AI 2010: Advances in Artificial Intelligence, 2010

Characterizing Relevant Belief Revision Operators.

Laurent Perrussel, Jerusa Marchi, Dongmo Zhang

Proceedings of the AI 2010: Advances in Artificial Intelligence, 2010

Dynamic Auction: A Tractable Auction Procedure.

Dongmo Zhang, Laurent Perrussel

Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2009

Axiomatic Characterization of Task Oriented Negotiation.

Dongmo Zhang

Proceedings of the IJCAI 2009, 2009

Experimental Market Mechanism Design for Double Auction.

Masabumi Furuhata, Laurent Perrussel, Jean-Marc Thévenin, Dongmo Zhang

Proceedings of the AI 2009: Advances in Artificial Intelligence, 2009

From General Game Descriptions to a Market Specification Language for General Trading Agents.

Michael Thielscher, Dongmo Zhang

Proceedings of the Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets, 2009

2008

An Ordinal Bargaining Solution with Fixed-Point Property.

Dongmo Zhang, Yan Zhang

J. Artif. Intell. Res., 2008

Online Market Coordination.

Masabumi Furuhata, Dongmo Zhang, Laurent Perrussel

Proceedings of the Intelligent Agents and Multi-Agent Systems, 2008

A Fixed-Point Property of Logic-Based Bargaining Solution.

Dongmo Zhang

Proceedings of the AI 2008: Advances in Artificial Intelligence, 2008

Mechanism design for capacity allocation with price competition.

Masabumi Furuhata, Laurent Perrussel, Dongmo Zhang

Proceedings of the 10th International Conference on Electronic Commerce 2008, 2008

2007

The Logic of Bargaining.

Dongmo Zhang

Proceedings of the Formal Models of Belief Change in Rational Agents, 26.08. - 30.08.2007, 2007

Reasoning about Bargaining Situations.

Dongmo Zhang

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

Mutual Belief Revision: Semantics and Computation.

Yi Jin, Michael Thielscher, Dongmo Zhang

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006

Logical Properties of Belief-Revision-Based Bargaining Solution.

Dongmo Zhang, Yan Zhang

Proceedings of the AI 2006: Advances in Artificial Intelligence, 2006

A Computational Model of Logic-Based Negotiation.

Dongmo Zhang, Yan Zhang

Proceedings of the Proceedings, 2006

Capacity allocation with competitive retailers.

Masabumi Furuhata, Dongmo Zhang

Proceedings of the 8th International Conference on Electronic Commerce: The new e-commerce, 2006

2005

Frame problem in dynamic logic.

Dongmo Zhang, Norman Y. Foo

J. Appl. Non Class. Logics, 2005

A Logical Model of Nash Bargaining Solution.

Dongmo Zhang

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

A KNN-Based Learning Method for Biology Species Categorization.

Yan Dang, Yulei Zhang, Dongmo Zhang, Liping Zhao

Proceedings of the Advances in Natural Computation, First International Conference, 2005

Negotiation mechanism for TAC SCM component market.

Dongmo Zhang

Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005

2004

Strategic trading agents via market modelling.

Dongmo Zhang, Kanghua Zhao, Chia-Ming Liang, Gonelur Begum Huq, Tze-Haw Huang

SIGecom Exch., 2004

Vague Event-Based Related News Detection.

Wei Hu, Dongmo Zhang, Huanye Sheng

Proceedings of the Web Information Systems, 2004

Properties of Iterated Multiple Belief Revision.

Dongmo Zhang

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004

Logical Foundations of Negotiation: Strategies and Preferences.

Thomas Andreas Meyer, Norman Y. Foo, Rex Kwok, Dongmo Zhang

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

An XML-Based Bootstrapping Method for Pattern Acquisition.

Xingjie Zeng, Fang Li, Dongmo Zhang, Athena Vakali

Proceedings of the ICEIS 2004, 2004

Economic Model of TAC SCM Game.

Dongmo Zhang, Kanghua Zhao

Proceedings of the 2004 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2004), 2004

Negotiation as Mutual Belief Revision.

Dongmo Zhang, Norman Y. Foo, Thomas Andreas Meyer, Rex Kwok

Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004

Logical Foundations of Negotiation: Outcome, Concession, and Adaptation.

Thomas Andreas Meyer, Norman Y. Foo, Rex Kwok, Dongmo Zhang

Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004

2003

Axiomatic Analysis of Negotiation Protocols.

Dongmo Zhang, Norman Y. Foo

Proceedings of the AI 2003: Advances in Artificial Intelligence, 2003

2002

Consistency of Action Descriptions.

Dongmo Zhang, Samir Chopra, Norman Y. Foo

Proceedings of the PRICAI 2002: Trends in Artificial Intelligence, 2002

Interpolation Properties of Action Logic: Lazy-Formalization to the Frame Problem.

Dongmo Zhang, Norman Y. Foo

Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

Event Pattern Discovery from the Stock Market Bulletin.

Fang Li, Huanye Sheng, Dongmo Zhang

Proceedings of the Discovery Science, 5th International Conference, 2002

Convergency of Learning Process.

Dongmo Zhang, Norman Y. Foo

Proceedings of the AI 2002: Advances in Artificial Intelligence, 2002

2001

Infinitary Belief Revision.

Dongmo Zhang, Norman Y. Foo

J. Philos. Log., 2001

Some Contributions to Nonmonotonic Consequence.

Zhaohui Zhu, Dongmo Zhang, Shifu Chen, Wujia Zhu

J. Comput. Sci. Technol., 2001

Encoding Solutions of the Frame Problem in Dynamic Logic.

Norman Y. Foo, Dongmo Zhang, Yan Zhang, Samir Chopra, Quoc Bao Vo

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

EPDL: A Logic for Causal Reasoning.

Dongmo Zhang, Norman Y. Foo

Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

State Minimization Re-visited.

Norman Y. Foo, Abhaya C. Nayak, Maurice Pagnucco, Dongmo Zhang

Proceedings of the AI 2001: Advances in Artificial Intelligence, 2001

Postdiction Problems in Dynamic Logic.

Samir Chopra, Dongmo Zhang

Proceedings of the AI 2001: Advances in Artificial Intelligence, 2001

2000

Default Reasoning and Belief Revision: A Syntax-Independent Approach.

Dongmo Zhang, Zhaohui Zhu, Shifu Chen

J. Comput. Sci. Technol., 2000

Autonomy of Autonomous Agents.

Dongmo Zhang, Norman Y. Foo

Proceedings of the PRICAI 2000, Topics in Artificial Intelligence, 6th Pacific Rim International Conference on Artificial Intelligence, Melbourne, Australia, August 28, 2000

Dealing with the Ramification Problem in Extended Propositional Dynamic Logic.

Norman Y. Foo, Dongmo Zhang

Proceedings of the Advances in Modal Logic 3, 2000

1998

System Demonstration Multilingual Weather Forecast Generation System.

Tianfang Yao, Dongmo Zhang, Qian Wang

Proceedings of the Ninth International Workshop on Natural Language Generation, 1998

1997

Nonmonotonic Reasoning and Multiple Belief Revision.

Dongmo Zhang, Shifu Chen, Wujia Zhu, Hongbing Li

Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

Representation Theorems for Multiple Belief Changes.

Dongmo Zhang, Shifu Chen, Wujia Zhu, Zhaoqian Chen

Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

1996

Belief revision by sets of sentences.

Dongmo Zhang

J. Comput. Sci. Technol., 1996