Conference Program

Friday June 2, 2006
08:45 - 09:00Opening Ceremonies
09:00 - 10:30Invited Talk: Jon Doyle
10:30 - 11:00Break
11:00 - 12:30Description Logics IKnowledge Representation Logics I
12:30 - 14:00Lunch
14:00 - 15:30Logic Programming IBelief Revision
15:30 - 16:00Break
16:00 - 17:30Beliefs and ArgumentationDescription Logics II

Saturday June 3, 2006
09:00 - 10:30Invited Talk: Alon Halevy
10:30 - 11:00Break
11:00 - 12:30Logic Programming IIKnowledge Representation Logics II
12:30 - 14:00Lunch
14:00 - 15:00Complexity AnalysisFunctions and Analysis
15:00 - 15:30Break
15:30 - 17:00Preferences
18:00 - 19:30Doctoral Consortium
19:30 - Banquet Dinner & Cruise (additional fee to attend)

Sunday June 4, 2006
09:00 - 13:00Free Morning
13:00 - 14:00Boolean Formulas and Functions
14:00 - 15:30Great Moments in KR: Erik Sandewall
15:30 - 16:00Break
16:00 - 17:30Preferences and ArgumentationSpace, Time and Action

Monday June 5, 2006
09:00 - 10:30Invited Talk: Alan Rector
10:30 - 11:00Break
11:00 - 12:30Philosophical and Psychological IssuesKnowledge Representation and Planning I
12:30 - 14:00Lunch
14:00 - 15:30Foundational IssuesKnowledge Representation and Planning II
15:30 - 15:45Closing Ceremonies

Session Details