The proceedings of Commonsense 2009 is 78 double-sided pages. You can download the proceedings in PDF format 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 |
