![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
AAAI Spring Symposium 2011 - Logical Formalizations of Commonsense Reasoning: Stanford University, CA, USA
- 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 2011
- Ernest Davis, Patrick Doherty, Esra Erdem:
Organizing Committee. - Kira V. Adaricheva, Robert H. Sloan, Balázs Szörényi, György Turán:
Horn Belief Contraction: Remainders, Envelopes and Complexity. - Erdi Aker, Ahmetcan Erdogan, Esra Erdem, Volkan Patoglu:
Housekeeping with Multiple Autonomous Robots: Representation, Reasoning and Execution. - Michael Bartholomew, Joohyung Lee, Yunsong Meng:
First-Order Semantics of Aggregates in Answer Set Programming Via Modified Circumscription. - Brandon Bennett:
Possible Worlds and Possible Meanings: A Semantics for the Interpretation of Vague Languages. - Pedro Cabalar:
Logic Programs and Causal Proofs. - Andrew S. Gordon, Jerry R. Hobbs:
A Commonsense Theory of Mind-Body Interaction. - Torsten Hahmann, Michael Gruninger:
A Naive Theory of Dimension for Qualitative Spatial Relations. - Daniela Inclezan, Michael Gelfond
:
Representing Biological Processes in Modular Action Language ALM. - Joohyung Lee, Ravi Palla:
Integrating Rules and Ontologies in the First-Order Stable Model Semantics (Preliminary Report). - Hector J. Levesque:
The Winograd Schema Challenge. - Fangzhen Lin, Mikhail Soutchanski:
Causal Theories of Actions Revisited. - Claudio Masolo, Laure Vieu, Yoshinobu Kitamura, Kouji Kozaki, Riichiro Mizoguchi:
The Counting Problem in the Light of Role Kinds. - Loizos Michael, Antonis C. Kakas:
A Unified Argumentation-Based Framework for Knowledge Qualification. - Melissa Roemmele, Cosmin Adrian Bejan, Andrew S. Gordon:
Choice of Plausible Alternatives: An Evaluation of Commonsense Causal Reasoning. - Stuart C. Shapiro:
The Jobs Puzzle: A Challenge for Logical Expressibility and Automated Reasoning. - Richmond Thomason:
The Formalization of Practical Reasoning: An Opinionated Survey. - Stefania Costantini, Andrea Formisano:
Augmenting Weight Constraints with Complex Preferences. - Barbara Dunin-Keplicz, Alina Strachocka, Rineke Verbrugge:
Modeling Deliberation in Teamwork. - Luis Fariñas del Cerro, Andreas Herzig:
Logics of Contingency. - Hannaneh Hajishirzi, Eyal Amir:
Understanding Robocup-Soccer Narratives. - Hannaneh Hajishirzi, Erik T. Mueller:
Symbolic Probabilistic Reasoning for Narratives. - Jerry R. Hobbs, Alicia Sagae:
A Commonsense Theory of Microsociology: Interpersonal Relationships. - Steffen Hölldobler, Tobias Philipp, Christoph Wernhard:
An Abductive Model for Human Reasoning. - Benjamin Johnston:
An Interface for Crowd-Sourcing Spatial Models of Commonsense. - Hans-Ulrich Krieger:
A Temporal Extension of the Hayes and ter Horst Entailment Rules for RDFS and OWL. - Hans-Ulrich Krieger, Geert-Jan M. Kruijff:
Combining Uncertainty and Description Logic Rule-Based Reasoning in Situation-Aware Robots. - Fangzhen Lin:
On Moving Objects in Dynamic Domains. - Rutu Mulkar-Mehta, Jerry R. Hobbs, Eduard H. Hovy:
Applications and Discovery of Granularity Structures in Natural Language Discourse. - Simon Parsons, Elizabeth Sklar, Peter McBurney:
A Simple Logical Approach to Reasoning with and about Trust. - Don Perlis:
Roboson Crusoe - or - What Is Common Sense? - Tran Cao Son, Enrico Pontelli, Chiaki Sakama:
An Experiment in Formalizing Commitments Using Action Languages. - John F. Sowa, Arun K. Majumdar:
Bridging the Gap Between Schank and Montague. - Kun Tu, Megan M. Olsen, Hava T. Siegelmann:
Activity Inference through Commonsense.
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.