{"_id":{"_str":"534279640e946d920a0017ee"},"__v":1,"authorIDs":[],"author_short":["McCarthy, J."],"bibbaseid":"mccarthy-applicationsofcircumscriptiontoformalizingcommonsensereasoning-1986","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["John"],"propositions":[],"lastnames":["McCarthy"],"suffixes":[]}],"journal":"Artificial Intelligence","pages":"89–116","title":"Applications of Circumscription to Formalizing Commonsense Reasoning","volume":"28","year":"1986","bibtex":"@article{circ2,\n\tAuthor = {John McCarthy},\n\tJournal = {Artificial Intelligence},\n\tPages = {89--116},\n\tTitle = {Applications of Circumscription to Formalizing Commonsense Reasoning},\n\tVolume = {28},\n\tYear = {1986}}\n\n","author_short":["McCarthy, J."],"key":"circ2","id":"circ2","bibbaseid":"mccarthy-applicationsofcircumscriptiontoformalizingcommonsensereasoning-1986","role":"author","urls":{},"downloads":0,"html":""},"bibtype":"article","biburl":"http://www.cs.toronto.edu/cogs/bib/standard-long.bib","downloads":0,"keywords":[],"search_terms":["applications","circumscription","formalizing","commonsense","reasoning","mccarthy"],"title":"Applications of Circumscription to Formalizing Commonsense Reasoning","year":1986,"dataSources":["2cjnbEWxd35GBeqEe"]}