BibTeX record: conf/aaaiss/AdarichevaSST11

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},
  year      = {2011},
  crossref  = {DBLP:conf/aaaiss/2011-6},
  url       = {http://www.aaai.org/ocs/index.php/SSS/SSS11/paper/view/2459},
  timestamp = {Wed, 03 Sep 2014 04:16:21 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/aaaiss/AdarichevaSST11},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2011},
  publisher = {{AAAI}},
  url       = {http://www.aaai.org/Library/Symposia/Spring/ss11-06.php},
  timestamp = {Wed, 03 Sep 2014 04:16:21 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/aaaiss/2011-6},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}