• Skip to main content
  • Skip to primary sidebar
AAAI

AAAI

Association for the Advancement of Artificial Intelligence

    • AAAI

      AAAI

      Association for the Advancement of Artificial Intelligence

  • About AAAIAbout AAAI
    • AAAI Officers and Committees
    • AAAI Staff
    • Bylaws of AAAI
    • AAAI Awards
      • Fellows Program
      • Classic Paper Award
      • Dissertation Award
      • Distinguished Service Award
      • Allen Newell Award
      • Outstanding Paper Award
      • Award for Artificial Intelligence for the Benefit of Humanity
      • Feigenbaum Prize
      • Patrick Henry Winston Outstanding Educator Award
      • Engelmore Award
      • AAAI ISEF Awards
      • Senior Member Status
      • Conference Awards
    • AAAI Resources
    • AAAI Mailing Lists
    • Past AAAI Presidential Addresses
    • Presidential Panel on Long-Term AI Futures
    • Past AAAI Policy Reports
      • A Report to ARPA on Twenty-First Century Intelligent Systems
      • The Role of Intelligent Systems in the National Information Infrastructure
    • AAAI Logos
    • News
  • aaai-icon_ethics-diversity-line-yellowEthics & Diversity
  • Conference talk bubbleConferences & Symposia
    • AAAI Conference
    • AIES AAAI/ACM
    • AIIDE
    • IAAI
    • ICWSM
    • HCOMP
    • Spring Symposia
    • Summer Symposia
    • Fall Symposia
    • Code of Conduct for Conferences and Events
  • PublicationsPublications
    • AAAI Press
    • AI Magazine
    • Conference Proceedings
    • AAAI Publication Policies & Guidelines
    • Request to Reproduce Copyrighted Materials
  • aaai-icon_ai-magazine-line-yellowAI Magazine
    • Issues and Articles
    • Author Guidelines
    • Editorial Focus
  • MembershipMembership
    • Member Login
    • Developing Country List
    • AAAI Chapter Program

  • Career CenterCareer Center
  • aaai-icon_ai-topics-line-yellowAITopics
  • aaai-icon_contact-line-yellowContact

Home / Proceedings / Papers from the 2003 AAAI Spring Symposium /

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

Primary Sidebar