Search dblp for Publications

export results for "toc:db/conf/aaaiss/aaaiss2011-6.bht:"

 download as .bib file

@inproceedings{DBLP:conf/aaaiss/AdarichevaSST11,
  author       = {Kira V. Adaricheva and
                  Robert H. Sloan and
                  Bal{\'{a}}zs Sz{\"{o}}r{\'{e}}nyi and
                  Gy{\"{o}}rgy Tur{\'{a}}n},
  title        = {Horn Belief Contraction: Remainders, Envelopes and Complexity},
  booktitle    = {Logical Formalizations of Commonsense Reasoning, Papers from the 2011
                  {AAAI} Spring Symposium, Technical Report SS-11-06, Stanford, California,
                  USA, March 21-23, 2011},
  publisher    = {{AAAI}},
  year         = {2011},
  url          = {http://www.aaai.org/ocs/index.php/SSS/SSS11/paper/view/2459},
  timestamp    = {Mon, 13 Feb 2012 17:07:39 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaiss/AdarichevaSST11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaaiss/AkerEEP11,
  author       = {Erdi Aker and
                  Ahmetcan Erdogan and
                  Esra Erdem and
                  Volkan Patoglu},
  title        = {Housekeeping with Multiple Autonomous Robots: Representation, Reasoning
                  and Execution},
  booktitle    = {Logical Formalizations of Commonsense Reasoning, Papers from the 2011
                  {AAAI} Spring Symposium, Technical Report SS-11-06, Stanford, California,
                  USA, March 21-23, 2011},
  publisher    = {{AAAI}},
  year         = {2011},
  url          = {http://www.aaai.org/ocs/index.php/SSS/SSS11/paper/view/2424},
  timestamp    = {Tue, 19 Dec 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaiss/AkerEEP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaaiss/BartholomewLM11,
  author       = {Michael Bartholomew and
                  Joohyung Lee and
                  Yunsong Meng},
  title        = {First-Order Semantics of Aggregates in Answer Set Programming Via
                  Modified Circumscription},
  booktitle    = {Logical Formalizations of Commonsense Reasoning, Papers from the 2011
                  {AAAI} Spring Symposium, Technical Report SS-11-06, Stanford, California,
                  USA, March 21-23, 2011},
  publisher    = {{AAAI}},
  year         = {2011},
  url          = {http://www.aaai.org/ocs/index.php/SSS/SSS11/paper/view/2472},
  timestamp    = {Fri, 15 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaiss/BartholomewLM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaaiss/Bennett11,
  author       = {Brandon Bennett},
  title        = {Possible Worlds and Possible Meanings: {A} Semantics for the Interpretation
                  of Vague Languages},
  booktitle    = {Logical Formalizations of Commonsense Reasoning, Papers from the 2011
                  {AAAI} Spring Symposium, Technical Report SS-11-06, Stanford, California,
                  USA, March 21-23, 2011},
  publisher    = {{AAAI}},
  year         = {2011},
  url          = {http://www.aaai.org/ocs/index.php/SSS/SSS11/paper/view/2421},
  timestamp    = {Mon, 13 Feb 2012 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaiss/Bennett11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaaiss/Cabalar11,
  author       = {Pedro Cabalar},
  title        = {Logic Programs and Causal Proofs},
  booktitle    = {Logical Formalizations of Commonsense Reasoning, Papers from the 2011
                  {AAAI} Spring Symposium, Technical Report SS-11-06, Stanford, California,
                  USA, March 21-23, 2011},
  publisher    = {{AAAI}},
  year         = {2011},
  url          = {http://www.aaai.org/ocs/index.php/SSS/SSS11/paper/view/2422},
  timestamp    = {Mon, 13 Feb 2012 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaiss/Cabalar11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaaiss/CerroH11,
  author       = {Luis Fari{\~{n}}as del Cerro and
                  Andreas Herzig},
  title        = {Logics of Contingency},
  booktitle    = {Logical Formalizations of Commonsense Reasoning, Papers from the 2011
                  {AAAI} Spring Symposium, Technical Report SS-11-06, Stanford, California,
                  USA, March 21-23, 2011},
  publisher    = {{AAAI}},
  year         = {2011},
  url          = {http://www.aaai.org/ocs/index.php/SSS/SSS11/paper/view/2432},
  timestamp    = {Mon, 13 Feb 2012 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaiss/CerroH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaaiss/CostantiniF11,
  author       = {Stefania Costantini and
                  Andrea Formisano},
  title        = {Augmenting Weight Constraints with Complex Preferences},
  booktitle    = {Logical Formalizations of Commonsense Reasoning, Papers from the 2011
                  {AAAI} Spring Symposium, Technical Report SS-11-06, Stanford, California,
                  USA, March 21-23, 2011},
  publisher    = {{AAAI}},
  year         = {2011},
  url          = {http://www.aaai.org/ocs/index.php/SSS/SSS11/paper/view/2433},
  timestamp    = {Mon, 13 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaaiss/CostantiniF11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaaiss/DavisDE11,
  author       = {Ernest Davis and
                  Patrick Doherty and
                  Esra Erdem},
  title        = {Organizing Committee},
  booktitle    = {Logical Formalizations of Commonsense Reasoning, Papers from the 2011
                  {AAAI} Spring Symposium, Technical Report SS-11-06, Stanford, California,
                  USA, March 21-23, 2011},
  publisher    = {{AAAI}},
  year         = {2011},
  url          = {http://www.aaai.org/ocs/index.php/SSS/SSS11/paper/view/2662},
  timestamp    = {Mon, 18 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaiss/DavisDE11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaaiss/Dunin-KepliczSV11,
  author       = {Barbara Dunin{-}Keplicz and
                  Alina Strachocka and
                  Rineke Verbrugge},
  title        = {Modeling Deliberation in Teamwork},
  booktitle    = {Logical Formalizations of Commonsense Reasoning, Papers from the 2011
                  {AAAI} Spring Symposium, Technical Report SS-11-06, Stanford, California,
                  USA, March 21-23, 2011},
  publisher    = {{AAAI}},
  year         = {2011},
  url          = {http://www.aaai.org/ocs/index.php/SSS/SSS11/paper/view/2442},
  timestamp    = {Mon, 13 Feb 2012 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaiss/Dunin-KepliczSV11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaaiss/GordonH11,
  author       = {Andrew S. Gordon and
                  Jerry R. Hobbs},
  title        = {A Commonsense Theory of Mind-Body Interaction},
  booktitle    = {Logical Formalizations of Commonsense Reasoning, Papers from the 2011
                  {AAAI} Spring Symposium, Technical Report SS-11-06, Stanford, California,
                  USA, March 21-23, 2011},
  publisher    = {{AAAI}},
  year         = {2011},
  url          = {http://www.aaai.org/ocs/index.php/SSS/SSS11/paper/view/2420},
  timestamp    = {Mon, 13 Feb 2012 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaiss/GordonH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaaiss/HahmannG11,
  author       = {Torsten Hahmann and
                  Michael Gruninger},
  title        = {A Naive Theory of Dimension for Qualitative Spatial Relations},
  booktitle    = {Logical Formalizations of Commonsense Reasoning, Papers from the 2011
                  {AAAI} Spring Symposium, Technical Report SS-11-06, Stanford, California,
                  USA, March 21-23, 2011},
  publisher    = {{AAAI}},
  year         = {2011},
  url          = {http://www.aaai.org/ocs/index.php/SSS/SSS11/paper/view/2380},
  timestamp    = {Mon, 13 Feb 2012 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaiss/HahmannG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaaiss/HajishirziA11,
  author       = {Hannaneh Hajishirzi and
                  Eyal Amir},
  title        = {Understanding Robocup-Soccer Narratives},
  booktitle    = {Logical Formalizations of Commonsense Reasoning, Papers from the 2011
                  {AAAI} Spring Symposium, Technical Report SS-11-06, Stanford, California,
                  USA, March 21-23, 2011},
  publisher    = {{AAAI}},
  year         = {2011},
  url          = {http://www.aaai.org/ocs/index.php/SSS/SSS11/paper/view/2437},
  timestamp    = {Mon, 13 Feb 2012 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaiss/HajishirziA11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaaiss/HajishirziM11,
  author       = {Hannaneh Hajishirzi and
                  Erik T. Mueller},
  title        = {Symbolic Probabilistic Reasoning for Narratives},
  booktitle    = {Logical Formalizations of Commonsense Reasoning, Papers from the 2011
                  {AAAI} Spring Symposium, Technical Report SS-11-06, Stanford, California,
                  USA, March 21-23, 2011},
  publisher    = {{AAAI}},
  year         = {2011},
  url          = {http://www.aaai.org/ocs/index.php/SSS/SSS11/paper/view/2438},
  timestamp    = {Mon, 13 Feb 2012 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaiss/HajishirziM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaaiss/HobbsS11,
  author       = {Jerry R. Hobbs and
                  Alicia Sagae},
  title        = {A Commonsense Theory of Microsociology: Interpersonal Relationships},
  booktitle    = {Logical Formalizations of Commonsense Reasoning, Papers from the 2011
                  {AAAI} Spring Symposium, Technical Report SS-11-06, Stanford, California,
                  USA, March 21-23, 2011},
  publisher    = {{AAAI}},
  year         = {2011},
  url          = {http://www.aaai.org/ocs/index.php/SSS/SSS11/paper/view/2473},
  timestamp    = {Mon, 13 Feb 2012 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaiss/HobbsS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaaiss/HolldoblerPW11,
  author       = {Steffen H{\"{o}}lldobler and
                  Tobias Philipp and
                  Christoph Wernhard},
  title        = {An Abductive Model for Human Reasoning},
  booktitle    = {Logical Formalizations of Commonsense Reasoning, Papers from the 2011
                  {AAAI} Spring Symposium, Technical Report SS-11-06, Stanford, California,
                  USA, March 21-23, 2011},
  publisher    = {{AAAI}},
  year         = {2011},
  url          = {http://www.aaai.org/ocs/index.php/SSS/SSS11/paper/view/2429},
  timestamp    = {Mon, 13 Feb 2012 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaiss/HolldoblerPW11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaaiss/InclezanG11,
  author       = {Daniela Inclezan and
                  Michael Gelfond},
  title        = {Representing Biological Processes in Modular Action Language {ALM}},
  booktitle    = {Logical Formalizations of Commonsense Reasoning, Papers from the 2011
                  {AAAI} Spring Symposium, Technical Report SS-11-06, Stanford, California,
                  USA, March 21-23, 2011},
  publisher    = {{AAAI}},
  year         = {2011},
  url          = {http://www.aaai.org/ocs/index.php/SSS/SSS11/paper/view/2407},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaaiss/InclezanG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaaiss/Johnston11,
  author       = {Benjamin Johnston},
  title        = {An Interface for Crowd-Sourcing Spatial Models of Commonsense},
  booktitle    = {Logical Formalizations of Commonsense Reasoning, Papers from the 2011
                  {AAAI} Spring Symposium, Technical Report SS-11-06, Stanford, California,
                  USA, March 21-23, 2011},
  publisher    = {{AAAI}},
  year         = {2011},
  url          = {http://www.aaai.org/ocs/index.php/SSS/SSS11/paper/view/2428},
  timestamp    = {Mon, 13 Feb 2012 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaiss/Johnston11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaaiss/Krieger11,
  author       = {Hans{-}Ulrich Krieger},
  title        = {A Temporal Extension of the Hayes and ter Horst Entailment Rules for
                  {RDFS} and {OWL}},
  booktitle    = {Logical Formalizations of Commonsense Reasoning, Papers from the 2011
                  {AAAI} Spring Symposium, Technical Report SS-11-06, Stanford, California,
                  USA, March 21-23, 2011},
  publisher    = {{AAAI}},
  year         = {2011},
  url          = {http://www.aaai.org/ocs/index.php/SSS/SSS11/paper/view/2390},
  timestamp    = {Mon, 13 Feb 2012 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaiss/Krieger11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaaiss/KriegerK11,
  author       = {Hans{-}Ulrich Krieger and
                  Geert{-}Jan M. Kruijff},
  title        = {Combining Uncertainty and Description Logic Rule-Based Reasoning in
                  Situation-Aware Robots},
  booktitle    = {Logical Formalizations of Commonsense Reasoning, Papers from the 2011
                  {AAAI} Spring Symposium, Technical Report SS-11-06, Stanford, California,
                  USA, March 21-23, 2011},
  publisher    = {{AAAI}},
  year         = {2011},
  url          = {http://www.aaai.org/ocs/index.php/SSS/SSS11/paper/view/2398},
  timestamp    = {Mon, 13 Feb 2012 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaiss/KriegerK11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaaiss/LeeP11,
  author       = {Joohyung Lee and
                  Ravi Palla},
  title        = {Integrating Rules and Ontologies in the First-Order Stable Model Semantics
                  (Preliminary Report)},
  booktitle    = {Logical Formalizations of Commonsense Reasoning, Papers from the 2011
                  {AAAI} Spring Symposium, Technical Report SS-11-06, Stanford, California,
                  USA, March 21-23, 2011},
  publisher    = {{AAAI}},
  year         = {2011},
  url          = {http://www.aaai.org/ocs/index.php/SSS/SSS11/paper/view/2417},
  timestamp    = {Fri, 15 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaiss/LeeP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaaiss/Levesque11,
  author       = {Hector J. Levesque},
  title        = {The Winograd Schema Challenge},
  booktitle    = {Logical Formalizations of Commonsense Reasoning, Papers from the 2011
                  {AAAI} Spring Symposium, Technical Report SS-11-06, Stanford, California,
                  USA, March 21-23, 2011},
  publisher    = {{AAAI}},
  year         = {2011},
  url          = {http://www.aaai.org/ocs/index.php/SSS/SSS11/paper/view/2502},
  timestamp    = {Mon, 13 Feb 2012 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaiss/Levesque11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaaiss/Lin11,
  author       = {Fangzhen Lin},
  title        = {On Moving Objects in Dynamic Domains},
  booktitle    = {Logical Formalizations of Commonsense Reasoning, Papers from the 2011
                  {AAAI} Spring Symposium, Technical Report SS-11-06, Stanford, California,
                  USA, March 21-23, 2011},
  publisher    = {{AAAI}},
  year         = {2011},
  url          = {http://www.aaai.org/ocs/index.php/SSS/SSS11/paper/view/2409},
  timestamp    = {Mon, 13 Feb 2012 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaiss/Lin11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaaiss/LinS11,
  author       = {Fangzhen Lin and
                  Mikhail Soutchanski},
  title        = {Causal Theories of Actions Revisited},
  booktitle    = {Logical Formalizations of Commonsense Reasoning, Papers from the 2011
                  {AAAI} Spring Symposium, Technical Report SS-11-06, Stanford, California,
                  USA, March 21-23, 2011},
  publisher    = {{AAAI}},
  year         = {2011},
  url          = {http://www.aaai.org/ocs/index.php/SSS/SSS11/paper/view/2410},
  timestamp    = {Mon, 13 Feb 2012 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaiss/LinS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaaiss/MasoloVKKM11,
  author       = {Claudio Masolo and
                  Laure Vieu and
                  Yoshinobu Kitamura and
                  Kouji Kozaki and
                  Riichiro Mizoguchi},
  title        = {The Counting Problem in the Light of Role Kinds},
  booktitle    = {Logical Formalizations of Commonsense Reasoning, Papers from the 2011
                  {AAAI} Spring Symposium, Technical Report SS-11-06, Stanford, California,
                  USA, March 21-23, 2011},
  publisher    = {{AAAI}},
  year         = {2011},
  url          = {http://www.aaai.org/ocs/index.php/SSS/SSS11/paper/view/2443},
  timestamp    = {Mon, 13 Feb 2012 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaiss/MasoloVKKM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaaiss/MichaelK11,
  author       = {Loizos Michael and
                  Antonis C. Kakas},
  title        = {A Unified Argumentation-Based Framework for Knowledge Qualification},
  booktitle    = {Logical Formalizations of Commonsense Reasoning, Papers from the 2011
                  {AAAI} Spring Symposium, Technical Report SS-11-06, Stanford, California,
                  USA, March 21-23, 2011},
  publisher    = {{AAAI}},
  year         = {2011},
  url          = {http://www.aaai.org/ocs/index.php/SSS/SSS11/paper/view/2464},
  timestamp    = {Mon, 13 Feb 2012 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaiss/MichaelK11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaaiss/Mulkar-MehtaHH11,
  author       = {Rutu Mulkar{-}Mehta and
                  Jerry R. Hobbs and
                  Eduard H. Hovy},
  title        = {Applications and Discovery of Granularity Structures in Natural Language
                  Discourse},
  booktitle    = {Logical Formalizations of Commonsense Reasoning, Papers from the 2011
                  {AAAI} Spring Symposium, Technical Report SS-11-06, Stanford, California,
                  USA, March 21-23, 2011},
  publisher    = {{AAAI}},
  year         = {2011},
  url          = {http://www.aaai.org/ocs/index.php/SSS/SSS11/paper/view/2394},
  timestamp    = {Mon, 13 Feb 2012 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaiss/Mulkar-MehtaHH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaaiss/ParsonsSM11,
  author       = {Simon Parsons and
                  Elizabeth Sklar and
                  Peter McBurney},
  title        = {A Simple Logical Approach to Reasoning with and about Trust},
  booktitle    = {Logical Formalizations of Commonsense Reasoning, Papers from the 2011
                  {AAAI} Spring Symposium, Technical Report SS-11-06, Stanford, California,
                  USA, March 21-23, 2011},
  publisher    = {{AAAI}},
  year         = {2011},
  url          = {http://www.aaai.org/ocs/index.php/SSS/SSS11/paper/view/2485},
  timestamp    = {Mon, 13 Feb 2012 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaiss/ParsonsSM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaaiss/Perlis11,
  author       = {Don Perlis},
  title        = {Roboson Crusoe - or - What Is Common Sense?},
  booktitle    = {Logical Formalizations of Commonsense Reasoning, Papers from the 2011
                  {AAAI} Spring Symposium, Technical Report SS-11-06, Stanford, California,
                  USA, March 21-23, 2011},
  publisher    = {{AAAI}},
  year         = {2011},
  url          = {http://www.aaai.org/ocs/index.php/SSS/SSS11/paper/view/2377},
  timestamp    = {Mon, 13 Feb 2012 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaiss/Perlis11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaaiss/RoemmeleBG11,
  author       = {Melissa Roemmele and
                  Cosmin Adrian Bejan and
                  Andrew S. Gordon},
  title        = {Choice of Plausible Alternatives: An Evaluation of Commonsense Causal
                  Reasoning},
  booktitle    = {Logical Formalizations of Commonsense Reasoning, Papers from the 2011
                  {AAAI} Spring Symposium, Technical Report SS-11-06, Stanford, California,
                  USA, March 21-23, 2011},
  publisher    = {{AAAI}},
  year         = {2011},
  url          = {http://www.aaai.org/ocs/index.php/SSS/SSS11/paper/view/2418},
  timestamp    = {Mon, 13 Feb 2012 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaiss/RoemmeleBG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaaiss/Shapiro11,
  author       = {Stuart C. Shapiro},
  title        = {The Jobs Puzzle: {A} Challenge for Logical Expressibility and Automated
                  Reasoning},
  booktitle    = {Logical Formalizations of Commonsense Reasoning, Papers from the 2011
                  {AAAI} Spring Symposium, Technical Report SS-11-06, Stanford, California,
                  USA, March 21-23, 2011},
  publisher    = {{AAAI}},
  year         = {2011},
  url          = {http://www.aaai.org/ocs/index.php/SSS/SSS11/paper/view/2460},
  timestamp    = {Mon, 13 Feb 2012 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaiss/Shapiro11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaaiss/SonPS11,
  author       = {Tran Cao Son and
                  Enrico Pontelli and
                  Chiaki Sakama},
  title        = {An Experiment in Formalizing Commitments Using Action Languages},
  booktitle    = {Logical Formalizations of Commonsense Reasoning, Papers from the 2011
                  {AAAI} Spring Symposium, Technical Report SS-11-06, Stanford, California,
                  USA, March 21-23, 2011},
  publisher    = {{AAAI}},
  year         = {2011},
  url          = {http://www.aaai.org/ocs/index.php/SSS/SSS11/paper/view/2382},
  timestamp    = {Mon, 13 Feb 2012 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaiss/SonPS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaaiss/SowaM11,
  author       = {John F. Sowa and
                  Arun K. Majumdar},
  title        = {Bridging the Gap Between Schank and Montague},
  booktitle    = {Logical Formalizations of Commonsense Reasoning, Papers from the 2011
                  {AAAI} Spring Symposium, Technical Report SS-11-06, Stanford, California,
                  USA, March 21-23, 2011},
  publisher    = {{AAAI}},
  year         = {2011},
  url          = {http://www.aaai.org/ocs/index.php/SSS/SSS11/paper/view/2486},
  timestamp    = {Mon, 13 Feb 2012 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaiss/SowaM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaaiss/Thomason11,
  author       = {Richmond Thomason},
  title        = {The Formalization of Practical Reasoning: An Opinionated Survey},
  booktitle    = {Logical Formalizations of Commonsense Reasoning, Papers from the 2011
                  {AAAI} Spring Symposium, Technical Report SS-11-06, Stanford, California,
                  USA, March 21-23, 2011},
  publisher    = {{AAAI}},
  year         = {2011},
  url          = {http://www.aaai.org/ocs/index.php/SSS/SSS11/paper/view/2388},
  timestamp    = {Mon, 13 Feb 2012 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaiss/Thomason11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaaiss/TuOS11,
  author       = {Kun Tu and
                  Megan M. Olsen and
                  Hava T. Siegelmann},
  title        = {Activity Inference through Commonsense},
  booktitle    = {Logical Formalizations of Commonsense Reasoning, Papers from the 2011
                  {AAAI} Spring Symposium, Technical Report SS-11-06, Stanford, California,
                  USA, March 21-23, 2011},
  publisher    = {{AAAI}},
  year         = {2011},
  url          = {http://www.aaai.org/ocs/index.php/SSS/SSS11/paper/view/2404},
  timestamp    = {Mon, 13 Feb 2012 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaiss/TuOS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/aaaiss/2011-6,
  title        = {Logical Formalizations of Commonsense Reasoning, Papers from the 2011
                  {AAAI} Spring Symposium, Technical Report SS-11-06, Stanford, California,
                  USA, March 21-23, 2011},
  publisher    = {{AAAI}},
  year         = {2011},
  url          = {http://www.aaai.org/Library/Symposia/Spring/ss11-06.php},
  timestamp    = {Mon, 13 Feb 2012 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaaiss/2011-6.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.