524 search results - page 37 / 105 » Representation and Reasoning on RBAC: A Description Logic Ap... |
100
click to vote
IJPRAI
2000
14 years 11 months ago
2000
We present an approach to knowledge compilation that transforms a function-free first-order Horn knowledge base to propositional logic. This form of compilation is important since...
107
click to vote
CADE
2012
Springer
13 years 1 months ago
2012
Springer
We propose a word level, bounded model checking (BMC) algorithm based on translation into the effectively propositional fragment (EPR) of firstorder logic. This approach to BMC al...
IEAAIE
1998
Springer
15 years 3 months ago
1998
Springer
The users of libraries of object-oriented software components face with both a terminological and a cognitive gap. Usually, library users do not understand the vocabulary used in t...
96
Voted
ILP
2007
Springer
15 years 5 months ago
2007
Springer
The management of business processes has recently received a lot of attention. One of the most interesting problems is the description of a process model in a language that allows ...
GIS
2009
ACM
15 years 5 months ago
2009
ACM
While conventional GIS maps have long been a privileged way for the integration and diffusion of geographical information, novel forms of representation and description of urban ...