Game Theory and Logics Workshop


20 April 2012


Sponsored by ARC Discovery Project

“Logical Foundation and Implementation Technology for Automated Negotiation”

 

Venue: Room I.1.18, Level 1, Building I, Kingswood Campus, University of Western Sydney


8:55-9:00

Opening welcome

 

Session 1: Invited talks   Chair: Yan Zhang

9:00-9:50

Mamoru Kaneko (University of Tsukuba)

Transpersonal Understanding through Social Roles, and Emergence of Cooperation ( Slides)

9:50-10:40

Mark Reynolds (University of Western Australia)

Towards a tableau for ATL   


Coffee break

11:00-11:50

Michael Thielscher (UNSW) and Dongmo Zhang (UWS)

Representing and Reasoning about Game Strategies

 

Session 2: Short presentations  Chair: Dongmo Zhang

11:50-12:10

Yan Gong (Nanjing University)

The Interpretation of the Basic Tenet of Rational Emotive Behavior Therapy

12:10-12:30

Dengji Zhao (UWS)

Multi-Unit Double Auction under Group Buying


Lunch

 

Session 3: Invited talks   Chair: Michael Thielscher

1:30-2:20

Jeff Kline (University of Queensland)

Evaluation of the Epistemic Depths for Resolving the Muddy Children Puzzle

2:20-3:10

Tim French (University of Western Australia)

Bargaining Agents in the Presence of Uncertainty


Coffee break

3:30-4:20

Yan Zhang (UWS) and Norman Foo (UNSW)

Foundations for First-Order Answer Set Programming

 

Session 4: Short presentations  Chair: Dongmo Zhang

4:20-4:40

Timothy Cerexhe (UNSW)

HyperPlay: a Solution to General Game Playing with Imperfect Information

4:40-5:00

Dongmo Zhang and Chun Gao (UWS)

A Platform for Trading Agent Competition

5:00-5:30

Discussion and closing


Š          Invited talks: 45 minutes presentation plus 5 minutes discussion

Š          Short presentations: 15 minutes presentation plus 5 minutes discussion

Š          Coffee and lunch will be provided for participants.

Š          All invited speakers will stay at Penrith Chifley Hotel. See more information here

Š          Google map direction from Sydney Airport to the campus.