1169 search results - page 17 / 234 » Two Ways to Common Knowledge |
LFCS
2007
Springer
15 years 3 months 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...
AIM
2006
14 years 9 months ago
2006
In this paper, we show how 4D/RCS incorporates and integrates multiple types of disparate knowledge representation techniques into a common, unifying architecture. 4D/RCS is based...
63
Voted
IMA
1997
Springer
15 years 1 months ago
1997
Springer
We show how it is possible for two parties to co-operate in generating the parameters for an RSA encryption system in such a way that neither individually has the ability to decry...
IEAAIE
2003
Springer
15 years 2 months ago
2003
Springer
A knowledge base is maintained by modifying its conceptual model and by using those modifications to specify changes to its implementation. The maintenance problem is to determine ...
FLAIRS
2001
14 years 11 months ago
2001
A knowledge base is maintained by modifying its conceptual model and by using those modifications to specify changes to its implementation. The maintenance problem is to determine...