Nonmonotonic Reasoning in the Framework of the Situation Calculus. Baker, A. B. Artificial Intelligence, 49:5–23, 1991.
bibtex   
@article{baker:aij91,
	Author = {Andrew B. Baker},
	Journal = {Artificial Intelligence},
	Pages = {5--23},
	Title = {Nonmonotonic Reasoning in the Framework of the Situation Calculus},
	Volume = {49},
	Year = {1991}}

Downloads: 0