Labuschagne, W.A.; Miller, MG
(South African Computer Society (SAICSIT), 1994)
Yet another axiomatisation of the Yale shooting scenario is provided. The point illustrated by the axiomatisation is that, when using the situation calculus to represent knowledge about a dynamic system in which actions ...