AAAI Spring Symposium 2011 - Logical Formalizations of Commonsense Reasoning: Stanford University, CA, USA

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

Last update Mon May 21 02:18:59 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page