DBLP BibTeX Record 'conf/kr/Thomason00'

@inproceedings{DBLP:conf/kr/Thomason00,
  author    = {Richmond H. Thomason},
  title     = {Desires and Defaults: A Framework for Planning with Inferred
               Goals},
  booktitle = {KR},
  year      = {2000},
  pages     = {702-713},
  crossref  = {DBLP:conf/kr/2000},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/kr/2000,
  editor    = {Anthony G. Cohn and
               Fausto Giunchiglia and
               Bart Selman},
  title     = {KR 2000, Principles of Knowledge Representation and Reasoning
               Proceedings of the Seventh International Conference, Breckenridge,
               Colorado, USA, April 11-15, 2000},
  booktitle = {KR},
  publisher = {Morgan Kaufmann},
  year      = {2000},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}