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