2649 search results - page 155 / 530 » Temporal Theories of Reasoning |
145
click to vote
ECSQARU
2007
Springer
16 years 22 days ago
2007
Springer
The binary representation is widely used for representing focal sets of Dempster-Shafer belief functions because it allows to compute efficiently all relevant operations. However, ...
171
click to vote
LICS
2005
IEEE
16 years 5 days ago
2005
IEEE
A number of authors have exported domain-theoretic techniques from denotational semantics to the operational study of contextual equivalence and preorder. We further develop this,...
169
click to vote
LPNMR
2005
Springer
16 years 2 days ago
2005
Springer
We present a monitoring tool for plan execution in non-deterministic environments, which are described in an action language, based on non-monotonic logic programming. Thanks to it...
177
click to vote
ECAI
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Autonomous agents operating in complex dynamic environments need the ability to integrate robust plan execution with higher level reasoning. This paper describes work to ...
184
click to vote
RSCTC
2000
Springer
15 years 10 months ago
2000
Springer
This paper introduces a neural network architecture based on rough sets and rough membership functions. The neurons of such networks instantiate approximate reasoning in assessing ...