|
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.
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-5:00: PAPER SESSION III:
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)
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:30: PAPER SESSION III:
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
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 cs2009@commonsensereasoning.org.
|
