AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning

Publications

2011

Andrew S. Gordon, Jerry R. Hobbs
A Commonsense Theory of Mind-Body Interaction. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2011)
Fangzhen Lin
On Moving Objects in Dynamic Domains. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2011)
Brandon Bennett
Possible Worlds and Possible Meanings: A Semantics for the Interpretation of Vague Languages. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2011)
Hans-Ulrich Krieger
A Temporal Extension of the Hayes and ter Horst Entailment Rules for RDFS and OWL. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2011)
Michael Bartholomew, Joohyung Lee, Yunsong Meng
First-Order Semantics of Aggregates in Answer Set Programming Via Modified Circumscription. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2011)
Hans-Ulrich Krieger, Geert-Jan M. Kruijff
Combining Uncertainty and Description Logic Rule-Based Reasoning in Situation-Aware Robots. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2011)
Loizos Michael, Antonis C. Kakas
A Unified Argumentation-Based Framework for Knowledge Qualification. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2011)
Logical Formalizations of Commonsense Reasoning, Papers from the 2011 AAAI Spring Symposium, Technical Report SS-11-06, Stanford, California, USA, March 21-23, 2011 AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2011)
Steffen Hölldobler, Tobias Philipp, Christoph Wernhard
An Abductive Model for Human Reasoning. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2011)
Torsten Hahmann, Michael Gruninger
A Naive Theory of Dimension for Qualitative Spatial Relations. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2011)
Simon Parsons, Elizabeth Sklar, Peter McBurney
A Simple Logical Approach to Reasoning with and about Trust. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2011)
Joohyung Lee, Ravi Palla
Integrating Rules and Ontologies in the First-Order Stable Model Semantics (Preliminary Report). AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2011)
Kira V. Adaricheva, Robert H. Sloan, Balázs Szörényi, György Turán
Horn Belief Contraction: Remainders, Envelopes and Complexity. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2011)
Melissa Roemmele, Cosmin Adrian Bejan, Andrew S. Gordon
Choice of Plausible Alternatives: An Evaluation of Commonsense Causal Reasoning. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2011)
John F. Sowa, Arun K. Majumdar
Bridging the Gap Between Schank and Montague. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2011)
Tran Cao Son, Enrico Pontelli, Chiaki Sakama
An Experiment in Formalizing Commitments Using Action Languages. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2011)
Ernest Davis, Patrick Doherty, Esra Erdem
Organizing Committee. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2011)
Luis Fariñas del Cerro, Andreas Herzig
Logics of Contingency. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2011)
Barbara Dunin-Keplicz, Alina Strachocka, Rineke Verbrugge
Modeling Deliberation in Teamwork. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2011)
Hector J. Levesque
The Winograd Schema Challenge. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2011)
Daniela Inclezan, Michael Gelfond
Representing Biological Processes in Modular Action Language ALM. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2011)
Hannaneh Hajishirzi, Eyal Amir
Understanding Robocup-Soccer Narratives. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2011)
Hannaneh Hajishirzi, Erik T. Mueller
Symbolic Probabilistic Reasoning for Narratives. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2011)
Fangzhen Lin, Mikhail Soutchanski
Causal Theories of Actions Revisited. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2011)
Benjamin Johnston
An Interface for Crowd-Sourcing Spatial Models of Commonsense. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2011)
Stuart C. Shapiro
The Jobs Puzzle: A Challenge for Logical Expressibility and Automated Reasoning. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2011)
Claudio Masolo, Laure Vieu, Yoshinobu Kitamura, Kouji Kozaki, Riichiro Mizoguchi
The Counting Problem in the Light of Role Kinds. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2011)
Pedro Cabalar
Logic Programs and Causal Proofs. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2011)
Kun Tu, Megan M. Olsen, Hava T. Siegelmann
Activity Inference through Commonsense. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2011)
Erdi Aker, Ahmetcan Erdogan, Esra Erdem, Volkan Patoglu
Housekeeping with Multiple Autonomous Robots: Representation, Reasoning and Execution. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2011)
Rutu Mulkar-Mehta, Jerry R. Hobbs, Eduard H. Hovy
Applications and Discovery of Granularity Structures in Natural Language Discourse. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2011)
Stefania Costantini, Andrea Formisano
Augmenting Weight Constraints with Complex Preferences. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2011)
Jerry R. Hobbs, Alicia Sagae
A Commonsense Theory of Microsociology: Interpersonal Relationships. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2011)
Don Perlis
Roboson Crusoe - or - What Is Common Sense? AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2011)
Richmond Thomason
The Formalization of Practical Reasoning: An Opinionated Survey. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2011)