382 search results - page 11 / 77 » Proof Theory for Distributed Knowledge |
ACTA
2006
13 years 7 months ago
2006
The lazy caching algorithm of Afek, Brown, and Merrit (1993) is a protocol that allows the use of local caches with delayed updates. It results in a memory model that is not atomi...
HICSS
2007
IEEE
14 years 1 months ago
2007
IEEE
Information technologies hold great promise in their ability to link distributed workers, allowing organizations to take advantage of the potential benefits of effectively gatheri...
AISC
2004
Springer
14 years 24 days ago
2004
Springer
Abstract. We present a personal view and strategy for algorithm-supported mathematical theory exploration and draw some conclusions for the desirable functionality of future mathem...
LPAR
2010
Springer
13 years 5 months ago
2010
Springer
We consider a mild extension of universal algebra in which terms are built both from deterministic and probabilistic variables, and are interpreted as distributions. We formulate a...
ATAL
1997
Springer
13 years 11 months ago
1997
Springer
Abstract. We argue that none of the existing epistemic logics can adequately serve the needs of agent theories. We suggest a new concept of knowledge which generalizes both implici...