4595 search results - page 39 / 919 » Reasoning about Plans |
102
Voted
ICEBE
2005
IEEE
15 years 3 months ago
2005
IEEE
Uncertainty always exists as an unavoidable factor when developing context-aware applications for pervasive computing environments [1][2][3][4]. In this paper, we propose a unifie...
79
Voted
TIME
2002
IEEE
15 years 3 months ago
2002
IEEE
In this paper, we propose a logical approach to represent and reason about different time granularities. We identify a time granularity as a discrete infinite sequence of time po...
78
Voted
VL
1996
IEEE
15 years 2 months ago
1996
IEEE
We describe the object-oriented editor GenEd supporting the design of specifications for visual notations. Prominent features of GenEd are (1) it is generic, i.e. domain-specific ...
104
Voted
CSL
2006
Springer
15 years 1 months ago
2006
Springer
A complete and decidable propositional logic for reasoning about states of probabilistic sequential programs is presented. The state logic is then used to obtain a sound Hoare-styl...
90
Voted
ICALP
2000
Springer
15 years 1 months ago
2000
Springer
We explain how recent developments in game semantics can be applied to reasoning about equivalence of terms in a non-trivial fragment of Idealized Algol (IA) by expressing sets of ...