282 search results - page 3 / 57 » Common knowledge in update logics |
APAL
2005
13 years 6 months ago
2005
The notions of common knowledge or common belief play an important role in several areas of computer science (e.g. distributed systems, communication), in philosophy, game theory,...
ACIIDS
2010
IEEE
13 years 11 months 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...
JLP
2000
13 years 6 months ago
2000
In this paper we investigate updates of knowledge bases represented by logic programs. In order to represent negative information, we use generalized logic programs which allow de...
SLOGICA
2002
13 years 6 months ago
2002
LFCS
2007
Springer
14 years 13 days ago
2007
Springer
We present a general algorithm scheme for model checking logics of knowledge, common knowledge and linear time, based on simulations to a class of structures that capture the way t...