282 search results - page 16 / 57 » Common knowledge in update logics |
112
Voted
CCS
2001
ACM
15 years 5 months ago
2001
ACM
Encryption is widely used to enforce usage rules for digital content. In many scenarios content is encrypted using a group key which is known to a group of users that are allowed ...
105
click to vote
AMAI
2007
Springer
15 years 1 months ago
2007
Springer
This paper is an overview of a variety of results, all centered around a common theme, namely embedding of non-classical logics into first order logic and resolution theorem prov...
111
click to vote
IJCAI
2003
15 years 3 months ago
2003
Filtering denotes any method whereby an agent updates its belief state—its knowledge of the state of the world—from a sequence of actions and observations. In logical filterin...
125
click to vote
DAGSTUHL
1998
15 years 3 months ago
1998
Abstract. During the last years, a number of formal specification languages for knowledge-based systems have been developed. Characteristic for knowledge-based systems are a comple...
100
click to vote
KI
2007
Springer
15 years 8 months ago
2007
Springer
General action languages, like e.g. the Situation Calculus, use full classical logic to represent knowledge of actions and their effects in dynamic domains. Description Logics, on...