7 search results - page 2 / 2 » An Epistemic Logic for Arbitration (Extended Abstract) |
DLOG
2009
13 years 2 months ago
2009
Abstract. Generalized closed world reasoning allows for the assumption of a specified maximal set of negated atomic assertions retaining the consistency of an indefinite knowledge ...
DEON
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. Privacy policies are often defined in terms of permitted messages. Instead, in this paper we derive dynamically the permitted messages from static privacy policies defi...