01 January 1997
Published
QA75 Electronic computers. Computer science
004 Data processing & computer science
Peng, T., Ma, J., & Knight, B. (1996). Probabilistic temporal reasoning in situation calculus. In Proc. of ICIE-96
LecturerSchool of Computing Engineering and the Built Environment
0131 455 2748
T.Peng@napier.ac.uk
situational calculus; reasoning;