- Available Majors from The School of Computing and Mathematics
- A Computational Model of Logic-Based Negotiation Dongmo Zhang and Yan Zhang
- Economic Model of TAC SCM Game Dongmo Zhang and Kanghua Zhao
- Bargain over Joint Plans , Dongmo Zhang1
- What could a natural deductive system for nonmonotonic reasoning look like?
- Mechanism Design for Capacity Allocation with Price Competition
- Strategic Trading Agents via Market Modelling Dongmo Zhang, Kanghua Zhao, Chia-Ming Liang, Gonelur Begum Huq, and Tze-Haw
- Frame problem in dynamic logic Dongmo Zhang* --Norman Foo**
- EPDL: A Logic for Causal Reasoning Dongmo Zhang and Norman Foo
- Artificial Intelligence 174 (2010) 13071322 Contents lists available at ScienceDirect
- Convergency of Learning Process Dongmo Zhang1
- Dynamic Auction: a Tractable Auction Procedure Dongmo Zhang and Wei Huang
- A formal market specification language for general trading agents Michael Thielscher
- A Fixed-Point Property of Logic-Based Bargaining Solution
- Capacity Allocation with Competitive Retailers Masabumi Furuhata
- A Logical Model of Nash Bargaining Solution Dongmo Zhang
- Negotiation Mechanism for TAC SCM Component Market Dongmo Zhang
- Interpolation Properties of Action Logic: Lazy-formalization to the Frame Problem
- Game Theory in AI and MAS Dongmo Zhang
- DegreeLink for Bachelor of Technology (Information Technology Support)
- DegreeLink for Bachelor of Technology (Information Technology Support)
- DegreeLink for Bachelor of Technology (Information Technology Support)
- Negotiating Logic Programs Norman Foo and Thomas Meyer
- Properties of Iterated Multiple Belief Revision Dongmo Zhang
- Consistency of Action Descriptions Dongmo Zhang1
- 300136 I.T. Support Practicum Unit outline School of Computing and Mathematics
- Advances in Modal Logic, F. Wolter, H. Wansing, M. de Rijke, and
- Negotiation as Mutual Belief Revision Dongmo Zhang
- Reasoning about Bargaining Situations Dongmo Zhang
- Graduate Diploma in Professional Computing UWS Course Code: 3512
- On natural deduction system for nonmonotonic reasoning Dongmo Zhang and Sai Kiran Lakkaraju
- Default Reasoning and Belief Revision: A SyntaxIndependent Approach \Lambda
- Experimental Market Mechanism Design for Double Masabumi Furuhata1,2
- Axiomatic Characterization of Task Oriented Negotiation Dongmo Zhang
- Logical Properties of Belief-Revision-Based Bargaining Solution
- In nitary Belief Revision Dongmo Zhang and Norman Foo
- Architectures of Intelligent What is an Intelligent Agent?
- A/Prof Dongmo Zhang School of Computing & Mathematics
- A Snapshot of a Run ! History
- Purpose of reading the TAC Specification ! You get a feel of intelligent agents
