169 search results - page 26 / 34 » Temporalization of Probabilistic Propositional Logic |
118
Voted
DALT
2009
Springer
15 years 3 months ago
2009
Springer
The specification and monitoring of conditional obligations and prohibitions with starting points and deadlines is a crucial aspect in the design of open interaction systems. In th...
125
Voted
IANDC
2006
15 years 10 days ago
2006
Probabilistic verification of continuous-time stochastic processes has received increasing attention in the model-checking community in the past five years, with a clear focus on ...
114
Voted
CORR
2008
Springer
15 years 13 days ago
2008
Springer
We study complexity of the model-checking problems for LTL with registers (also known as freeze LTL and written LTL ) and for first-order logic with data equality tests (written F...
110
click to vote
CORR
2002
Springer
15 years 5 days ago
2002
Springer
Many systems that exhibit nonmonotonic behavior have been described and studied already in the literature. The general notion of nonmonotonic reasoning, though, has almost always ...
109
click to vote
RIDE
1999
IEEE
15 years 4 months ago
1999
IEEE
Workflow systems are an emerging technology which have become increasingly important in the drive for business to provide better services and increase productivity. Intuitively, w...