524 search results - page 61 / 105 » Representation and Reasoning on RBAC: A Description Logic Ap... |
AAMAS
2004
Springer
14 years 11 months ago
2004
Springer
In this paper we overview one specific approach to the formal development of multi-agent systems. This approach is based on the use of temporal logics to represent both the behavio...
FOIS
2006
15 years 15 days ago
2006
In this paper we present methods to generate a Description Logic (DL) theory from a given First Order Logic (FOL) theory, such that each DL axiom is entailed by the given FOL theor...
114
click to vote
AIA
2006
15 years 15 days ago
2006
Model-based diagnosis of technical systems requires both a simulation machinery and a logic calculus. The former is responsible for the system's behavior analysis, the latter...
ISMIS
2003
Springer
15 years 4 months ago
2003
Springer
T his paper outlines a formal theory for de fining action concepts in taxonomical knowledge representation languages, in a form closely related to description logics. The central p...
107
click to vote
ECMDAFA
2006
Springer
15 years 2 months ago
2006
Springer
Building service-based architectures has become a major area of interest since the advent of Web services. Modelling these architectures is a central activity. Model-driven archite...