This page is a historical archive. For the latest information please visit
Commonsense Reasoning

Commonsense Reasoning ~ Schedule

Commonsense 2011


Monday, March 21

9:00 - 10:30 Papers

  • Claudio Masolo, Laure Vieu, Yoshinobu Kitamura, Kouji Kozaki and Riichiro Mizoguchi. "The Counting Problem in the Light of Role Kinds."
  • Andrew Gordon and Jerry Hobbs. "A Commonsense Theory of Mind-Body Interaction."
  • Thorsten Hahmann and Michael Gruninger. "A naive theory of dimension for qualitative spatial relations."

10:30 - 11:00 Break

11:00 - 12:30 Keynote address: Gerhard Lakemeyer. "Towards Integrated Self-Maintenance in Domestic Robots"

12:30 - 2:00 Lunch

2:00 - 3:30 Papers

  • Fangzhen Lin and Mikhail Soutchanski. "Causal Theories of Actions Revisited."
  • Daniela Inclezan and Michael Gelfond. "Representing Biological Processes in Modular Action Language ALM."
  • Erdi Aker, Ahmetcan Erdogan, Esra Erdem and Volkan Patoglu. "Housekeeping with Multiple Autonomous Robots: Representation, Reasoning and Execution."

3:30 - 4:00 Break

4:00 - 5:30 Poster session.

  • Barbara Dunin-Kęplicz, Alina Strachocka and Rineke Verbrugge. "Modeling deliberation in teamwork."
  • Hannaneh Hajishirzi and Eyal Amir. "Reasoning about Robocup-Soccer Narratives."
  • Jerry Hobbs and Alicia Sagae. "Toward a Commonsense Theory of Microsociology: Interpersonal Relationships."
  • Benjamin Johnston. "An intuitive interface for crowd-sourcing spatial models of commonsense."
  • Hans-Ulrich Krieger and Geert-Jan Kruijff. "Combining Uncertainty and Description Logic Rule-Based Reasoning in Situation-Aware Robots."
  • Fangzhen Lin. "On Moving Objects in Dynamic Domains."
  • Simon Parsons, Elizabeth Sklar and Peter McBurney. "A simple logical approach to reasoning with and about trust."
  • Tran Cao Son, Enrico Pontelli and Chiaki Sakama. "Formalizing Commitments Using Action Languages."
5:30 - 6:00 Break

6:00 - 7:00 Reception

Tuesday, March 22

9:00 - 10:30 Papers

  • Pedro Cabalar. "Logic Programs and Causal Proofs."
  • Brandon Bennett. "Possible Worlds and Possible Meanings: a semantics for the interpretation of vague languages."
  • Joohyung Lee and Ravi Palla. "Integrating Rules and Ontologies in the First-Order Stable Model Semantics (Preliminary Report)."

10:30 - 11:00 Break

11:00 - 1:00 Papers

  • Hector Levesque. "The Winograd Schema Challenge."
  • Melissa Roemmele, Cosmin Bejan and Andrew Gordon. "Choice of Plausible Alternatives: An Evaluation of Commonsense Causal Reasoning".
  • Stuart Shapiro. "The Jobs Puzzle: A Challenge for Logical Expressibility and Automated Reasoning."
  • Richmond Thomason. "Practical Reasoning: An Opinionated Survey."

1:00 - 2:30 Lunch

2:30 - 3:30 Panel: The Applications Perspective: how solutions to formal commonsense reasoning problems make a difference in practical applications

  • Jerry Hobbs (Machine Reading)
  • Michael Thielscher (Game Playing)
  • Gerhard Lakemeyer (Cognitive Robotics)

3:30 - 5:00 Break

5:00 - 6:00 Keynote address: Peter Norvig, "Common Sense is Common; Making Sense is Uncommon."

6:00 - 6:45 Plenary session

Wednesday, March 23

9:00 - 10:30 Papers
  • Kira Adaricheva, Robert Sloan, Balazs Szorenyi and Gyorgy Turan. "Horn Belief Contraction: Remainders, Envelopes and Complexity."
  • Loizos Michael and Antonis Kakas. "A Unified Argumentation-Based Framework for Knowledge Qualification."
  • Michael Bartholomew, Joohyung Lee and Yunsong Meng. "First-Order Extension of the FLP Semantics."

10:30 - 11:00 Break

11:00 - 12:30 Poster session

  • Stefania Costantini and Andrea Formisano. "Augmenting weight constraints with complex preferences."
  • Luis Fariñas del Cerro and Andreas Herzig. "On the concept of contingency."
  • Hannaneh Hajishirzi, Erik Mueller and Eyal Amir. "Symbolic Probabilistic Reasoning for Narratives.
  • Steffen Hölldobler, Tobias Philipp and Christoph Wernhard. "Abduction in Human Reasoning."
  • Hans-Ulrich Krieger. "A Temporal Extension of Hayes-/ter Horst-Style Entailment Rules."
  • Rutu Mulkar-Mehta, Jerry Hobbs and Eduard Hovy. "Applications and Discovery of Granularity Structures in Natural Language Discourse."
  • Donald Perlis. "Robotson Crusoe -- or -- What Is Common Sense?"
  • Kun Tu, Megan Olsen and Hava Siegelmann. "CIM for Improved Language Understanding."


Thanks to AAAI and the AAAI Spring Symposium committee for their support. Funding for student travel and registration has been generously provided by Artificial Intelligence Journal.

For questions or comments about please email

Website design by Benjamin Johnston, based on the Fluid 960 Grid System by Stephen Bau and Nathan Smith. Crowd photo by James Cridland.