217 search results - page 6 / 44 » Display Calculi for Logics with Relative Accessibility Relat... |
101
Voted
PSSS
2003
15 years 1 months ago
2003
Abstract: We present DLDB, a knowledge base system that extends a relational database management system with additional capabilities for DAML+OIL inference. We discuss a number of ...
118
click to vote
FOSSACS
2008
Springer
15 years 1 months ago
2008
Springer
We present a translation from a logic of access control with a "says" operator to the classical modal logic S4. We prove that the translation is sound and complete. We al...
104
click to vote
KI
2002
Springer
14 years 11 months ago
2002
Springer
In the previous two decades, a number of qualitative constraint calculi have been developed, which are used to represent and reason about spatial configurations. A common property...
118
click to vote
ICDE
2002
IEEE
15 years 4 months ago
2002
IEEE
Unity is an architecture for integrating relational databases that performs three processes: metadata capture, semantic integration, and query formulation and execution. The found...
CORR
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. We consider a simple model of higher order, functional computations over the booleans. Then, we enrich the model in order to encompass non-termination and unrecoverable e...