4894 search results - page 74 / 979 » Choices |
154
click to vote
LORI
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The aim of this work is propose a logical approach to intention dynamics based on the notion of assignment [7, 3]. The function of an assignment is to associate the truth...
169
click to vote
AIPS
1994
15 years 7 months ago
1994
Despite the long history of classical planning, there has been very little comparative analysis of the performance tradeoffs offered by the multitude of existing planning algorith...
165
click to vote
JELIA
2000
Springer
15 years 9 months ago
2000
Springer
We present a framework for decision making with the possibility to express circumstance-dependent preferences among different alternatives for a decision. This new formalism, Order...
154
click to vote
TCS
2010
15 years 4 months ago
2010
The refinement calculus of Back, Morgan, Morris, and others is based on monotone predicate transformers (weakest preconditions) where conjunctions stand for demonic choices betwee...
157
click to vote
MFCS
2005
Springer
15 years 11 months ago
2005
Springer
A sequential algorithm just follows its instructions and thus cannot make a nondeterministic choice all by itself, but it can be instructed to solicit outside help to make a choic...