1437 search results - page 70 / 288 » Generalized Belief Propagation |
ATAL
2005
Springer
15 years 3 months ago
2005
Springer
This paper presents a logic of knowledge, belief and certainty, which allows us to explicitly express the knowledge, belief and certainty of an agent. A computationally grounded m...
TIME
1994
IEEE
15 years 1 months ago
1994
IEEE
We describe a discrete time probabilitylogic for use as the representation language of a temporal knowledge base. In addition to the usual expressive power of a discrete temporal ...
ATAL
2009
Springer
15 years 4 months ago
2009
Springer
Alternating-time temporal logic (atl) is one of the most influential logics for reasoning about agents’ abilities. Constructive Strategic Logic (csl) is a variant of atl for im...
UAI
1990
14 years 11 months ago
1990
The intelligent reformulation or restructuring of a belief network can greatly increase the efficiency of inference. However, time expended for reformulation is not available for ...
MOBICOM
2006
ACM
15 years 3 months ago
2006
ACM
Underwater acoustic communications systems are challenged by the characteristics of acoustic propagation through the underwater environment. There are a wide range of physical pro...