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

The proceedings of Commonsense 2009 is 78 double-sided pages. You can download the proceedings in PDF format below:

Commonsense 2009 (5.3MB PDF)

Individual papers can be downloaded below:
Marcello Balduccini (PDF)
Solving the Wise Mountain Man Riddle with Answer Set Programming
Salem Benferhat, Didier Dubois, Henri Prade and Mary-Anne Williams (PDF)
A general framework for revising belief bases using qualitative Jeffrey's rule
Richard Booth, Thomas Meyer and Ivan José Varzinczak (PDF)
Next Steps in Propositional Horn Contraction
Jaesik Choi and Eyal Amir (PDF)
Combining Motion Planning with an Action Formalism
Jens Claßen and Gerhard Lakemeyer (PDF)
Tractable First-Order Golog with Disjunctive Knowledge Bases
Rui da Silva Neves and Souhila Kaci (PDF)
A Psychological Study of Comparative Non-monotonic Preferences Semantics
James P. Delgrande, Torsten Grote and Aaron Hunter (PDF)
Modelling Cryptographic Protocols in a Theory of Action
Hojjat Ghaderi, Hector Levesque and Yves Lespérance (PDF)
On Joint Ability in the Presence of Sensing
Michael Grüninger (PDF)
Definability and Process Ontologies
Michael Grüninger (PDF)
Ontologies and Domain Theories
Yilan Gu and Mikhail Soutchanski (PDF)
Order-Sorted Reasoning in the Situation Calculus
Benjamin Johnston and Mary-Anne Williams (PDF)
Autonomous Learning of Commonsense Simulations
Michael Kandefer and Stuart Shapiro (PDF)
An F-Measure for Context-based Information Retrieval
Shakil M. Khan and Yves Lespérance (PDF)
A Logical Account of Prioritized Goals and their Dynamics
Gerhard Lakemeyer and Hector J. Levesque (PDF)
A Semantical Account of Progression in the Presence of Defaults
Claudio Masolo (PDF)
Parthood Simpliciter vs. Temporary Parthood
Fabrizio Morbini and Lenhart Schubert (PDF)
Evaluation of Epilog: a Reasoner for Episodic Logic
Gavin Rens, Alexander Ferrein and Etienne van der Poel (PDF)
A BDI Agent Architecture for a POMDP Planner
Shirin Sohrabi, Jorge A. Baier and Sheila A. McIlraith (PDF)
HTN Planning with Preferences
Hannes Strass and Michael Thielscher (PDF)
Defaults in Action: Non-monotonic Reasoning About States in Action Calculi
Ivan José Varzinczak (PDF)
How Do I Revise My Agent's Action Theory?
Stavros Vassos, Sebastian Sardina and Hector Levesque (PDF)
Progressing Basic Action Theories with Non-Local Effect Actions

Questions? Comments? Contact the program chairs or write to

Commonsense 2009:TopHome