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