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

No. 6: Logical Formalizations of Commonsense Reasoning

All Papers

  • Combining Uncertainty and Description Logic Rule-Based Reasoning in Situation-Aware Robots

    Hans-Ulrich Krieger, Geert-Jan M. Kruijff

    PDF
  • Modeling Deliberation in Teamwork

    Barbara Dunin-Kęplicz, Alina Strachocka, Rineke Verbrugge

    PDF
  • Logics of Contingency

    Luis Fariñas del Cerro, Andreas Herzig

    PDF
  • Understanding Robocup-Soccer Narratives

    Hannaneh Hajishirzi, Eyal Amir

    PDF
  • Symbolic Probabilistic Reasoning for Narratives

    Hannaneh Hajishirzi, Erik T. Mueller

    PDF
  • A Commonsense Theory of Microsociology: Interpersonal Relationships

    Jerry R. Hobbs, Alicia Sagae

    PDF
  • An Abductive Model for Human Reasoning

    Steffen Hölldobler, Tobias Philipp, Christoph Wernhard

    PDF
  • An Interface for Crowd-Sourcing Spatial Models of Commonsense

    Benjamin Johnston

    PDF
  • A Temporal Extension of the Hayes and ter Horst Entailment Rules for RDFS and OWL

    Hans-Ulrich Krieger

    PDF
  • Augmenting Weight Constraints with Complex Preferences

    Stefania Costantini, Andrea Formisano

    PDF
  • On Moving Objects in Dynamic Domains

    Fangzhen Lin

    PDF
  • Applications and Discovery of Granularity Structures in Natural Language Discourse

    Rutu Mulkar-Mehta, Jerry R. Hobbs, Eduard Hovy

    PDF
  • A Simple Logical Approach to Reasoning with and about Trust

    Simon Parsons, Elizabeth Sklar, Peter McBurney

    PDF
  • Roboson Crusoe — or — What Is Common Sense?

    Don Perlis

    PDF
  • An Experiment in Formalizing Commitments Using Action Languages

    Tran Cao Son, Enrico Pontelli, Chiaki Sakama

    PDF
  • Bridging the Gap Between Schank and Montague

    John F. Sowa, Arun K. Majumdar

    PDF
  • Activity Inference through Commonsense

    Kun Tu, Megan Olsen, Hava T. Siegelmann

    PDF
  • The Formalization of Practical Reasoning: An Opinionated Survey

    Richmond Thomason

    PDF
  • The Jobs Puzzle: A Challenge for Logical Expressibility and Automated Reasoning

    Stuart C. Shapiro

    PDF
  • Horn Belief Contraction: Remainders, Envelopes and Complexity

    Kira Adaricheva, Robert H. Sloan, Balazs Szorenyi, Gyorgy Turan

    PDF
  • Organizing Committee

    Ernest Davis, Patrick Doherty, Esra Erdem

    PDF
  • Housekeeping with Multiple Autonomous Robots: Representation, Reasoning and Execution

    Erdi Aker, Ahmetcan Erdogan, Esra Erdem, Volkan Patoglu

    PDF
  • First-Order Semantics of Aggregates in Answer Set Programming Via Modified Circumscription

    Michael Bartholomew, Joohyung Lee, Yunsong Meng

    PDF
  • Possible Worlds and Possible Meanings: A Semantics for the Interpretation of Vague Languages

    Brandon Bennett

    PDF
  • Logic Programs and Causal Proofs

    Pedro Cabalar

    PDF
  • A Commonsense Theory of Mind-Body Interaction

    Andrew S. Gordon, Jerry R. Hobbs

    PDF
  • A Naive Theory of Dimension for Qualitative Spatial Relations

    Torsten Hahmann, Michael Gruninger

    PDF
  • Representing Biological Processes in Modular Action Language ALM

    Daniela Inclezan, Michael Gelfond

    PDF
  • Integrating Rules and Ontologies in the First-Order Stable Model Semantics (Preliminary Report)

    Joohyung Lee, Ravi Palla

    PDF
  • The Winograd Schema Challenge

    Hector J. Levesque

    PDF
  • Causal Theories of Actions Revisited

    Fangzhen Lin, Mikhail Soutchanski

    PDF
  • The Counting Problem in the Light of Role Kinds

    Claudio Masolo, Laure Vieu, Yoshinobu Kitamura, Kouji Kozaki, Riichiro Mizoguchi

    PDF
  • A Unified Argumentation-Based Framework for Knowledge Qualification

    Loizos Michael, Antonis Kakas

    PDF
  • Choice of Plausible Alternatives: An Evaluation of Commonsense Causal Reasoning

    Melissa Roemmele, Cosmin Adrian Bejan, Andrew S. Gordon

    PDF

Primary Sidebar