• 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
    • News
    • Officers and Committees
    • Staff
    • Bylaws
    • Awards
      • Fellows Program
      • Classic Paper Award
      • Dissertation Award
      • Distinguished Service Award
      • Allen Newell Award
      • Outstanding Paper Award
      • AI for Humanity Award
      • Feigenbaum Prize
      • Patrick Henry Winston Outstanding Educator Award
      • Engelmore Award
      • AAAI ISEF Awards
      • Senior Member Status
      • Conference Awards
    • Partnerships
    • Resources
    • Mailing Lists
    • Past Presidential Addresses
    • AAAI 2025 Presidential Panel on the Future of AI Research
    • Presidential Panel on Long-Term AI Futures
    • Past Policy Reports
      • The Role of Intelligent Systems in the National Information Infrastructure (1995)
      • A Report to ARPA on Twenty-First Century Intelligent Systems (1994)
    • Logos
  • aaai-icon_ethics-diversity-line-yellowEthics & Diversity
  • Conference talk bubbleConferences & Symposia
    • AAAI Conference
    • AIES AAAI/ACM
    • AIIDE
    • EAAI
    • HCOMP
    • IAAI
    • ICWSM
    • Spring Symposia
    • Summer Symposia
    • Fall Symposia
    • Code of Conduct for Conferences and Events
  • PublicationsPublications
    • AI Magazine
    • Conference Proceedings
    • AAAI Publication Policies & Guidelines
    • Request to Reproduce Copyrighted Materials
    • Contribute
    • Order Proceedings
  • aaai-icon_ai-magazine-line-yellowAI Magazine
  • MembershipMembership
    • Member Login
    • Chapters

  • Career CenterAI Jobs
  • aaai-icon_ai-topics-line-yellowAITopics
  • aaai-icon_contact-line-yellowContact

  • Twitter
  • Facebook
  • LinkedIn
Home / Proceedings / Papers from the 2015 AAAI Spring Symposium /

No. 4: Logical Formalizations of Commonsense Reasoning

All Papers

  • Consistency Conditions for Beliefs and Intentions

    Marc van Zee, Mehdi Dastani, Dragan Doder, Leendert van der Torre

    PDF
  • Characterizability in Belief Revision

    György Turán, Jon Yaggie

    PDF
  • An Approach to Solve Winograd Schema Challenge Using Automatically Extracted Commonsense Knowledge

    Arpit Sharma, Nguyen H. Vo, Shruti Gaur, Chitta Baral

    PDF
  • A Situation-Calculus Based Theory of Justified Knowledge and Action

    Richard Scherl

    PDF
  • Abduction and Conversational Implicature (Extended Abstract)

    Chiaki Sakama, Katsumi Inoue

    PDF
  • A CLIB-Inspired Library of Commonsense Knowledge in Modular Action Language ALM

    Daniela Inclezan

    PDF
  • Learning New Relations from Concept Ontologies Derived from Definitions

    Jansen Orfan, James Allen

    PDF
  • Which States Can Be Changed by Which Events?

    Niloofar Montazeri, Jerry R. Hobbs

    PDF
  • Fast and Loose Semantics for Computational Cognition

    Loizos Michael

    PDF
  • One Hundred Challenge Problems for Logical Formalizations of Commonsense Psychology

    Nicole Maslan, Melissa Roemmele, Andrew S. Gordon

    PDF
  • Spatial Occlusion within an Interval Algebra

    Gérard Ligozat, Paulo Eduardo Santos

    PDF
  • A Probabilistic Extension of the Stable Model Semantics

    Joohyung Lee, Yi Wang

    PDF
  • Towards Tractable Inference for Resource-Bounded Agents

    Toryn Q. Klassen, Sheila A. McIlraith, Hector J. Levesque

    PDF
  • A New Look at Ontology Correctness

    Bahar Aameri, Michael Gruninger

    PDF
  • An Activity-Based Ontology for Dates

    Michael Gruninger, Megan Katsumi

    PDF
  • Towards a Preference Formalism for Modular Systems

    Alireza Ensan, Eugenia Ternovska

    PDF
  • STAR: A System of Argumentation for Story Comprehension and Beyond

    Irene-Anna Diakidoy, Antonis Kakas, Loizos Michael, Rob Miller

    PDF
  • Ontological Analysis for Description Logics Knowledge Base Debugging

    Julien Corman, Nathalie Aussenac-Gilles, Laure Vieu

    PDF
  • Natural Language Access to Data: It Takes Common Sense!

    Cleo Condoravdi, Kyle Richardson, Vishal Sikka, Asuman Suenbuel, Richard Waldinger

    PDF
  • Representing States in a Biology Textbook

    Vinay K. Chaudhri, Daniela Inclezan

    PDF
  • What Does Entailment for PTL Mean?

    Richard Booth, Giovanni Casini, Thomas Meyer, Ivan José Varzinczak

    PDF
  • Combining Probabilistic, Causal, and Normative Reasoning in CP-Logic

    Sander Beckers, Joost Vennekens

    PDF
  • Multi-Agent Action Modeling Through Action Sequences And Perspective Fluents

    Chitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son

    PDF
  • The Winograd Schema Challenge and Reasoning about Correlation

    Daniel Bailey, Amelia J. Harrison, Yuliya Lierler, Vladimir Lifschitz, Julian Michael

    PDF
  • Visual Commonsense for Scene Understanding Using Perception, Semantic Parsing and Reasoning

    Somak Aditya, Yezhou Yang, Chitta Baral, Cornelia Fermuller, Yiannis Aloimonos

    PDF

Primary Sidebar