169 search results - page 2 / 34 » Temporalization of Probabilistic Propositional Logic |
BIRTHDAY
2003
Springer
13 years 11 months ago
2003
Springer
Abstract. We present a new proof of axiomatic completeness for Proposition Temporal Logic (PTL) for discrete, linear time for both finite and infinite time (without past-time). T...
TIME
2007
IEEE
14 years 15 days ago
2007
IEEE
We present a proof searching technique for the natural deduction calculus for the propositional linear-time temporal logic and prove its correctness. This opens the prospect to ap...
IPPS
2007
IEEE
14 years 16 days ago
2007
IEEE
A compositional method for estimating software reliability of many threaded programs is developed. The method uses estimates of the reliability of individual modules and the proba...
SBBD
2004
13 years 7 months ago
2004
Previous studies on mining sequential patterns have focused on temporal patterns specified by some form of propositional temporal logic. However, there are some interesting sequen...
LFCS
2007
Springer
14 years 11 days ago
2007
Springer
Interval-based temporal logics are an important research area in computer science and artificial intelligence. In this paper we investigate decidability and expressiveness issues ...