Zhang, Dongmo

16 publications

IJCAI 2016 Epistemic GDL: A Logic for Representing and Reasoning About Imperfect Information Games Guifei Jiang, Dongmo Zhang, Laurent Perrussel, Heng Zhang

AAAI 2015 A Logic for Reasoning About Game Strategies Dongmo Zhang, Michael Thielscher

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

IJCAI 2011 Mechanism Design for Double Auctions with Temporal Constraints Dengji Zhao, Dongmo Zhang, Laurent Perrussel

AAAI 2010 Dynamic Auction: A Tractable Auction Procedure Dongmo Zhang, Laurent Perrussel

IJCAI 2009 Axiomatic Characterization of Task Oriented Negotiation Dongmo Zhang

JAIR 2008 An Ordinal Bargaining Solution with Fixed-Point Property Dongmo Zhang, Yan Zhang

AAAI 2007 Mutual Belief Revision: Semantics and Computation Yi Jin, Michael Thielscher, Dongmo Zhang

AAAI 2007 Reasoning About Bargaining Situations Dongmo Zhang

AAAI 2006 A Computational Model of Logic-Based Negotiation Dongmo Zhang, Yan Zhang

IJCAI 2005 A Logical Model of Nash Bargaining Solution Dongmo Zhang

AAAI 2004 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

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

IJCAI 1997 Nonmonotonic Reasoning and Multiple Belief Revision Dongmo Zhang, Shifu Chen, Wujia Zhu, Hongbing Li

IJCAI 1997 Representation Theorems for Multiple Belief Changes Dongmo Zhang, Shifu Chen, Wujia Zhu, Zhaoqian Chen