• 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 2007 AAAI Spring Symposium /

Logical Formalizations of Commonsense Reasoning

Contents

  • A Logical Theory of Coordination and Joint Ability

    Hojjat Ghaderi, Hector Levesque, Yves Lesperance

    PDF
  • Knowledge Acquisition by an Intelligent Acting Agent

    Michael Kandefer, Stuart C. Shapiro

    PDF
  • On the Occasion of John McCarthy’s 80th Birthday

    Patrick Hayes, Len Schubert, Johan van Benthem, Yoav Shoham, Hector Levesque, Stuart Shapiro, fangzhen Lin, Erik Mueller, Leona Fass, Aaron Sloman, Danny Bobrow, Fiora Pirri, Rob Miller, Aarati Martino, Ruzena Bajcsy, Leora Morgenstern, Eyal Amir, and Mary-Anne Williams

    PDF
  • Using Common Sense for Decision Making in an Adventure Game

    Deepak Ramachandran

    PDF
  • Finitely-Verifiable Classes of Sentences

    Fangzhen Lin

    PDF
  • Defeasible Laws, Parallel Actions, and Reasoning about Resources

    Sandeep Chintabathina, Michael Gelfond, and Richard Watson

    PDF
  • Context Mereology

    Patrick Hayes

    PDF
  • Expressing Preferences Declaratively in Logic-based Agent Languages

    Stefania Costantini, Pierangelo Dell'Acqua, Arianna Tocchio

    PDF
  • Variables in Action Descriptions: Merging C+ with ADL

    Vladimir Lifschitz, Wanwan Ren

    PDF
  • A Coherent and Paraconsistent Variant of the Default Logic

    Anbu Yue, Zuoquan Lin

    PDF
  • Toward Domain-Neutral Human-Level Metacognition

    Michael L. Anderson, Matt Schmill, Tim Oates, Don Perlis, Darsana Josyula, Dean Wright, Shomir Wilson

    PDF
  • Learning a Plan in the Limit

    Patrick Caldon, Eric Martin

    PDF
  • Conditionals and Action Logics

    Richmond H. Thomason

    PDF
  • Learning from Reading Syntactically Complex Biology Texts

    Rutu Mulkar, Jerry R. Hobbs, Eduard Hovy

    PDF
  • Resolving Non-Determinism in Programs for Complex Task Planning with Search Control

    Alfredo Gabaldon

    PDF
  • Grounding a Geographic Ontology on Geographic Data

    David Mallenby

    PDF
  • Preface

    Eyal Amir, Vladimir Lifschitz, and Rob Miller

    PDF
  • On Default Representation of Defeasible Inference and Specificity

    Alexander Bochman

    PDF
  • A Generic Framework for Approximate Simulation in Commonsense Reasoning Systems

    Benjamin Johnston, Mary-Anne Williams

    PDF
  • Grounding Stanislavskian Scene Analysis in a Formal Theory of Action

    Leora Morgenstern

    PDF
  • Discrete Event Calculus with Branching Time

    Erik T. Mueller

    PDF
  • Towards a Theory of AI Completeness

    Dafna Shahaf, Eyal Amir

    PDF
  • Learning Action Descriptions with A-Prolog: Action Language C

    Marcello Balduccini

    PDF
  • On the Learnability of Causal Domains: Inferring Temporal Reality from Appearances

    Loizos Michael

    PDF
  • Deductive Planning with Temporal Constraints

    Martin Magnusson, Patrick Doherty

    PDF
  • Holes, Knots and Shapes: A Spatial Ontology of a Puzzle

    Paulo E. Santos, Pedro Cabalar

    PDF
  • An Explicit Model of Belief Change for Cryptographic Protocol Verification

    Aaron Hunter, James P. Delgrande

    PDF
  • Towards Realistic Autocognitive Inference

    Fabrizio Morbini, Lenhart Schubert

    PDF
  • On Domain-Independent Heuristics for Planning with Qualitative Preferences

    Jorge A. Baier, Sheila A. McIlraith

    PDF

Primary Sidebar