432 search results - page 30 / 87 » Dynamic Logic With Possible World |
HICSS
1998
IEEE
13 years 12 months ago
1998
IEEE
We utilize the situation calculus to develop a logical model of hypertext systems. The work builds upon the earlier work of Bieber and Kimbrough in the logical modeling of hyperte...
FSKD
2008
Springer
13 years 8 months ago
2008
Springer
Evidence theory has been widely applied to uncertain reasoning. However, the evidence space and hypothesis space are each defined as a fixed set. If the theory is applied to solve...
WWW
2004
ACM
14 years 8 months ago
2004
ACM
Content delivery networks have evolved beyond traditional distributed caching. With services such as Akamai's EdgeComputing it is now possible to deploy and run enterprise bu...
NMR
2004
Springer
14 years 1 months ago
2004
Springer
The BDI model provides what it is possibly one of the most promising architectures for the development of intelligent agents, and has become one of the most studied and well known...
ECTEL
2009
Springer
14 years 2 months ago
2009
Springer
Virtual Reality (VR) is gaining in popularity and its added value for learning is being recognized. However, its richness in representation and manipulation possibilities may also ...