Dongmo Zhang - RankMe

108 papers A* 14A 8B 22C 2Misc 1Journal 22Unranked 38

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