ICTL
1994
14 years 3 months ago
1994
This paper presents a temporal belief logic called
TIME
1994
IEEE
14 years 3 months ago
1994
IEEE
We describe a discrete time probabilitylogic for use as the representation language of a temporal knowledge base. In addition to the usual expressive power of a discrete temporal ...