4595 search results - page 562 / 919 » Reasoning about Plans |
174
click to vote
RSFDGRC
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. In this paper, we propose a logical framework for reasoning about uncertain belief fusion. The framework is a combination of multi-agent epistemic logic and possibilistic...
169
click to vote
SPIN
2005
Springer
16 years 11 days ago
2005
Springer
Embedded software verification is an important verification problem that requires the ability to reason about the timed semantics of concurrent behaviors at a low level of atomic...
176
click to vote
TARK
2005
Springer
16 years 11 days ago
2005
Springer
The ability to model changes in preferences is crucially important for sound decision making and effective communication. Much has been written about strategies for changing belie...
143
click to vote
TBILLC
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. It is a well-known fact that only factive propositional attitude predicates are felicitous with wh- (indirect question) complements. It has also been noted that so-called...
179
click to vote
UM
2005
Springer
16 years 10 days ago
2005
Springer
Inference and decision making with probabilistic user models may be infeasible on portable devices such as cell phones. We highlight the opportunity for storing and using precomput...