A Situation Calculus Approach to Modelling and Programming (1999)

by Y Lespérance, H J Levesque, R Reiter
Venue:Agents, Foundations of Rational Agency