5243 search results - page 99 / 1049 » Reasoning About Strategies |
162
click to vote
PLILP
1992
Springer
15 years 10 months ago
1992
Springer
The unfold/fold framework constitutes the spine of many program transformation strategies. However, by unrestricted use of folding the target program may terminate less often than...
194
click to vote
KR
2010
Springer
15 years 11 months ago
2010
Springer
Computation plays a major role in decision making. Even if an agent is willing to ascribe a probability to all states and a utility to all outcomes, and maximize expected utility,...
152
click to vote
AVI
2010
15 years 7 months ago
2010
This paper reports on an empirical study designed as a follow-up of a theoretical model intended to support reasoning about the composition of smart artifacts by end-users. We hav...
166
click to vote
DKE
2006
15 years 6 months ago
2006
In this paper we study the ramification problem in the setting of temporal databases. Standard solutions from the literature on reasoning about action are inadequate because they ...