SCIENTIFIC PROGRAMS AND ACTIVITIES

March 28, 2024

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