This page is a historical archive. For the latest information please visit
Commonsense 2009

Travel: Registration, Hotel and Travel Information
Symposium: Home | Call for Papers | Committee | Symposia Series
Schedule: Schedule | Invited Talks | Download Proceedings

Commonsense-2009 Schedule

Commonsense-2009, the Ninth International Symposium on Logical Formalizations of Commonsense Reasoning, will be held from June 1-3 at the Fields Institute, 222 College Street, on the campus of the University of Toronto, Toronto, Canada.

    MONDAY, JUNE 1, 2009

8:30 - 9:00: Morning Coffee and Checking-in of Registrants

9:00 - 9:15: Welcome (Symposium Chairs and Director/Deputy Director of the Fields Institute)

9:15- 10:45: PAPER SESSION I:
9:15- 9:45: Stavros Vassos, Sebastian Sardina, and Hector Levesque: "Progressing Basic Action Theories with Non-Local Effect Actions"
9:45-10:15: Gerhard Lakemeyer and Hector Levesque: "A Semantical Account of Progression in the Presence of Defaults"
10:15-10:45: Hannes Strass and Michael Thielscher: "Defaults in Action: Nonmonotonic Reasoning about States in Action Calculi"

10:45-11:15: Coffee Break

11:15 - 12:15: INVITED TALK

Tony Cohn, University of Leeds: "Acquiring Commonsense Knowledge from Perceptual Observation"

12:15 - 2:00: Lunch

2:00 - 3:30: PAPER SESSION II:

2:00 - 2:30: Ivan Varzinczak: "How Do I Revise my Agent's Action Theory?"
2:30 - 3:00: Salem Benferhat, Didier Dubois, Henri Prade, and Mary-Anne Williams: "A General Framework for Revising Belief Bases Using Qualitative Jefferey's Rule"
3:00 - 3:30: Richard Booth, Thomas Meyer, and Ivan Varzinczak: "Next Steps in Propositional Horn Contraction"

3:30-4:00: Coffee Break


4:00-4:30: Shirin Sohrabi, Jorge Baier, and Sheila McIlraith: "HTN Planning with Preferences"
4:30-5:00: Jaesik Choi and Eyal Amir: "Combined Planning and Motion Planning"

6:30-8:30: Symposium Banquet (included in registration)

    TUESDAY, JUNE 2, 2009:

8:30 - 9:00: Morning Coffee

9:00-10:30: PAPER SESSION 1:

9:00-9:30: Michael Gruninger: "Ontologies and Domain Theories"
9:30-10:00: Yilan Gu and Mikhail Soutchanski: "A Logic of Actions Revisited"
10:00-10:30: Michael Gruninger: "Definability and Process Ontologies"

10:30-11:00 Coffee Break

11:00-12:00: INVITED TALK

Ernie Davis, New York University "Commonsense Reasoning About Chemistry Experiments: Ontologies and Representations"

12:00-1:30: Lunch/Working Lunch

This will be a time to talk about ideas for the next Commonsense Symposium and how to advance formal commonsense reasoning.

1:30-3:00: PAPER SESSION II:

1:30-2:00: Shakhil Khan and Yves Lesperance: "A Logical Account of Prioritized Goals and Their Dynamics"
2:00-2:30: Gavin Rens, Alexander Ferrein, and Etienne van der Poel: "A BDI Agent Architecture for a POMDP Planner"
2:30-3:00: Marcello Balduccini: "Solving the Wise Man Mountain Puzzle with ASP"

3:00-3:30: Coffee Break


3:30-4:00: Claudio Masolo: "Parthood Simpliciter vs. Temporary Parthood"
4:00-4:30: Michael Kandefer and Stuart Shapiro: "An F-Measure for Context-Based Information Retrieval"

5:30-7:30 Dinner at a Thai Restaurant

7:45-9:30 Group Visit to CN-Tower

    WEDNESDAY, JUNE 3, 2009

8:30 - 9:00: Morning Coffee

9:00-10:30: PAPER SESSION I:

9:00-9:30: Hojjat Ghaderi, Hector Levesque, and Yves Lesperance: "On Joint Ability in the Presence of Sensing"
9:30-10:00: James Delgrande, Aaron Hunter, and Torsten Grote: "Modelling Cryptographic Protocols in a Theory of Action"
10:00-10:30: Jens Classen and Gerhard Lakemeyer: "Tractable First-Order Golog with Disjunctive Knowledge Bases"

10:30-11:00: Coffee Break

11:00-12:00 INVITED TALK

Sheila McIlraith, University of Toronto "Diagnosis Revisited"

12:00-1:30: Lunch

1:30-3:00: PAPER SESSION II:

1:30-2:00: Benjamin Johnston and Mary-Anne Williams: "Autonomnous Learning of Commonsense Simulations"
2:00-2:30: Fabrizio Morbini and Lenhart Schubert: "Evaluation fo Epilog: a Reasoner for Episodic Logic"
2:30-3:00: Rui da Silva Neves and Souhila Kaci: "Nonmonotonic Preference Semantics"

3:00-3:30: Coffee Break and Farewell to Commonsense-2009

Questions? Comments? Contact the program chairs or write to

Commonsense 2009:TopHome