The Mathematics of Non-monotonic Reasoning. Davis, M. Artificial Intelligence, 13:73–80, 1980. bibtex @article{davis,
Author = {Martin Davis},
Journal = {Artificial Intelligence},
Pages = {73--80},
Title = {The Mathematics of Non-monotonic Reasoning},
Volume = {13},
Year = {1980}}
Downloads: 0
{"_id":{"_str":"534279610e946d920a0013b5"},"__v":1,"authorIDs":[],"author_short":["Davis, M."],"bibbaseid":"davis-themathematicsofnonmonotonicreasoning-1980","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Martin"],"propositions":[],"lastnames":["Davis"],"suffixes":[]}],"journal":"Artificial Intelligence","pages":"73–80","title":"The Mathematics of Non-monotonic Reasoning","volume":"13","year":"1980","bibtex":"@article{davis,\n\tAuthor = {Martin Davis},\n\tJournal = {Artificial Intelligence},\n\tPages = {73--80},\n\tTitle = {The Mathematics of Non-monotonic Reasoning},\n\tVolume = {13},\n\tYear = {1980}}\n\n","author_short":["Davis, M."],"key":"davis","id":"davis","bibbaseid":"davis-themathematicsofnonmonotonicreasoning-1980","role":"author","urls":{},"downloads":0,"html":""},"bibtype":"article","biburl":"http://www.cs.toronto.edu/cogs/bib/standard-long.bib","downloads":0,"keywords":[],"search_terms":["mathematics","non","monotonic","reasoning","davis"],"title":"The Mathematics of Non-monotonic Reasoning","year":1980,"dataSources":["2cjnbEWxd35GBeqEe"]}