BibTeX record conf/kr/Rosenschein89

download as .bib file

@inproceedings{DBLP:conf/kr/Rosenschein89,
  author       = {Stanley J. Rosenschein},
  editor       = {Ronald J. Brachman and
                  Hector J. Levesque and
                  Raymond Reiter},
  title        = {Synthesizing Information-Tracking Automata from Environment Descriptions},
  booktitle    = {Proceedings of the 1st International Conference on Principles of Knowledge
                  Representation and Reasoning (KR'89). Toronto, Canada, May 15-18 1989},
  pages        = {386--393},
  publisher    = {Morgan Kaufmann},
  year         = {1989},
  timestamp    = {Fri, 18 May 2012 15:03:01 +0200},
  biburl       = {https://dblp.org/rec/conf/kr/Rosenschein89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}