Negation as failure:: Careful closure procedure. Gelfond, M. & Przymusinska, H. Artificial Intelligence, 30(3):273--287, Elsevier, 1986. bibtex @article{Gelfond1986,
author = {Gelfond, M. and Przymusinska, H.},
journal = {Artificial Intelligence},
keywords = {classico},
mendeley-tags = {classico},
number = {3},
pages = {273--287},
publisher = {Elsevier},
title = {{Negation as failure:: Careful closure procedure}},
volume = {30},
year = {1986}
}
Downloads: 0
{"_id":{"_str":"538c431d0e577e1d6b0042b4"},"__v":0,"authorIDs":[],"author_short":["Gelfond, M.","Przymusinska, H."],"bibbaseid":"gelfond-przymusinska-negationasfailurecarefulclosureprocedure-1986","bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Gelfond"],"firstnames":["M."],"suffixes":[]},{"propositions":[],"lastnames":["Przymusinska"],"firstnames":["H."],"suffixes":[]}],"journal":"Artificial Intelligence","keywords":"classico","mendeley-tags":"classico","number":"3","pages":"273--287","publisher":"Elsevier","title":"Negation as failure:: Careful closure procedure","volume":"30","year":"1986","bibtex":"@article{Gelfond1986,\nauthor = {Gelfond, M. and Przymusinska, H.},\njournal = {Artificial Intelligence},\nkeywords = {classico},\nmendeley-tags = {classico},\nnumber = {3},\npages = {273--287},\npublisher = {Elsevier},\ntitle = {{Negation as failure:: Careful closure procedure}},\nvolume = {30},\nyear = {1986}\n}\n","author_short":["Gelfond, M.","Przymusinska, H."],"key":"Gelfond1986","id":"Gelfond1986","bibbaseid":"gelfond-przymusinska-negationasfailurecarefulclosureprocedure-1986","role":"author","urls":{},"keyword":["classico"],"downloads":0},"bibtype":"article","biburl":"https://dl.dropboxusercontent.com/u/3025568/biblio/library.bib","downloads":0,"keywords":["classico"],"search_terms":["negation","failure","careful","closure","procedure","gelfond","przymusinska"],"title":"Negation as failure:: Careful closure procedure","year":1986,"dataSources":["qv8ccPJBs55cWKHSz"]}