@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},
  publisher	= {{AAAI}},
  year		= {2007},
  url		= {http://www.aaai.org/Library/Symposia/Spring/ss07-05.php},
  timestamp	= {Fri, 17 Feb 2012 14:14:44 +0100},
  biburl	= {https://dblp.org/rec/bib/conf/aaaiss/2007-5},
  bibsource	= {dblp computer science bibliography, https://dblp.org}
}

{"_id":"tPHg67EjZdvY6AjPD","bibbaseid":"anonymous-logicalformalizationsofcommonsensereasoningpapersfromthe2007aaaispringsymposiumtechnicalreportss0705stanfordcaliforniausamarch26282007-2007","bibdata":{"bibtype":"proceedings","type":"proceedings","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","publisher":"AAAI","year":"2007","url":"http://www.aaai.org/Library/Symposia/Spring/ss07-05.php","timestamp":"Fri, 17 Feb 2012 14:14:44 +0100","biburl":"https://dblp.org/rec/bib/conf/aaaiss/2007-5","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@Proceedings{\t dblp:conf/aaaiss/2007-5,\n title\t\t= {Logical Formalizations of Commonsense Reasoning, Papers\n\t\t from the 2007 {AAAI} Spring Symposium, Technical Report\n\t\t SS-07-05, Stanford, California, USA, March 26-28, 2007},\n publisher\t= {{AAAI}},\n year\t\t= {2007},\n url\t\t= {http://www.aaai.org/Library/Symposia/Spring/ss07-05.php},\n timestamp\t= {Fri, 17 Feb 2012 14:14:44 +0100},\n biburl\t= {https://dblp.org/rec/bib/conf/aaaiss/2007-5},\n bibsource\t= {dblp computer science bibliography, https://dblp.org}\n}\n\n","key":"dblp:conf/aaaiss/2007-5","id":"dblp:conf/aaaiss/2007-5","bibbaseid":"anonymous-logicalformalizationsofcommonsensereasoningpapersfromthe2007aaaispringsymposiumtechnicalreportss0705stanfordcaliforniausamarch26282007-2007","role":"","urls":{"Paper":"http://www.aaai.org/Library/Symposia/Spring/ss07-05.php"},"metadata":{"authorlinks":{}}},"bibtype":"proceedings","biburl":"https://raw.githubusercontent.com/ialab-puc/ialab.ing.puc.cl/master/pubs.bib","dataSources":["sg6yZ29Z2xB5xP79R"],"keywords":[],"search_terms":["logical","formalizations","commonsense","reasoning","papers","2007","aaai","spring","symposium","technical","report","stanford","california","usa","march","2007"],"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","year":2007}