![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Dongmo Zhang
Person information
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c76]Jianglin Qiao, Dave de Jonge, Dongmo Zhang, Simeon Simoff, Carles Sierra, Bo Du:
Extended Abstract: Price of Anarchy of Traffic Assignment with Exponential Cost Functions. AAMAS 2024: 2842-2844 - 2023
- [j18]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): 42 (2023) - [j17]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): 163-187 (2023) - 2022
- [c75]Dave de Jonge, Dongmo Zhang:
GDL as a Unifying Domain Description Language for Declarative Automated Negotiation. AAMAS 2022: 1935-1937 - [c74]Jianglin Qiao, Dongmo Zhang, Dave de Jonge:
Priority-Based Traffic Management Protocols for Autonomous Vehicles on Road Networks. AI 2022: 240-253 - [c73]Qi Wang, Dongmo Zhang, Bo Du
:
A Queue Balancing Approach for Electric Vehicle Charging Allocation. ITSC 2022: 2750-2755 - [c72]Jianglin Qiao, Dave de Jonge, Dongmo Zhang, Carles Sierra, Simeon Simoff:
A Hybrid Model of Traffic Assignment and Control for Autonomous Vehicles. PRIMA 2022: 208-226 - 2021
- [j16]Dave de Jonge
, Dongmo Zhang:
GDL as a unifying domain description language for declarative automated negotiation. Auton. Agents Multi Agent Syst. 35(1): 13 (2021) - [j15]Guifei Jiang
, Dongmo Zhang, Laurent Perrussel
, Heng Zhang:
Epistemic GDL: A logic for representing and reasoning about imperfect information games. Artif. Intell. 294: 103453 (2021) - 2020
- [j14]Dave de Jonge
, Dongmo Zhang:
Strategic negotiations for extensive-form games. Auton. Agents Multi Agent Syst. 34(1): 2 (2020) - [j13]Kingshuk Mazumdar
, Dongmo Zhang, Yi Guo:
Portfolio selection and unsystematic risk optimisation using swarm intelligence. J. Bank. Financial Technol. 4(1): 1-14 (2020) - [c71]Dave de Jonge, Dongmo Zhang:
Strategic Negotiations for Extensive-Form Games. AAMAS 2020: 2134-2136 - [c70]Dongmo Zhang:
Behavioural Equivalence of Game Descriptions. Australasian Conference on Artificial Intelligence 2020: 307-319
2010 – 2019
- 2019
- [c69]Jianglin Qiao, Dongmo Zhang, Dave de Jonge:
Graph Representation of Road and Traffic for Autonomous Driving. PRICAI (3) 2019: 377-384 - [c68]Guifei Jiang, Laurent Perrussel
, Dongmo Zhang, Heng Zhang, Yuzhi Zhang:
Game Equivalence and Bisimulation for Game Description Language. PRICAI (1) 2019: 583-596 - [c67]Guifei Jiang, Laurent Perrussel
, Dongmo Zhang, Heng Zhang, Yuzhi Zhang:
Characterizing the Expressivity of Game Description Languages. PRICAI (1) 2019: 597-611 - [c66]Kingshuk Mazumdar, Dongmo Zhang, Yi Guo:
Portfolio Risk Optimisation and Diversification Using Swarm Intelligence. PRICAI (3) 2019: 740-747 - [c65]Kingshuk Mazumdar, Dongmo Zhang, Yi Guo:
Multi-peak Algorithmic Trading Strategies Using Grey Wolf Optimizer. PRICAI (3) 2019: 748-754 - 2018
- [j12]Guifei Jiang, Dongmo Zhang, Laurent Perrussel
:
A Hierarchical Approach to Judgment Aggregation with Abstentions. Comput. Intell. 34(1): 104-123 (2018) - [c64]Dongmo Zhang:
A Logic for Reasoning About Game Descriptions. Australasian Conference on Artificial Intelligence 2018: 38-50 - [c63]Jianglin Qiao, Dongmo Zhang, Dave de Jonge:
Virtual Roundabout Protocol for Autonomous Vehicles. Australasian Conference on Artificial Intelligence 2018: 773-782 - 2017
- [c62]Zhanhao Xiao, Andreas Herzig, Laurent Perrussel, Dongmo Zhang:
Deciding Refinement Relation in Belief-Intention Databases. AI*IA 2017: 186-199 - [c61]Dave de Jonge, Dongmo Zhang:
Automated Negotiations for General Game Playing. AAMAS 2017: 371-379 - [c60]Guifei Jiang, Laurent Perrussel, Dongmo Zhang:
On Axiomatization of Epistemic GDL. LORI 2017: 598-613 - 2016
- [j11]Xiaoxin Jing, Dongmo Zhang, Xudong Luo, Jieyu Zhan:
A Logical Multidemand Bargaining Model with Integrity Constraints. Int. J. Intell. Syst. 31(7): 673-697 (2016) - [c59]Dave de Jonge
, Dongmo Zhang:
Using GDL to Represent Domain Knowledge for Automated Negotiations. AAMAS Workshops (Visionary Papers) 2016: 134-153 - [c58]Dave de Jonge
, Dongmo Zhang:
Lifted Backward Search for General Game Playing. Australasian Conference on Artificial Intelligence 2016: 3-16 - [c57]Guifei Jiang, Dongmo Zhang, Laurent Perrussel, Heng Zhang:
Epistemic GDL: A Logic for Representing and Reasoning about Imperfect Information Games. IJCAI 2016: 1138-1144 - [c56]Andreas Herzig, Laurent Perrussel, Zhanhao Xiao, Dongmo Zhang:
Refinement of Intentions. JELIA 2016: 558-563 - 2015
- [j10]Wu Chen, Dongmo Zhang, Maonian Wu:
A sequential model of bargaining in logic programming. Frontiers Comput. Sci. 9(3): 474-484 (2015) - [j9]Dongmo Zhang, Michael Thielscher:
Representing and Reasoning about Game Strategies. J. Philos. Log. 44(2): 203-236 (2015) - [c55]Dongmo Zhang, Michael Thielscher:
A Logic for Reasoning About Game Strategies. AAAI 2015: 1671-1677 - [c54]Guifei Jiang, Dongmo Zhang, Laurent Perrussel, Heng Zhang:
A Logic for Collective Choice. AAMAS 2015: 979-987 - [c53]Guifei Jiang, Dongmo Zhang, Laurent Perrussel:
Knowledge Sharing in Coalitions. Australasian Conference on Artificial Intelligence 2015: 249-262 - [i5]Guifei Jiang, Dongmo Zhang, Laurent Perrussel:
Knowledge Sharing in Coalitions. CoRR abs/1512.01915 (2015) - 2014
- [c52]Dengji Zhao, Dongmo Zhang, Enrico H. Gerding, Yuko Sakurai, Makoto Yokoo:
Incentives in ridesharing with deficit control. AAMAS 2014: 1021-1028 - [c51]Guifei Jiang, Dongmo Zhang, Laurent Perrussel:
GDL Meets ATL: A Logic for Game Description and Strategic Reasoning. PRICAI 2014: 733-746 - [c50]Guifei Jiang, Dongmo Zhang, Laurent Perrussel:
Judgment Aggregation with Abstentions under Voters' Hierarchy. PRIMA 2014: 341-356 - [i4]Dongmo Zhang, Yan Zhang:
An Ordinal Bargaining Solution with Fixed-Point Property. CoRR abs/1405.5201 (2014) - [i3]Dongmo Zhang, Michael Thielscher:
Representing and Reasoning about Game Strategies. CoRR abs/1407.5380 (2014) - 2013
- [c49]Xiaoxin Jing, Dongmo Zhang, Xudong Luo:
A Logical Framework of Bargaining with Integrity Constraints. Australasian Conference on Artificial Intelligence 2013: 1-13 - [c48]Guifei Jiang, Dongmo Zhang, Xiaojia Tang:
Judgment Aggregation with Abstentions: A Hierarchical Approach. LORI 2013: 321-325 - [c47]Wu Chen, Dongmo Zhang, Maonian Wu:
A Sequential Model for Reasoning about Bargaining in Logic Programs. LPNMR 2013: 239-244 - [i2]Dengji Zhao, Dongmo Zhang, Laurent Perrussel:
Decomposing Truthful and Competitive Online Double Auctions. CoRR abs/1311.0198 (2013) - 2012
- [c46]Dengji Zhao, Dongmo Zhang, Laurent Perrussel:
Multi-unit Double Auction under Group Buying. ECAI 2012: 882-887 - [c45]Laurent Perrussel, Jerusa Marchi, Jean-Marc Thévenin, Dongmo Zhang:
Relevant Minimal Change in Belief Update. JELIA 2012: 333-345 - [c44]Dongmo Zhang:
A Model of Intention with (Un)Conditional Commitments. PRICAI 2012: 698-709 - [e1]Michael Thielscher, Dongmo Zhang:
AI 2012: Advances in Artificial Intelligence - 25th Australasian Joint Conference, Sydney, Australia, December 4-7, 2012. Proceedings. Lecture Notes in Computer Science 7691, Springer 2012, ISBN 978-3-642-35100-6 [contents] - 2011
- [c43]Maonian Wu, Dongmo Zhang, Mingyi Zhang:
Language Splitting and Relevance-Based Belief Change in Horn Logic. AAAI 2011: 268-273 - [c42]Junwu Zhu, Dongmo Zhang:
Dynamic Auction for Efficient Competitive Equilibrium under Price Rigidities. Australasian Conference on Artificial Intelligence 2011: 809-818 - [c41]Dengji Zhao, Dongmo Zhang, Laurent Perrussel:
How to Make Specialists NOT Specialised in TAC Market Design Competition? Behaviour-Based Mechanism Design. EC-Web 2011: 124-135 - [c40]Dengji Zhao, Dongmo Zhang, Laurent Perrussel:
Mechanism Design for Double Auctions with Temporal Constraints. IJCAI 2011: 472-477 - 2010
- [j8]Dongmo Zhang:
A logic-based axiomatic model of bargaining. Artif. Intell. 174(16-17): 1307-1322 (2010) - [c39]Dongmo Zhang, Laurent Perrussel:
Dynamic Auction: A Tractable Auction Procedure. AAAI 2010: 935-940 - [c38]Laurent Perrussel, Jerusa Marchi, Dongmo Zhang:
Characterizing Relevant Belief Revision Operators. Australasian Conference on Artificial Intelligence 2010: 42-51 - [c37]Dengji Zhao, Dongmo Zhang, Md Khan, Laurent Perrussel:
Maximal Matching for Double Auction. Australasian Conference on Artificial Intelligence 2010: 516-525 - [c36]Wei Huang, Dongmo Zhang, Yan Zhang, Laurent Perrussel:
Bargain over Joint Plans. PRICAI 2010: 608-613
2000 – 2009
- 2009
- [c35]Michael Thielscher, Dongmo Zhang:
From General Game Descriptions to a Market Specification Language for General Trading Agents. AMEC/TADA 2009: 259-274 - [c34]Masabumi Furuhata, Laurent Perrussel, Jean-Marc Thévenin, Dongmo Zhang:
Experimental Market Mechanism Design for Double Auction. Australasian Conference on Artificial Intelligence 2009: 1-10 - [c33]Dongmo Zhang:
Axiomatic Characterization of Task Oriented Negotiation. IJCAI 2009: 367-372 - 2008
- [j7]Dongmo Zhang, Yan Zhang:
An Ordinal Bargaining Solution with Fixed-Point Property. J. Artif. Intell. Res. 33: 433-464 (2008) - [c32]Masabumi Furuhata, Laurent Perrussel, Dongmo Zhang:
Mechanism design for capacity allocation with price competition. ICEC 2008: 43:1-43:10 - [c31]Dongmo Zhang:
A Fixed-Point Property of Logic-Based Bargaining Solution. Australasian Conference on Artificial Intelligence 2008: 30-41 - [c30]Masabumi Furuhata, Dongmo Zhang, Laurent Perrussel:
Online Market Coordination. PRIMA 2008: 185-196 - 2007
- [c29]Dongmo Zhang:
Reasoning about Bargaining Situations. AAAI 2007: 154-160 - [c28]Yi Jin, Michael Thielscher, Dongmo Zhang:
Mutual Belief Revision: Semantics and Computation. AAAI 2007: 440-445 - [i1]Dongmo Zhang:
The Logic of Bargaining. Formal Models of Belief Change in Rational Agents 2007 - 2006
- [c27]Masabumi Furuhata, Dongmo Zhang:
Capacity allocation with competitive retailers. ICEC 2006: 31-37 - [c26]Dongmo Zhang, Yan Zhang:
A Computational Model of Logic-Based Negotiation. AAAI 2006: 728-733 - [c25]Dongmo Zhang, Yan Zhang:
Logical Properties of Belief-Revision-Based Bargaining Solution. Australian Conference on Artificial Intelligence 2006: 79-89 - 2005
- [j6]Dongmo Zhang, Norman Y. Foo:
Frame problem in dynamic logic. J. Appl. Non Class. Logics 15(2): 215-239 (2005) - [c24]Dongmo Zhang:
Negotiation mechanism for TAC SCM component market. AAMAS 2005: 288-295 - [c23]Yan Dang, Yulei Zhang, Dongmo Zhang, Liping Zhao:
A KNN-Based Learning Method for Biology Species Categorization. ICNC (1) 2005: 956-964 - [c22]Dongmo Zhang:
A Logical Model of Nash Bargaining Solution. IJCAI 2005: 983-990 - 2004
- [j5]Dongmo Zhang, Kanghua Zhao, Chia-Ming Liang, Gonelur Begum Huq, Tze-Haw Huang:
Strategic trading agents via market modelling. SIGecom Exch. 4(3): 46-55 (2004) - [c21]Thomas Andreas Meyer, Norman Y. Foo, Rex Kwok, Dongmo Zhang:
Logical Foundations of Negotiation: Outcome, Concession, and Adaptation. AAAI 2004: 293-298 - [c20]Dongmo Zhang, Norman Y. Foo, Thomas Andreas Meyer, Rex Kwok:
Negotiation as Mutual Belief Revision. AAAI 2004: 317-323 - [c19]Dongmo Zhang, Kanghua Zhao:
Economic Model of TAC SCM Game. IAT 2004: 273-280 - [c18]Xingjie Zeng, Fang Li, Dongmo Zhang, Athena Vakali:
An XML-Based Bootstrapping Method for Pattern Acquisition. ICEIS (2) 2004: 303-308 - [c17]Thomas Andreas Meyer, Norman Y. Foo, Rex Kwok, Dongmo Zhang:
Logical Foundations of Negotiation: Strategies and Preferences. KR 2004: 311-318 - [c16]Dongmo Zhang:
Properties of Iterated Multiple Belief Revision. LPNMR 2004: 314-325 - [c15]Wei Hu, Dongmo Zhang, Huanye Sheng:
Vague Event-Based Related News Detection. WISE 2004: 153-158 - 2003
- [c14]Dongmo Zhang, Norman Y. Foo:
Axiomatic Analysis of Negotiation Protocols. Australian Conference on Artificial Intelligence 2003: 377-389 - 2002
- [c13]Dongmo Zhang, Norman Y. Foo:
Convergency of Learning Process. Australian Joint Conference on Artificial Intelligence 2002: 547-556 - [c12]Fang Li, Huanye Sheng, Dongmo Zhang:
Event Pattern Discovery from the Stock Market Bulletin. Discovery Science 2002: 310-315 - [c11]Dongmo Zhang, Norman Y. Foo:
Interpolation Properties of Action Logic: Lazy-Formalization to the Frame Problem. JELIA 2002: 357-368 - [c10]Dongmo Zhang, Samir Chopra, Norman Y. Foo:
Consistency of Action Descriptions. PRICAI 2002: 70-79 - 2001
- [j4]Zhaohui Zhu, Dongmo Zhang, Shifu Chen, Wujia Zhu:
Some Contributions to Nonmonotonic Consequence. J. Comput. Sci. Technol. 16(4): 297-314 (2001) - [j3]Dongmo Zhang, Norman Y. Foo:
Infinitary Belief Revision. J. Philos. Log. 30(6): 525-570 (2001) - [c9]Samir Chopra, Dongmo Zhang:
Postdiction Problems in Dynamic Logic. Australian Joint Conference on Artificial Intelligence 2001: 119-129 - [c8]Norman Y. Foo, Abhaya C. Nayak
, Maurice Pagnucco, Dongmo Zhang:
State Minimization Re-visited. Australian Joint Conference on Artificial Intelligence 2001: 153-164 - [c7]Dongmo Zhang, Norman Y. Foo:
EPDL: A Logic for Causal Reasoning. IJCAI 2001: 131-138 - [c6]Norman Y. Foo, Dongmo Zhang, Yan Zhang, Samir Chopra, Quoc Bao Vo:
Encoding Solutions of the Frame Problem in Dynamic Logic. LPNMR 2001: 240-253 - 2000
- [j2]Dongmo Zhang, Zhaohui Zhu, Shifu Chen:
Default Reasoning and Belief Revision: A Syntax-Independent Approach. J. Comput. Sci. Technol. 15(5): 430-438 (2000) - [c5]Norman Y. Foo, Dongmo Zhang:
Dealing with the Ramification Problem in Extended Propositional Dynamic Logic. Advances in Modal Logic 2000: 173-191 - [c4]Dongmo Zhang, Norman Y. Foo:
Autonomy of Autonomous Agents. PRICAI 2000: 318-328
1990 – 1999
- 1998
- [c3]Tianfang Yao, Dongmo Zhang, Qian Wang:
System Demonstration Multilingual Weather Forecast Generation System. INLG 1998 - 1997
- [c2]Dongmo Zhang, Shifu Chen, Wujia Zhu, Zhaoqian Chen:
Representation Theorems for Multiple Belief Changes. IJCAI (1) 1997: 89-94 - [c1]Dongmo Zhang, Shifu Chen, Wujia Zhu, Hongbing Li:
Nonmonotonic Reasoning and Multiple Belief Revision. IJCAI (1) 1997: 95-101 - 1996
- [j1]Dongmo Zhang:
Belief revision by sets of sentences. J. Comput. Sci. Technol. 11(2): 108-125 (1996)
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-05 00:12 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint