Situation Calculus - Toronto variant
Reference article
A reference article about the Toronto variant of Situation Calculus can be found
here
.
Active researchers
Active researchers in this approach are in particular:
Ray Reiter, Hector Levesque, et al (joint web page)
(More to be added)