307 search results - page 15 / 62 » On Hierarchical Reasoning in Combinations of Theories |
104
click to vote
FLAIRS
2003
15 years 3 months ago
2003
An approach to fuse multiple images based on Dempster-Shafer evidential reasoning is proposed in this article. Dempster-Shafer theory provides a complete framework for combining w...
121
click to vote
ECSQARU
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. When merging belief functions, Dempster rule of combination is justified only when sources can be considered as independent. When dependencies are ill-known, it is usual ...
102
Voted
BIRTHDAY
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. We present a new proof of axiomatic completeness for Proposition Temporal Logic (PTL) for discrete, linear time for both finite and infinite time (without past-time). T...
90
Voted
ISIPTA
1999
IEEE
15 years 6 months ago
1999
IEEE
I introduce and study a fairly general imprecise secondorder uncertainty model, in terms of lower desirability. A modeller's lower desirability for a gamble is defined as her...
138
Voted
ARGMAS
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. In this paper, we propose a new strategic and tactic reasoning for agent communication. This reasoning framework is specified using argumentation theory combined to a rel...