125 search results - page 15 / 25 » A Logic of Probability with Decidable Model Checking |
161
Voted
STACS
2001
Springer
15 years 10 months ago
2001
Springer
Using an automata-theoretic approach, we investigate the decidability of liveness properties (called Presburger liveness properties) for timed automata when Presburger formulas on ...
231
Voted
APWEB
2011
Springer
15 years 26 days ago
2011
Springer
This paper proposes a paraconsistent and nonmonotonic extension of description logic by planting a nonmonotonic mechanism called minimal inconsistency in paradoxical description lo...
146
click to vote
FOSSACS
2010
Springer
16 years 9 days ago
2010
Springer
Abstract. Spatial logics have been introduced to reason about distributed computation in models for concurrency. We first define a spatial logic for a general class of infinite-...
195
Voted
SUM
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Action-probabilistic logic programs (ap-programs), a class of probabilistic logic programs, have been applied during the last few years for modeling behaviors of entities...
155
Voted
SEFM
2009
IEEE
16 years 16 days ago
2009
IEEE
Interval temporal logics are based on interval structures over linearly (or partially) ordered domains, where time intervals, rather than time instants, are the primitive ontologi...