Search Sciweavers | Sciweavers

1450 search results - page 7 / 290

» Common knowledge revisited

click to vote

WDAG
1990
Springer

72views Algorithms» more WDAG 1990»

Common Knowledge and Consistent Simultaneous Coordination

15 years 1 months ago

Download www.markrtuttle.com

Traditional problems in distributed systems include the Reliable Broadcast, Distributed Consensus, and Distributed Firing Squad problems. These problems require coordination only ...

Gil Neiger, Mark R. Tuttle

claim paper

Read More »

click to vote

JAPLL
2006

109views more JAPLL 2006»

Deduction chains for common knowledge

14 years 9 months ago

Download www.iam.unibe.ch

Deduction chains represent a syntactic and in a certain sense constructive method for proving completeness of a formal system. Given a formula , the deduction chains of are built...

Mathis Kretz, Thomas Studer

claim paper

Read More »

click to vote

PSYCHNOLOGY
2007

75views more PSYCHNOLOGY 2007»

Is It Fun to Go to Sydney? Common-Sense Knowledge of Social Structures and WAP

14 years 9 months ago

Download www.psychnology.org

This paper investigated how people navigate through early Wireless Application Protocol (WAP) sites using their common-sense knowledge of social structures. The study is based on ...

Ilpo Koskinen

claim paper

Read More »

click to vote

TARK
2005
Springer

103views Automated Reasoning» more TARK 2005»

Continuous consensus via common knowledge

15 years 3 months ago