1171 search results - page 57 / 235 » A Logical Language for Expressing Authorizations |
142
click to vote
ER
2007
Springer
16 years 6 days ago
2007
Springer
This paper intends to classify, review, and compare the existing languages for the specification of spatial integrity constraints at the conceptual level. We classify these languag...
143
click to vote
DLOG
2007
15 years 8 months ago
2007
We introduce a description language for specifying partial ordering relations over concept descriptions in description logics, and show how the language can be used in combination ...
149
click to vote
TARK
2007
Springer
16 years 4 days ago
2007
Springer
We introduce ATLES – a variant of ATL with explicit names for strategies in the object language. ATLES makes it possible to refer to the same strategy in different occurrences o...
166
click to vote
CNL
2009
15 years 7 months ago
2009
Abstract. Anaphora resolution in current computer-processable controlled natural languages relies mainly on syntactic information, accessibility constraints and the distance of the...
155
click to vote
TYPES
1993
Springer
15 years 10 months ago
1993
Springer
Abstract. We explore the expressive power of the formalism called Natural Operational Semantics, NOS, introduced by Burstall and Honsell for defining the operational semantics of ...