5158 search results - page 86 / 1032 » Generalization of the Dempster-Shafer Theory |
VL
2008
IEEE
14 years 3 months ago
2008
IEEE
We present a visual language for strategies in game theory, which has potential applications in economics, social sciences, and in general science education. This language facilit...
CSL
2007
Springer
14 years 3 months ago
2007
Springer
Calculi with explicit substitutions (ES) are widely used in different areas of computer science. Complex systems with ES were developed these last 15 years to capture the good comp...
ATAL
2005
Springer
14 years 2 months ago
2005
Springer
Distributed Multi-Agent Systems (DMAS) such as supply chains functioning in highly dynamic environments need to achieve maximum overall utility during operation. The utility from ...
ISIPTA
1999
IEEE
14 years 1 months ago
1999
IEEE
The aim of this paper is to survey and brie y discuss various rules of conditioning proposed in the framework of possibility theory as well as various conditional independence rel...
TPHOL
1999
IEEE
14 years 1 months ago
1999
IEEE
We present a development of Universal Algebra inside Type Theory, formalized using the proof assistant Coq. We define the notion of a signature and of an algebra over a signature. ...