Logical Formalizations of Commonsense Reasoning
Papers from the 2011 AAAI Spring Symposium
Ernest Davis, Patrick Doherty, and Esra Erdem, Program Cochairs
Technical Report SS-11-06. Published by The AAAI Press, Menlo Park, California. This technical report is also available in book and CD format.
Contents
Organizing Committee — [PDF]
Ernest Davis, Patrick Doherty, Esra Erdem
Horn Belief Contraction: Remainders, Envelopes and Complexity — [PDF]
Kira Adaricheva, Robert H. Sloan, Balazs Szorenyi, Gyorgy Turan
Housekeeping with Multiple Autonomous Robots: Representation, Reasoning and Execution — [PDF]
Erdi Aker, Ahmetcan Erdogan, Esra Erdem, Volkan Patoglu
First-Order Semantics of Aggregates in Answer Set Programming Via Modified Circumscription — [PDF]
Michael Bartholomew, Joohyung Lee, Yunsong Meng
Possible Worlds and Possible Meanings: A Semantics for the Interpretation of Vague Languages — [PDF]
Brandon Bennett
Logic Programs and Causal Proofs — [PDF]
Pedro Cabalar
A Commonsense Theory of Mind-Body Interaction — [PDF]
Andrew S. Gordon, Jerry R. Hobbs
A Naive Theory of Dimension for Qualitative Spatial Relations — [PDF]
Torsten Hahmann, Michael Gruninger
Representing Biological Processes in Modular Action Language ALM — [PDF]
Daniela Inclezan, Michael Gelfond
Integrating Rules and Ontologies in the First-Order Stable Model Semantics (Preliminary Report) — [PDF]
Joohyung Lee, Ravi Palla
The Winograd Schema Challenge — [PDF]
Hector J. Levesque
Causal Theories of Actions Revisited — [PDF]
Fangzhen Lin, Mikhail Soutchanski
The Counting Problem in the Light of Role Kinds — [PDF]
Claudio Masolo, Laure Vieu, Yoshinobu Kitamura, Kouji Kozaki, Riichiro Mizoguchi
A Unified Argumentation-Based Framework for Knowledge Qualification — [PDF]
Loizos Michael, Antonis Kakas
Choice of Plausible Alternatives: An Evaluation of Commonsense Causal Reasoning — [PDF]
Melissa Roemmele, Cosmin Adrian Bejan, Andrew S. Gordon
The Jobs Puzzle: A Challenge for Logical Expressibility and Automated Reasoning — [PDF]
Stuart C. Shapiro
The Formalization of Practical Reasoning: An Opinionated Survey — [PDF]
Richmond Thomason
Augmenting Weight Constraints with Complex Preferences — [PDF]
Stefania Costantini, Andrea Formisano
Modeling Deliberation in Teamwork — [PDF]
Barbara Dunin-Kęplicz, Alina Strachocka, Rineke Verbrugge
Logics of Contingency — [PDF]
Luis Fariñas del Cerro, Andreas Herzig
Understanding Robocup-Soccer Narratives — [PDF]
Hannaneh Hajishirzi, Eyal Amir
Symbolic Probabilistic Reasoning for Narratives — [PDF]
Hannaneh Hajishirzi, Erik T. Mueller
A Commonsense Theory of Microsociology: Interpersonal Relationships — [PDF]
Jerry R. Hobbs, Alicia Sagae
An Abductive Model for Human Reasoning — [PDF]
Steffen Hölldobler, Tobias Philipp, Christoph Wernhard
An Interface for Crowd-Sourcing Spatial Models of Commonsense — [PDF]
Benjamin Johnston
A Temporal Extension of the Hayes and ter Horst Entailment Rules for RDFS and OWL — [PDF]
Hans-Ulrich Krieger
Combining Uncertainty and Description Logic Rule-Based Reasoning in Situation-Aware Robots — [PDF]
Hans-Ulrich Krieger, Geert-Jan M. Kruijff
On Moving Objects in Dynamic Domains — [PDF]
Fangzhen Lin
Applications and Discovery of Granularity Structures in Natural Language Discourse — [PDF]
Rutu Mulkar-Mehta, Jerry R. Hobbs, Eduard Hovy
A Simple Logical Approach to Reasoning with and about Trust — [PDF]
Simon Parsons, Elizabeth Sklar, Peter McBurney
Roboson Crusoe — or — What Is Common Sense? — [PDF]
Don Perlis
An Experiment in Formalizing Commitments Using Action Languages — [PDF]
Tran Cao Son, Enrico Pontelli, Chiaki Sakama
Bridging the Gap Between Schank and Montague — [PDF]
John F. Sowa, Arun K. Majumdar
Activity Inference through Commonsense — [PDF]
Kun Tu, Megan Olsen, Hava T. Siegelmann
AAAI Digital Library
AAAI relies on your generous support through membership and donations. If you find these resources useful, we would be grateful for your support.