1283 search results - page 27 / 257 » A Survey on Temporal Logics |
77
Voted
TIME
2006
IEEE
15 years 4 months ago
2006
IEEE
68
Voted
TIME
2005
IEEE
15 years 3 months ago
2005
IEEE
TIME
2003
IEEE
15 years 3 months ago
2003
IEEE
LFCS
2009
Springer
15 years 4 months ago
2009
Springer
In this paper we study several properties of the Exogenous Probabilistic Propositional Logic (EPPL), a logic for reasoning about probabilities, with the purpose of introducing a t...
90
Voted
IJCAI
1989
14 years 11 months ago
1989
We Imbed Into a first order logic a representation language that combines atemporal knowledge with time stamps in a hierarchical fashion. Each time structure contains its own chro...