4595 search results - page 45 / 919 » Reasoning about Plans |
152
click to vote
DAGM
2004
Springer
15 years 9 months ago
2004
Springer
This work addresses the two major drawbacks of current statistical uncertain geometric reasoning approaches. In the first part a framework is presented, that allows to represent u...
131
Voted
LICS
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper, we develop a new substructural logic that can encode invariants necessary for reasoning about hierarchical storage. We show how the logic can be used to describe th...
131
click to vote
ECOOP
2010
Springer
15 years 9 months ago
2010
Springer
ncy Abstractions on x86-TSO Scott Owens University of Cambridge Abstract. With the rise of multi-core processors, shared-memory concurrency has become a widespread feature of compu...
150
click to vote
FOSSACS
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. This paper develops a highly expressive semantic framework for program refinement that supports both temporal reasoning and reasoning about the knowledge of a single agen...