3793 search results - page 193 / 759 » Expressive Description Logics |
181
click to vote
DLT
1993
15 years 7 months ago
1993
We concider an extened algebra of regular events (languages) with intersection besides the usual operations. This algebra has the structure of a distributive lattice with monotoni...
140
click to vote
TPHOL
1992
IEEE
15 years 10 months ago
1992
IEEE
The HOL system is an LCF-style mechanized proof-assistant for conducting proofs in higher order logic. This paper discusses a proposal to extend the primitive basis of the logic un...
177
click to vote
CCS
2007
ACM
16 years 22 days ago
2007
ACM
In defining large, complex access control policies, one would like to compose sub-policies, perhaps authored by different organizations, into a single global policy. Existing po...
209
click to vote
ICMCS
2006
IEEE
16 years 18 days ago
2006
IEEE
Automatic facial expression analysis is an important aspect of Human Machine Interaction as the face is an important communicative medium. We use our face to signal interest, disa...
175
click to vote
ICALP
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. State-based systems and modal logics for reasoning about them often heterogeneously combine a number of features such as non-determinism and probabilities. Here, we show ...