Completeness Results for Circumscription. Perlis, D. & Minker, J. Artificial Intelligence, 28:29–42, 1986. bibtex @article{perlmink,
Author = {Donald Perlis and Jack Minker},
Journal = {Artificial Intelligence},
Pages = {29--42},
Title = {Completeness Results for Circumscription},
Volume = {28},
Year = {1986}}
Downloads: 0
{"_id":{"_str":"534279630e946d920a0016b5"},"__v":1,"authorIDs":[],"author_short":["Perlis, D.","Minker, J."],"bibbaseid":"perlis-minker-completenessresultsforcircumscription-1986","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Donald"],"propositions":[],"lastnames":["Perlis"],"suffixes":[]},{"firstnames":["Jack"],"propositions":[],"lastnames":["Minker"],"suffixes":[]}],"journal":"Artificial Intelligence","pages":"29–42","title":"Completeness Results for Circumscription","volume":"28","year":"1986","bibtex":"@article{perlmink,\n\tAuthor = {Donald Perlis and Jack Minker},\n\tJournal = {Artificial Intelligence},\n\tPages = {29--42},\n\tTitle = {Completeness Results for Circumscription},\n\tVolume = {28},\n\tYear = {1986}}\n\n","author_short":["Perlis, D.","Minker, J."],"key":"perlmink","id":"perlmink","bibbaseid":"perlis-minker-completenessresultsforcircumscription-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":["completeness","results","circumscription","perlis","minker"],"title":"Completeness Results for Circumscription","year":1986,"dataSources":["2cjnbEWxd35GBeqEe"]}