@inproceedings{DBLP:conf/aaaiss/CaldonM07,
  author    = {Patrick Caldon and
               Eric Martin},
  title     = {Learning a Plan in the Limit},
  booktitle = {AAAI Spring Symposium: Logical Formalizations of Commonsense
               Reasoning},
  year      = {2007},
  pages     = {25-34},
  ee        = {http://www.aaai.org/Library/Symposia/Spring/2007/ss07-05-006.php},
  crossref  = {DBLP:conf/aaaiss/2007-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/aaaiss/2007-5,
  title     = {Logical Formalizations of Commonsense Reasoning, Papers
               from the 2007 AAAI Spring Symposium, Technical Report SS-07-05,
               Stanford, California, USA, March 26-28, 2007},
  booktitle = {AAAI Spring Symposium: Logical Formalizations of Commonsense
               Reasoning},
  publisher = {AAAI},
  year      = {2007},
  ee        = {http://www.aaai.org/Library/Symposia/Spring/ss07-05.php},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}