169 search results - page 13 / 34 » Temporalization of Probabilistic Propositional Logic |
119
Voted
CONCUR
1998
Springer
15 years 7 months ago
1998
Springer
This paper presents a complete axiomatization of two decidable propositional realtime linear temporal logics: Event Clock Logic (EventClockTL) and Metric Interval Temporal Logic w...
128
click to vote
JAL
2008
15 years 3 months ago
2008
This paper develops connections between objective Bayesian epistemology--which holds that the strengths of an agent's beliefs should be representable by probabilities, should...
151
click to vote
ICRA
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract— This paper presents a geometry-based, multilayered synergistic approach to solve motion planning problems for mobile robots involving temporal goals. The temporal goals...
130
click to vote
IWINAC
2009
Springer
15 years 9 months ago
2009
Springer
Computer-based decision support in health-care is becoming more and more important in recent years. Clinical Practise Guidelines are documents supporting health-care professionals ...
124
click to vote
FROCOS
2007
Springer
15 years 9 months ago
2007
Springer
Often when formalising dynamic systems, constraints such as exactly “n” of a set of values hold. In this paper, we consider reasoning about propositional linear time temporal ...