Abstract is missing.
- The Jobs Puzzle: A Challenge for Logical Expressibility and Automated ReasoningStuart C. Shapiro. [doi]
- Combining Uncertainty and Description Logic Rule-Based Reasoning in Situation-Aware RobotsHans-Ulrich Krieger, Geert-Jan M. Kruijff. [doi]
- Roboson Crusoe - or - What Is Common Sense?Don Perlis. [doi]
- Understanding Robocup-Soccer NarrativesHannaneh Hajishirzi, Eyal Amir. [doi]
- First-Order Semantics of Aggregates in Answer Set Programming Via Modified CircumscriptionMichael Bartholomew, Joohyung Lee, Yunsong Meng. [doi]
- Organizing CommitteeErnest Davis, Patrick Doherty, Esra Erdem. [doi]
- A Naive Theory of Dimension for Qualitative Spatial RelationsTorsten Hahmann, Michael Gruninger. [doi]
- Logic Programs and Causal ProofsPedro Cabalar. [doi]
- Integrating Rules and Ontologies in the First-Order Stable Model Semantics (Preliminary Report)Joohyung Lee, Ravi Palla. [doi]
- Horn Belief Contraction: Remainders, Envelopes and ComplexityKira V. Adaricheva, Robert H. Sloan, Balázs Szörényi, György Turán. [doi]
- An Interface for Crowd-Sourcing Spatial Models of CommonsenseBenjamin Johnston. [doi]
- Housekeeping with Multiple Autonomous Robots: Representation, Reasoning and ExecutionErdi Aker, Ahmetcan Erdogan, Esra Erdem, Volkan Patoglu. [doi]
- On Moving Objects in Dynamic DomainsFangzhen Lin. [doi]
- Causal Theories of Actions RevisitedFangzhen Lin, Mikhail Soutchanski. [doi]
- Applications and Discovery of Granularity Structures in Natural Language DiscourseRutu Mulkar-Mehta, Jerry R. Hobbs, Eduard H. Hovy. [doi]
- Possible Worlds and Possible Meanings: A Semantics for the Interpretation of Vague LanguagesBrandon Bennett. [doi]
- The Formalization of Practical Reasoning: An Opinionated SurveyRichmond Thomason. [doi]
- Choice of Plausible Alternatives: An Evaluation of Commonsense Causal ReasoningMelissa Roemmele, Cosmin Adrian Bejan, Andrew S. Gordon. [doi]
- Augmenting Weight Constraints with Complex PreferencesStefania Costantini, Andrea Formisano. [doi]
- Activity Inference through CommonsenseKun Tu, Megan M. Olsen, Hava T. Siegelmann. [doi]
- The Counting Problem in the Light of Role KindsClaudio Masolo, Laure Vieu, Yoshinobu Kitamura, Kouji Kozaki, Riichiro Mizoguchi. [doi]
- A Simple Logical Approach to Reasoning with and about TrustSimon Parsons, Elizabeth Sklar, Peter McBurney. [doi]
- A Unified Argumentation-Based Framework for Knowledge QualificationLoizos Michael, Antonis C. Kakas. [doi]
- A Commonsense Theory of Mind-Body InteractionAndrew S. Gordon, Jerry R. Hobbs. [doi]
- A Commonsense Theory of Microsociology: Interpersonal RelationshipsJerry R. Hobbs, Alicia Sagae. [doi]
- Symbolic Probabilistic Reasoning for NarrativesHannaneh Hajishirzi, Erik T. Mueller. [doi]
- Representing Biological Processes in Modular Action Language ALMDaniela Inclezan, Michael Gelfond. [doi]
- An Experiment in Formalizing Commitments Using Action LanguagesTran Cao Son, Enrico Pontelli, Chiaki Sakama. [doi]
- Modeling Deliberation in TeamworkBarbara Dunin-Keplicz, Alina Strachocka, Rineke Verbrugge. [doi]
- A Temporal Extension of the Hayes and ter Horst Entailment Rules for RDFS and OWLHans-Ulrich Krieger. [doi]
- Bridging the Gap Between Schank and MontagueJohn F. Sowa, Arun K. Majumdar. [doi]
- The Winograd Schema ChallengeHector J. Levesque. [doi]
- Logics of ContingencyLuis Fariñas del Cerro, Andreas Herzig. [doi]
- An Abductive Model for Human ReasoningSteffen Hölldobler, Tobias Philipp, Christoph Wernhard. [doi]