524 search results - page 41 / 105 » Representation and Reasoning on RBAC: A Description Logic Ap... |
128
click to vote
FMLDO
2000
Springer
15 years 2 months ago
2000
Springer
In this paper a semantic approach for the specification and the management of databases with evolving schemata is introduced. It is shown how a general objectoriented model for sc...
128
click to vote
CL
2000
Springer
15 years 3 months ago
2000
Springer
We describe a system for the synthesis of logic programs from specifications based on higher-order logical descriptions of appropriate refinement operations. The system has been ...
CADE
2007
Springer
15 years 11 months ago
2007
Springer
We present an encoding that is able to specify LTL bounded model checking problems within the Bernays-Sch?onfinkel fragment of first-order logic. This fragment, which also correspo...
90
Voted
SAC
2003
ACM
15 years 4 months ago
2003
ACM
Matchmaking is the problem of matching offers and requests, such as supply and demand in a marketplace, services and customers in a service agency, etc., where both partners are ...
IJCAI
2007
15 years 15 days ago
2007
Reasoning about the past is of fundamental importance in several applications in computer science and artificial intelligence, including reactive systems and planning. In this pa...