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