A situation calculus approach to modeling and programming agents (1999)

by Y. Lespérance , H. J. Levesque , R. Reiter
Venue:Foundations of Rational Agency
Citations:24 - 6 self