1171 search results - page 20 / 235 » A Logical Language for Expressing Authorizations |
123
Voted
TGC
2007
Springer
15 years 8 months ago
2007
Springer
In computing systems, trust is an expectation on the dynamic behavior of an agent; static analysis is a collection of techniques for establishing static bounds on the dynamic behav...
104
Voted
ICDT
2003
ACM
15 years 7 months ago
2003
ACM
We study extensions of first-order logic over the reals with different types of transitive-closure operators as query languages for constraint databases that can be described by...
118
click to vote
INLG
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We present a new approach to the generation of referring expressions containing attributive, type and relational properties combined by conjunctions, disjunctions and neg...
113
click to vote
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
We present the logic CTL.STIT, which is the join of the logic CTL with a multi-agent strategic stit-logic variant. CTL.STIT subsumes ATL, and adds expressivity to it that we claim...
95
Voted
INAP
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. This article merges two approaches: one dealing with persistence for logic programs, as provided by a relational database back-end and another which addresses the issues ...