Co-Chair of Program Committee for the 25th Australasian Joint Conference on Artificial Intelligence (AI-12)
Organiser of Game Theory and Logics Workshop
Member of Program Committee for
the Twenty-Sixth AAAI Conference on Artificial Intelligence (AAAI
2012)
Member of Program Committee for
the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR
2012)
Member of Senior Program Committee
for the Twenty-second International Joint Conference on Artificial
Intelligence (IJCAI-11)
Member of Program Committee for
the Twenty-Fifth AAAI Conference on Artificial Intelligence (AAAI
2011)
Member of Program Committee for
the Twenty-Fourth AAAI Conference on Artificial Intelligence (AAAI
2010)
Member of Program Committee for
the Nineteenth European Conference on Artificial Intelligence (ECAI
2010)
Member of Program Committee for
the Twenty-first International Joint Conference on Artificial
Intelligence (IJCAI-09)
Member of Program Committee for
the Twenty-Third AAAI Conference on Artificial Intelligence
(AAAI-08)
Tutorial: Game Theory in AI and
MAS at the 11th Pacific Rim International Conference on
Artificial Intelligence (PRICAI-10)
Member of Program Committee for
the Eleventh International Conference on Electronic Commerce and Web
Technologies (EC-Web 2010)
Member of Program Committee for
the 12th International Workshop on Agent-Mediated Electronic
Commerce (AMEC XII)
Member of Program Committee for
the Tenth Pacific Rim International Conference on Artificial
Intelligence (PRICAI-08)
Member of Program Committee for
the 11th Pacific Rim International Conference on Multi-Agents
(PRIMA-08)
Member of Program Committee for
the Workshops on Trading Agent Design and Analysis (TADA-08,09,10,10,11,12)
Co-Chair of Actions and Belief
Change subtrack of the Twelfth International Workshop on
Non-Monotonic Reasoning (NMR 2008)
Dongmo Zhang, A
logic-based axiomatic model of bargaining, Artificial
Intelligence, Vol 174, No 16-17, 1307-1322, 2010.
Dongmo Zhang, Laurent Perrussel
and Wei Huang, Dynamic
auction: a tractable auction procedure, Proceedings of the
Twenty-Fourth AAAI Conference on Artificial Intelligence (AAAI-10),
935-940, 2010.
Michael Thielscher and Dongmo
Zhang, A formal market specification language for general trading
agents, E. David et al. (Eds.), Agent-Mediated Electronic
Commerce: Designing Trading Strategies and Mechanisms for Electronic
Markets, LNBIP 59, Springer, 259-274, 2010 (a revised version of
TADA-09 paper).
Dengji Zhao, Dongmo Zhang, Md Khan
and Laurent Perrussel, Maximal matching for double auction, Proceedings of the 23th Australasian Joint Conference on
Artificial Intelligence (AI 2010), 516-525, 2010 (Won the Best Student Paper Award).
Laurent Perrussel, Jerusa Marchi
and Dongmo Zhang, Characterizing relevant belief revision operators,
Proceedings of the 23th Australasian Joint Conference
on Artificial Intelligence (AI 2010), 42-51, 2010.
Wei Huang, Dongmo Zhang, Yan Zhang and Laurent Perrussel,
Bargain
over joint plans, Proceedings of the Eleventh
Pacific Rim International Conference on Artificial Intelligence
(PRICAI 2010), Springer, 608-613, 2010 (short paper).
Dongmo Zhang, Norman Foo, Thomas
Meyer and Rex Kwok, Negotiation
as mutual belief revision, in Proceedings of the 19th
National Conference on Artificial Intelligence (AAAI-04),
317-322, 2004.
Thomas Meyer, Norman Foo, Rex Kwok
and Dongmo Zhang,
Logical foundations of negotiation: outcome, concession and
adaptation, in Proceedings of the 19th National Conference on
Artificial Intelligence (AAAI-04), 293-298, 2004.
Thomas Meyer,
Norman Foo, Rex Kwok and Dongmo Zhang, Logical
foundations of negotiation: strategies and preferences, in
Proceedings of the 9th International
Conference on the Principles of Knowledge Representation and
Reasoing(KR'04), 311-318, 2004.
Dongmo Zhang,
Kanghua Zhao, Chiao-Ming Liang, Golenur Begum, and Tze-Haw Huang,
Strategic trading agents
via market modelling, ACM SIGecom
Exchange, 4(3), 46-55, 2004.
Dongmo Zhang,
Properties of Iterated
Belief Revision, in Proceeding of
7th International Conference on Logic Programming and Nonmonotonic
Reasoning(LPNMR-2004), Springer,
314-325, 2004.
Dongmo Zhang and Kanghua Zhao, Economic
model of TAC SCM game, in Proceedings
of 2004 IEEE/WIC/ACM International Conference on Intelligent Agent
Technology(IAT2004), 273-280, 2004.
Dongmo Zhang,
Samir Chopra, and Norman Foo, Consistency
of action descriptions. in PRICAI2002:
Topics in Artificial Intelligence, Springer,
70-79, 2002.
Dongmo Zhang
and Norman Foo, Interpolation
properties of action logic: lazy-formalization to the frame problem,
in S. Flesca, S. Greco, N. Leone and G. Ianni eds., Logics
in Artificial Intelligence(JELIA 2002), Springer
LNAI 2424, 357-368, 357-368, 2002.
Dongmo Zhang
and Norman Foo, Convergency
of Learning Process, in Advanced
Topics in Artificial Intelligence (AI'02),
Springer, 547-556, 2002.
Norman Foo and
Dongmo Zhang, Dealing with the
ramification problem in the extended propositional dynamic logic.
in F. Wolter, H. Wansing, M. de Rijke, and M. Zakharyaschev eds,
Advances in Modal Logic: Volume 3,
World Scientific, 173-191, 2002.
Dongmo Zhang and Sai Kiran Lakkaraju, On
Natural Deductive Systems for Nonmonotonic Reasoning, in
Proceedings of 2002 International
Conference on Intelligent Information Technology, Posts &
Telecommunications Publishing House,
China, 519-525, 2002.
Dongmo Zhang
and Norman Foo, Infinitary
belief revision. Journal of
Philosophical Logic, 30
(6): 525-570, 2001
(extension of two IJCAI-97 papers).
Dongmo Zhang
and Norman Foo, EPDL: A Logic
for Causal Reasoning, Proceedings of the 17th International
Joint Conference on Artificial Intelligence (IJCAI-01),
Morgan Kaufmann, 131-136, 2001 .
Zhu Zhaohui,
Zhang Dongmo, Chen Shifu and Zhu Wujia, Some
Contributions to Nonmonotonic Consequence, Journal
of Computer Science and Technology,
4(16), 297-314, 2001.
Nonman Foo,
Dongmo Zhang, Yan Zhang, Samir Chopra and Bao Vo, Encoding
solutions of the frame problem in dynamic logic. T. Eiter, W.
Faber, and M. Truszczynski eds., Logic Programming and Nonmonotonic
Reasoning (LPNMR'01), LNAI 2173, Springer, 240-253, 2001.
Samir Chopra
and Dongmo Zhang, Post-diction problems in dynamic logic, in
Proceedings of Australian Joint
Conference on Artificial Intelligence (AI'01), Springer,
119-129, 2001.
Dongmo Zhang
and Samir Chopra, Consistency of action descriptions, in:
Proceedings of the 4rd Workshop on
Nonmonotonic Reasoning, Action, and Change (NRAC'01),
78-85, 2001.
Norman Foo,
Dongmo Zhang, Quoc Bao Vo, and Pavlos Peppas, Circumscriptive models
and automata, in: Proceedings of the
4rd Workshop on Nonmonotonic Reasoning, Action, and Change
(NRAC'01), 7-13, 2001.
Samir Chopra and Dongmo Zhang,
Postdiction problems in dynamic logic: a preliminary report, in:
Proceedings of the 4rd Workshop on Nonmonotonic Reasoning,
Action, and Change (NRAC'01), 1-6, 2001.
Norman Y. Foo, Abhaya Nayak, Maurice
Pagnucco, Dongmo Zhang: State Minimization Re-visited. in: Markus
Stumptner, Dan Corbett, Michael J. Brooks (Eds.): AI 2001: Advances
in Artificial Intelligence, Lecture Notes in Computer Science 2256,
Springer 153-164, 2001.
Dongmo Zhang, Shifu Chen, Wujia
Zhu and Zaoqian Chen, Representation
theorems for multiple belief changes, IJCAI-97, 89-94,
1997.
Dongmo Zhang, Shifu Chen Wujia Zhu
and Hongbing Li, Nonmonotonic
reasoning and multiple belief revision, IJCAI-97, 95-100,
1997.
Zhang Dongmo, Chen Shifu,
Representation and treatment of mental states of agents in AODE,
Chinese Journal of Software, sup. June, 1997, 357-364. (in
Chinese)
Zhang Dongmo and Xiao Xi'an,
Inclusion relationship between classical axiomatic set theory and
medium axiomatic set theory , Journal of Mathematical Research
Exposition, 3(17), 1997, 457-478.(in Chinese)
Zhang Dongmo, Li Hongbing and Chen Shifu, Inconsistency of
supplementary postulates for multiple contractions, Journal of
Nanjing University (Natural Sciences) Special Issue, Vol.33,
Oct. 1997. (in Chinese)
Zhang Dongmo, Belief
revision by sets of sentences, Journal of Computer Science
and Technology, Vol. 2, No. 11, 108-125, 1996 .
Dongmo Zhang, A
general framework for belief revision, Proc. 14th
International Conference for Young Computer Scientists,
574-581, 1995.
Zhang Dongmo, Gong Ningsheng,
Theories and implementations of automated reasoning in medium logic
(VI) -- Tableau systems of the medium modal logic MS5, Pattern
Recognition and Artificial Intelligence, 4(8), 1995, 278-282.(in
Chinese)
Zhang Dongmo, Gong Ningsheng,
Theories and implementations of automated reasoning in medium logic
(V) -- Tableau systems of the medium modal logic MK, Pattern
Recognition and Artificial Intelligence, 2(8), 1995, 114-120.(in
Chinese)
Gong Ningsheng and Zhang Dongmo,
Theories and implementations of automated reasoning in medium logic
(IV) -- Systems of modal logic based on medium logic, Pattern
Recognition and Artificial Intelligence,1(8), 1995,6-13.(in
Chinese)
Zhang Dongmo and Zhu Wujia,
Theories and implementations of automated reasoning in medium
logic (III) -- A theorem prover for medium logic, Pattern
Recognition and Artificial Intelligence, 4(7), 1994, 263-268.(in
Chinese)
Zhu Wujia and Zhang Dongmo,
Theories and implementations of automated reasoning in medium
logic (II) -- Tableau systems of medium predicated calculus, Pattern
Recognition and Artificial Intelligence, 3(7), 1994, 175-180.(in
Chinese)
Zhu Wujia and Zhang Dongmo,
Theories and implementations of automated reasoning in medium logic
(I) -- Tableau systems of medium propositional calculus, Pattern
Recognition and Artificial Intelligence, 2(7), 1994, 87-93.(in
Chinese)
Dongmo Zhang, The equivalence of
medium propositional calculus MP* and 3-valued Lukasiewicz
propositional calculus L3, Journal of Mathematical Research and
Exposition, Vol.11, No.1, 49-62, 1991.
Dongmo Zhang, Medium algebra MA and medium propositional
calculus MP*, Proc.19th IEEE International Symposium on
Multiple_Valued Logic, 289-294, 1989.
"Intelligent Agents for eMarkts",
for all SCM postgraduates at UWS, Semester 2, 2011.
"Data Structures and Algorithms",
for SCM Computer Science undergraduates at UWS, Semester 2, 2011.
"Programming Techniques",
for all SCM undergraduates at UWS, Semester 1, 2011.
"Programming Techniques",
for all SCM undergraduates at UWS, Semester 1, 2010.
"Programming Techniques",
for all SCM undergraduates at UWS, Semester 1, 2009.
"Script Programming",
for bachelor of computing students at UWS, Semester 1, 2009.
"System Administration
Programming", for computer science undergraduates at UWS,
Semester 1, 2009.
"Object-Oriented
Programming", for computer science undergraduates at UWS,
Semester 1, 2008.
"Object-Oriented
Programming", for computer science undergraduates at UWS,
Semester 1, 2007.
"Object-Oriented Desing",
for computer science and Computing undergraduates at UWS, Semester
2, 2006.
"Enterprise Web Application
Development", for postgraduates at UWS, Semester 1, 2006.
"Object-Oriented
Programming", for computer science undergraduates at UWS,
Semester 1, 2006.
"Data Structures and
Algorithms", for undergraduates at UWS, 2005 Spring.
"Enterprise Web Application
Development", for postgraduates at UWS, 2005 Autumn.
"Programming
Principles 2", for undergraduates at UWS, 2004.
"Automated Negotiation and
e-Trading", for postgraduates at UWS, Semester 1, 2004.
"Belief Revision, negotiation
and Applications", for International Masters Programme in
Computational Logic, Dresden University of Technology, 2003.
"Intelligent Agents",
for postgraduates at UWS, 2002, 2003,2004.
"Programming Principles 1",
for undergraduates at UWS, 2002, 2003, 2004.
"Introduction to Modal Logic"
for honor undergraduates and postgraduates at UNSW, 2001.
"Logical Foundation for
Artificial Intelligence", for undergraduates at UNSW,
2000-2001.
"Mathematical Logic and Set
Theory", for undergraduates in computer science and engineering
at NUAA, 1993-98.
"Computing I", for
undergraduates in computer science and engineering at NUAA, 1993-98.
"Computing II", for
undergraduates in computer science and engineering at NUAA, 1993-98.
"Logic Programming", for
undergraduates in computer science and engineering at NUAA, 1993-98.
"Agent-Oriented Intelligent
Systems", postgraduates in Computer Science at NJU, 1996-1998.
"Axiomatic Set Theory",
for postgraduates in computer science at NUAA, 1993-98.
"Proof Theory", for
postgraduates in computer science at NUAA,1993-98.
"Non-Standard Logic",
for postgraduates in computer science at NUAA,1993-98.
"Programming language",
for vocational students at Nantong Vocational College,1982-90.
"Calculus", for vocational students at Nantong
Vocational College, 1981-85,1987-90.
Dongmo Zhang, Yan Zhang, Norman
Foo and Michael Thielscher, Logical Foundation and Implementation
Technology for Automated Negotiation, Discovery Project,
Australian Research Council (ARC DP0988750), AU$225,000, 1/2009-12/2011.
Yan Zhang, Dongmo Zhang and
Weiyuan Wang, Developing Sophisticated e-Business Automation,
Linkage Project, Australian Research Council (ARC LP0883646), AU$120,486,
1/7/2008-30/6/2011.
Dongmo Zhang and Laurent
Perrussel, Empirical Mechanism Design for Online Markets, UWS
Internal Research Grants Scheme, $16,805, 1/1/2009-31/12/2009.
Dongmo Zhang, Intelligent
Trading Agent: Language and Implementation, UWS International
Research Initiatives Scheme, AU$13,730, 7/2007-7/2008.
Dongmo Zhang, E-Market
Mechanism Design with Market Specification Language, UWS
Research Grant Scheme, AU$13,736, 12/2005-12/2006.
Dongmo Zhang, Trading Agent
Design and Modeling with Supply Chain Management Domain, UWS
Research Grant Scheme, AU$17,000, 1/2004-12/2004.
Dongmo Zhang, Cognitive
Programming Language for Entertainment Robots, UWS Seed Grant,
AU$4870, 5/2002-4/2003.
Dongmo Zhang, Theory and
Implementation of Distributed Intelligent Systems, Funding of
Science and Technology for Youth in Jiangsu Province, 100,000RMB,
7/1998-12/2000.
Dongmo Zhang, Studies on
Agent-Oriented Nonmonotonic Reasoning, National Natural Science
Foundation of China, 80,000RMB, 1/1998-1/2000.
Dongmo Zhang, Implementation of
Novel Nonmonotonic Reasoning, Natural Science Foundation of
Jiangsu Province, 45,000RMB, 10/1997-10/1999.
Dongmo Zhang, Studies and
Applications of Development Tools and Environment for Distributed
Artificial Intelligent systems, Aeronautical Science Funds,
36,000RMB, 10/1997-12/1999.
Dongmo Zhang, Modeling the Dynamics of Intentional
Systems, Postdoctoral Science Foundation of China, 10,000RMB,
1/1998-9/1998.
