1940 search results - page 73 / 388 » The Dynamic Logic of Permission |
106
click to vote
CL
2000
Springer
15 years 4 months ago
2000
Springer
In this paper I give a brief overview of recent work on uncertainty inAI, and relate it to logical representations. Bayesian decision theory and logic are both normative frameworks...
ACSD
2007
IEEE
15 years 6 months ago
2007
IEEE
We study sensor minimization problems in the context of fault diagnosis. Fault diagnosis consists in synthesizing a diagnoser that observes a given plant and identifies faults in...
101
click to vote
IJISEC
2007
14 years 11 months ago
2007
This paper presents a language in which information flow is securely controlled by a type system, yet the security class of data can vary dynamically. Information flow policies ...
DISCEX
2003
IEEE
15 years 5 months ago
2003
IEEE
Coalitions are collaborative networks of autonomous domains where resource sharing is achieved by the distribution of access permissions to coalition members based on negotiated r...
CIA
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. Logic programming has often been considered less than adequate for modelling the dynamics of knowledge changing over time. In this paper we describe Evolving Logic Progra...