524 search results - page 52 / 105 » Representation and Reasoning on RBAC: A Description Logic Ap... |
105
Voted
KI
1992
Springer
15 years 3 months ago
1992
Springer
Abstract. The purpose of this note is to present and evaluate the options available to a researcher wishing to use logic for representation, reasoning and computation in his applic...
ICCBR
2005
Springer
15 years 4 months ago
2005
Springer
The problem of heterogeneous case representation poses a major obstacle to realising real-life multi-case-base reasoning (MCBR) systems. The knowledge overhead in developing and ma...
102
click to vote
SAC
2010
ACM
15 years 6 months ago
2010
ACM
Extensive research activities are recently directed towards the Semantic Web as a future form of the Web. Consequently, Web search as the key technology of the Web is evolving tow...
ENTCS
2007
14 years 11 months ago
2007
Bialgebraic semantics, invented a decade ago by Turi and Plotkin, is an approach to formal reasoning about well-behaved structural operational specifications. An extension of alg...
100
click to vote
MIDDLEWARE
2007
Springer
15 years 5 months ago
2007
Springer
This paper is about a novel rule-based approach for reasoning about qualitative spatiotemporal relations among technology-rich autonomous objects, to which we refer to as artifact...