Logical Formalization of Commonsense Reasoning

Contents

• Coverage and Competency in Formal Theories: A Commonsense Theory of Memory

  Andrew S. Gordon and Jerry R. Hobbs

  PDF

• Probability from Similarity

  Sergey Blok, Douglas Medin, and Daniel Osherson

  PDF

• Ability and Action

  Richmond H. Thomason

  PDF

• Golog+HTNt™: Adding Time and Intervals to Procedural and Hierarchical Control Knowledge

  Chitta Baral, Tran Cao Son, and Le-Chi Tuan

  PDF

• On the Qualification Problem and Elaboration Tolerance

  Antonis Kakas and Loizos Michael

  PDF

• Reinforcing a Claim in Commonsense Reasoning

  Jonathan Campbell and Vladimir Lifschitz

  PDF

• Symposium Organization and Contents

  Patrick Doherty, John McCarthy, and Mary-Anne William

  PDF

• Clarifying the Use of Structural Models for Commonsense Causal Reasoning

  Mark Hopkins and Judea Pearl

  PDF

• Annotating and Reasoning about Time and Events

  Jerry R. Hobbs and James Pustejovsky

  PDF

• Some Mathematical Structures Underlying Efficient Planning

  Aarati Parmar

  PDF

• Revisiting the Problem of Belief Revision with Uncertain Evidence

  Hei Chan and Adnan Darwiche

  PDF

• Towards a Commonsense Estimator for Activity Tracking

  Catherine Tessier

  PDF

• Logic Programs with Consistency-Restoring Rules

  Marcello Balduccini and Michael Gelfond

  PDF

• The Role of Definitions in Construction and Analysis of Formal Ontologies

  Brandon Bennett

  PDF

• A Preliminary Study on Reasoning about Causes

  Pedro Cabalar

  PDF

• Logical Filtering

  Eyal Amir and Stuart Russell

  PDF

• Integrating Belief-Desire-Intention Approaches with POMDPS: The Case of Team-Oriented Programs

  Ranjit Nair, Milind Tambe, and Stacy Marsella

  PDF

• A Formal Assessment Result for Fluent Calculus Using the Action Description Language Ak

  Ozan Kahramanogullari and Michael Thielscher

  PDF

• Sensor Data Assimilation as Database Transactions

  Marcus V. Santos and Paulo E. Santos

  PDF