5243 search results - page 49 / 1049 » Reasoning About Strategies |
111
Voted
UAI
2008
15 years 1 months ago
2008
We present a generative model for representing and reasoning about the relationships among events in continuous time. We apply the model to the domain of networked and distributed...
85
Voted
AIPS
2003
15 years 1 months ago
2003
We examine the issues that arise in extending an estimatedregression (ER) planner to reason about autonomous processes that run and have continuous and discrete effects without th...
100
Voted
AAAI
2008
15 years 1 months ago
2008
We design a representation based on the situation calculus to facilitate development, maintenance and elaboration of very large taxonomies of actions. This representation leads to...
114
Voted
IPL
2008
15 years 14 days ago
2008
Undefined terms involving the application of partial functions and operators are common in program specifications and in discharging proof obligations that arise in design. One wa...
137
Voted
AI
2005
Springer
15 years 12 days ago
2005
Springer
In this paper, we propose a practical framework for characterizing, evaluating and selecting reformulation techniques for reasoning about physical systems, with the long-term goal...