BibTeX record: conf/sbia/Bedrax-WeissB95

download as .bib file

@inproceedings{DBLP:conf/sbia/Bedrax-WeissB95,
  author    = {Tania Bedrax{-}Weiss and
               Leopoldo E. Bertossi},
  title     = {Underlying Semantics for the Assessment of Reiter's Solution to the
               Frame Problem},
  booktitle = {Advances in Artificial Intelligence, 12th Brazilian Symposium on Artificial
               Intelligence, {SBIA} '95, Campinas, Brazil, October 10-12, 1995, Proceedings},
  year      = {1995},
  pages     = {59--68},
  crossref  = {DBLP:conf/sbia/1995},
  url       = {http://dx.doi.org/10.1007/BFb0034799},
  doi       = {10.1007/BFb0034799},
  timestamp = {Tue, 21 Oct 2014 04:15:47 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sbia/Bedrax-WeissB95},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sbia/1995,
  editor    = {Jacques Wainer and
               Ariadne Carvalho},
  title     = {Advances in Artificial Intelligence, 12th Brazilian Symposium on Artificial
               Intelligence, {SBIA} '95, Campinas, Brazil, October 10-12, 1995, Proceedings},
  series    = {Lecture Notes in Computer Science},
  year      = {1995},
  volume    = {991},
  publisher = {Springer},
  isbn      = {3-540-60436-7},
  timestamp = {Tue, 21 Oct 2014 04:15:47 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sbia/1995},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}