1437 search results - page 70 / 288 » Generalized Belief Propagation |
160
click to vote
ATAL
2005
Springer
16 years 9 days 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...
170
click to vote
TIME
1994
IEEE
15 years 11 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 ...
195
click to vote
ATAL
2009
Springer
16 years 1 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...
171
click to vote
UAI
1990
15 years 8 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 ...
164
click to vote
MOBICOM
2006
ACM
16 years 22 days 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...