1283 search results - page 27 / 257 » A Survey on Temporal Logics |
143
Voted
TIME
2006
IEEE
16 years 22 days ago
2006
IEEE
179
click to vote
LFCS
2009
Springer
16 years 1 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...
183
click to vote
IJCAI
1989
15 years 8 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...