June 1-3, 2009
Ninth International Symposium on Logical Formalizations of
Commonsense Reasoning
Back to home page
|
List of Accepted Papers
Marcello Balduccini. Solving the Wise Mountain Man Riddle
with Answer Set Programming
Salem Benferhat, Didier Dubois, Henri Prade and Mary-Anne Williams.
A general framework for revising belief bases using qualitative
Jefferey's rule
Richard Booth, Thomas Meyer and Ivan Varzinczak. Next
Steps in Propositional Horn Contraction
Jaesik Choi and Eyal Amir. Combining Planning and Motion
Planning
Jens Classen and Gerhard Lakemeyer. Tractable First-Order
Golog with Disjunctive Knowledge Bases
James Delgrande, Aaron Hunter and Torsten Grote. Modelling
Cryptographic Protocols in a Theory of Action
Hojjat Ghaderi, Hector Levesque and Yves Lesperance. On Joint
Ability in the Presence of Sensing
Michael Gruninger. Definability and Process Ontologies
Michael Gruninger. Ontologies and Domain Theories
Yilan Gu and Mikhail Soutchanski. A Logic of Actions Revisited
Benjamin Johnston and Mary-Anne Williams. Autonomous Learning
of Commonsense Simulations
Michael W. Kandefer and Stuart C. Shapiro. An F-Measure
for Context-based Information Retrieval
Shakil Khan and Yves Lespérance. A Logical Account
of Prioritized Goals and their Dynamics
Gerhard Lakemeyer and Hector J. Levesque. A Semantical
Account of Progression in the Presence of Defaults
Claudio Masolo. Parthood Simpliciter vs. Temporary Parthood
Fabrizio Morbini and Lenhart Schubert. Evaluation of Epilog:
a Reasoner for Episodic Logic
Gavin Rens, Alexander Ferrein and Etienne Van der Poel. A
BDI Agent Architecture for a POMDP Planner
Rui da Silva Neves and Souhila Kaci. A Psychological Study
of Comparative Non-monotonic Preferences Semantics
Shirin Sohrabi, Jorge Baier and Sheila McIlraith. Computing
Prefered Plans with Hierarchical Task Networks
Hannes Strass and Michael Thielscher. Defaults in Action:
Non-monotonic Reasoning About States in Action Calculi
Ivan Varzinczak. How Do I Revise My Agent's Action Theory?
Stavros Vassos, Sebastian Sardina and Hector Levesque. Progressing
Basic Action Theories with Non-Local Effect Actions
Back to top
