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