Author： Gu Yilan
Publisher： Springer Publishing Company
ISSN： 1012-2443
Source： Annals of Mathematics and Artificial Intelligence, Vol.58, Iss.1-2, 2010-02, pp. : 3-83
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Probabilistic Situation Calculus
By Mateus P.
Annals of Mathematics and Artificial Intelligence, Vol. 32, Iss. 1-4, 2001-08 ,pp. :
Access to resources
Recommend
Scheduling in the situation calculus: A case study
By Reiter Ray
Annals of Mathematics and Artificial Intelligence, Vol. 21, Iss. 2-4, 1997-12 ,pp. :
Path calculus in the modal logic S4
By Norgėla S.
Lithuanian Mathematical Journal, Vol. 45, Iss. 1, 2005-01 ,pp. :