1328 search results - page 5 / 266 » Cut-free common knowledge |
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Justification logics are epistemic logics that explicitly include justifications for the agents' knowledge. We develop a multi-agent justification logic with evidence terms fo...
TAMC
2007
Springer
14 years 1 months ago
2007
Springer
Pass observed that universal composable zero-knowledge (UCZK) protocols in the common reference string (CRS) model, where a common reference string is selected trustily by a truste...
ECAI
2006
Springer
13 years 10 months ago
2006
Springer
One problem faced in knowledge engineering for Bayesian networks is the exponential growth of the number of parameters in their conditional probability tables (CPTs). The most comm...
ACIIDS
2010
IEEE
14 years 3 days ago
2010
IEEE
This article investigates the role of common-knowledge in the principal-agent model under asymmetric information. We treat the problem: How the common-knowledge condition will be a...
WDAG
1990
Springer
13 years 11 months ago
1990
Springer
Traditional problems in distributed systems include the Reliable Broadcast, Distributed Consensus, and Distributed Firing Squad problems. These problems require coordination only ...