1171 search results - page 104 / 235 » A Logical Language for Expressing Authorizations |
160
click to vote
TIME
1994
IEEE
15 years 10 months ago
1994
IEEE
We describe a discrete time probabilitylogic for use as the representation language of a temporal knowledge base. In addition to the usual expressive power of a discrete temporal ...
136
click to vote
IANDC
2006
15 years 6 months ago
2006
This paper generalizes existing connections between automata and logic to a coalgestraction level. Let F : Set Set be a standard functor that preserves weak pullbacks. We introdu...
148
click to vote
ADBIS
2007
Springer
16 years 13 days ago
2007
Springer
The semantics of a new language (CUDL – Conceptual Universal Database Language), designed to manage dynamic database environments, are presented. This language conforms to the FD...
179
click to vote
EKAW
2008
Springer
15 years 8 months ago
2008
Springer
Similarity measures play a key role in the Semantic Web perspective. Indeed, most of the ontology related operations such as ontology learning, ontology alignment, ontology ranking...
296
click to vote
ECOOP
2009
Springer
16 years 6 months ago
2009
Springer
We propose a novel approach based on coinductive logic to specify type systems of programming languages. The approach consists in encoding programs in Horn formulas which are inter...