320 search results - page 7 / 64 » A Modal Logic of Information Change |
136
click to vote
LFCS
2009
Springer
15 years 6 months ago
2009
Springer
Memory logics are a family of modal logics in which standard relational structures are augmented with data structures and additional operations to modify and query these structure...
MMMACNS
2005
Springer
15 years 5 months ago
2005
Springer
Making correct access-control decisions is central to security, which in turn requires accounting correctly for the identity, credentials, roles, authority, and privileges of users...
109
click to vote
ICTAI
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract—In distributed environments, access control decisions depend on statements of multiple agents rather than only one central trusted party. However, existing policy langua...
107
click to vote
DALT
2008
Springer
15 years 1 months ago
2008
Springer
We propose a variant of alternating time temporal logic (ATL) with imperfect information, perfect recall, epistemic modalities for the past and strategies which are required to be ...
ECSQARU
2003
Springer
15 years 4 months ago
2003
Springer
In this paper, we propose some extensions of epistemic logic for reasoning about information fusion. The fusion operators considered in this paper include majority merging, arbitra...