Keyword:Situation Calculus

Papers
The Aspect Calculus David Plaisted EasyChair Preprint no. 1256
Towards an Expressive Practical Logical Action Theory Mikhail Soutchanski and Wael Yehia In:Turing-100. The Alan Turing Centenary