The following papers were selected for presentation at the symposium by a process of anonymous peer reviewing. They are also collected together as "Logical Formalizations of Commonsense Reasoning: papers from the AAAI Spring Symposium", AAAI Technical Report SS-07-05, AAAI Press, Menlo Park, California, USA, 2007.

Toward Domain-Neutral Human-Level Metacognition [pdf] [follow-up notes]
Michael Anderson, Waiyian Chong, Darsana Josyula, Tim Oates, Don Perlis, Matt Schmill and Dean Wright

On Domain-Independent Heuristics for Planning with Qualitative Preferences [pdf] [follow-up notes]
Jorge Baier and Sheila McIlraith, University of Toronto, Canada

Learning Action Descriptions with A-Prolog: Action Language C [pdf] [follow-up notes]
Marcello Balduccini, Texas Tech University

On Default Representation of Defeasible Inference and Specificity [pdf] [follow-up notes]
Alexander Bochman, Holon Institute of Technology, Israel

Learning a Plan in the Limit [pdf] [follow-up notes]
Patrick Caldon and Eric Martin

Defeasible Laws, Parallel Actions, and Reasoning about Resources [pdf] [follow-up notes]
Sandeep Chintabathina, Michael Gelfond and Richard Watson, Texas Tech University

Expressing Preferences Declaratively in Logic-based Agent Languages [pdf] [follow-up notes]
Stefania Costantini and Arianna Tocchio, L'Aquila, Italy and Pierangelo Dell'Acqua, Linkoping, Sweden

Resolving Non-Determinism in Programs for Complex Task Planning with Search [pdf] [follow-up notes]
Alfredo Gabaldon, UNSW, Sydney, Australia

A Logical Theory of Coordination and Joint Ability [pdf] [follow-up notes]
Hojjat Ghaderi, Hector Levesque and Yves Lesperance, Toronto, Canada

Decidable Reasoning in a Modified Situation Calculus [pdf] [follow-up notes]
Yilan Gu, University of Toronto and Mikhail Soutchanski, Ryerson University, Canada

Context Mereology [pdf] [follow-up notes]
Pat Hayes, Florida IHMC

An Explicit Model of Belief Change for Cryptographic Protocol Verification [pdf] [follow-up notes]
Aaron Hunter and James Delgrande, Simon Fraser University, Burnaby, Canada

A Generic Framework for Approximate Simulation in Commonsense Reasoning Systems [pdf] [follow-up notes]
Benjamin Johnston and Mary-Anne Williams, University of Technology, Sydney, Australia

Knowledge Acquisition by an Intelligent Acting Agent [pdf] [follow-up notes]
Michael Kandefer and Stuart Shapiro, University at Buffalo, The State University of New York

Variables in Action Descriptions: Merging C+ with ADL [pdf] [follow-up notes]
Vladimir Lifschitz and Wanwan Ren, University of Texas, Austin

Finitely-Verifiable Classes of Sentences [pdf] [follow-up notes with links to post-symposium versions of the paper]
Fangzhen Lin, Hong Kong University

Deductive Planning with Temporal Constraints [pdf] [follow-up notes]
Martin Magnusson and Patrick Doherty, Linkoping University, Sweden

Grounding a Geographic Ontology on Geographic Data [pdf] [follow-up notes]
David Mallenby, University of Leeds, UK

On the Learnability of Causal Domains: Inferring Temporal Reality from Appearances [pdf] [follow-up notes]
Loizos Michael, Harvard University, USA

Towards Realistic Autocognitive Inference [pdf] [follow-up notes]
Fabrizio Morbini and Lenhart Schubert, University of Rochester

Grounding Stanislavskian Scene Analysis in a Formal Theory of Action [pdf] [follow-up notes]
Leora Morgenstern, IBM T.J. Watson Research Centre

Discrete Event Calculus with Branching Time [pdf] [follow-up notes]
Erik Mueller, IBM Thomas J. Watson Research Center

Learning from Reading Syntactically Complex Biology Texts [pdf] [follow-up notes]
Rutu Mulkar, Jerry Hobbs and Eduard Hovy, Information Sciences Institute, University of Southern California

Using Common Sense for Decision Making in an Adventure Game [pdf] [follow-up notes]
Deepak Ramachandran, University of Illinois at Urbana-Champaign

Holes, Knots and Shapes: A Spatial Ontology of a Puzzle [pdf] [follow-up notes]
Paulo Santos, Centro Universiario da FEI, Sao Paulo, and Pedro Cabalar, Coruna University, Spain

Towards a Theory of AI Completeness [pdf] [follow-up notes]
Dafna Shahaf and Eyal Amir, University of Illinois

Conditionals and Action Logics [pdf] [follow-up notes]
Richmond H. Thomason, University of Michigan

A Coherent and Paraconsistent Variant of the Default Logic [pdf] [follow-up notes]
Anbu Yue and Zuoquan Lin, Peking University, Beijing, China