2685 search results - page 148 / 537 » A Formal Semantics for SPKI |
162
Voted
WOLLIC
2009
Springer
16 years 1 months ago
2009
Springer
A relation between two secrets, known in the literature as nondeducibility, was originally introduced by Sutherland. We extend it to a relation between sets of secrets that we call...
179
click to vote
DALT
2003
Springer
16 years 2 days ago
2003
Springer
We propose a logic-based rendition of electronic institutions – these are means to specify open agent organisations. We employ a simple notation based on first-order logic and s...
157
Voted
ECAI
2004
Springer
15 years 10 months ago
2004
Springer
We introduce a uniform approach of representing a variety of paraconsistent non-monotonic formalisms by quantified Boolean formulae (QBFs) in the context of four-valued semantics. ...
151
click to vote
ZUM
2000
Springer
15 years 10 months ago
2000
Springer
Unlike Z, Object-Z allows schemas to be defined recursively. This enables mutual and self recursive structures, commonly occurring in object-oriented programs, to be readily specif...
156
Voted
VLDB
1991
ACM
15 years 10 months ago
1991
ACM
We explore the implications of supporting bags (i.e. multisets) in a data model and associated query language, and present some formal results concerned with the algebraic propert...