3793 search results - page 246 / 759 » Expressive Description Logics |
156
click to vote
CSFW
2006
IEEE
16 years 21 days ago
2006
IEEE
We present a constructive authorization logic where the meanings of connectives are defined by their associated inference rules. This ensures that the logical reading of access c...
146
click to vote
INAP
2005
Springer
16 years 4 days 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 ...
226
click to vote
TACS
2001
Springer
15 years 11 months ago
2001
Springer
We present a logic that can express properties of freshness, secrecy, structure, and behavior of concurrent systems. In addition to standard logical and temporal operators, our lo...
218
click to vote
AMAST
2006
Springer
15 years 10 months ago
2006
Springer
This paper proposes a modal extension of Separation Logic [8, 11] for reasoning about data-parallel programs that manipulate heap allocated linked data structures. Separation Logi...
198
click to vote
IJCAI
2003
15 years 8 months ago
2003
We propose a purely logical framework for planning in partially observable environments. Knowledge states are expressed in a suitable fragment of the epistemic logic S5. We show h...