KR Conventicle 2011

Knowledge Representation Conventicle 2011

Wednesday 16 March.
ARC Centre of Excellence in Autonomous Systems
School of Computer Science and Engineering
UNSW, Sydney, Australia

Distinguished Guests

Panel Topics


Wednesday 16 March
Time K17 Level 1 Seminar Room
09:25 - 09:30 Conventicle Welcome

09:30 - 10:00 Keynote: Abhaya Nayak (Macquarie)

Trust in Flux
10:00 - 10:20 Michael Gratton (UNSW)

Reasoning about Context
10:20 - 10:40 Nina Narodytska (UNSW/NICTA)

Complexity of and Algorithms for Borda Manipulation
10:40 - 11:00 Andreas Braun (UNSW/TU Aachen)

Learning Golog Programs
11:00 - 11:20 Hannes Strass (UNSW/TU Dresden)

Default Reasoning about Actions via Answer Set Programming
11:20 - 11:40 Coffee Break

11:40 - 12:00 Christian Drescher (UNSW/NICTA)

Modelling GRAMMAR Constraints with Answer Set Programming
12:00 - 12:20 Dengji Zhao, Dongmo Zhang and Laurent Perrussel (UWS)

Mechanism Design for Double Auctions with Temporal Constraints
12:20 - 12:40 Benjamin Johnston (UTS)

Augmenting Logic with Physical Representations
12:40 - 13:30
13:30 - 13:50 Vernon Asuncion (UWS)

First-Order Preferred Answer Set Programs
13:50 - 14:10 Nathan Robinson (Griffith)

New Directions in SAT-Based Planning
14:10 - 14:30 Supachai Vongbunyong (UNSW)

Destructive Disassembly using Cognitive Robotics
14:30 - 14:50 Coffee Break

14:50 - 15:50 Panel

What has AI ever done for us?

James Delgrande (SFU)
Norman Foo (UNSW)
Gerhard Lakemeyer (TU Aachen)
Hector Levesque (Toronto)
Pascal Poupart (Waterloo)
15:50 - 16:00 Conventicle Close

Workshop Location

The 2011 Knowledge Representation Conventicle will be hosted by the ARC Centre of Excellence in Autonomous Systems at the School of Computer Science and Engineering, The University of New South Wales, Sydney, Australia.

The School of Computer Science and Engineering is located in building K17 on the UNSW Kensington campus. The workshop will be held in the Seminar Room on Level 1 of the K17 Building at UNSW.

Paid parking is available on the UNSW campus at the Barker Street Car Park. Entry is via Gate 14 on Barker St.

A campus map can be found here. Other maps can be found here.

Maurice Pagnucco (