29918 search results - page 114 / 5984 » A computational model of belief |
210
click to vote
DALT
2005
Springer
15 years 12 months ago
2005
Springer
An agent who bases his actions upon explicit logical formulae has at any given point in time a finite set of formulae he has computed. Closure or consistency conditions on this se...
189
click to vote
TARK
2009
Springer
16 years 26 days ago
2009
Springer
The logical omniscience feature assumes that an epistemic agent knows all logical consequences of her assumptions. This paper offers a general theoretical framework that views log...
160
click to vote
HPDC
2006
IEEE
16 years 11 days ago
2006
IEEE
Grid computing has reached the stage where deployments are mature and many collaborations run in production mode. Mature Grid deployments offer the opportunity for revisiting and ...
124
click to vote
WSC
2004
15 years 7 months ago
2004
There is a general understanding in the simulation community that simulation is not reaching its full potential and is not widely used despite its well-known (among simulationists...
302
click to vote
POPL
2006
ACM
16 years 6 months ago
2006
ACM
Noninterference is the basic semantical condition used to account for confidentiality and integrity-related properties in programming languages. There appears to be an at least im...