524 search results - page 53 / 105 » Representation and Reasoning on RBAC: A Description Logic Ap... |
DLOG
2008
15 years 6 days ago
2008
Following the approaches and motivations given in recent works about action languages over description logics, we propose an action formalism based on a constructive semantics for ...
LPNMR
2005
Springer
15 years 4 months ago
2005
Springer
The formalism of nonmonotonic causal theories (Giunchiglia, Lee, Lifschitz, McCain, Turner, 2004) provides a general-purpose formalism for nonmonotonic reasoning and knowledge repr...
122
Voted
CVPR
2011
IEEE
14 years 7 months ago
2011
IEEE
We present a framework for the automatic recognition of complex multi-agent events in settings where structure is imposed by rules that agents must follow while performing activit...
136
click to vote
DILS
2008
Springer
15 years 27 days ago
2008
Springer
With over 80 file formats to represent various chemical attributes, the conversion between one format and another is invariably lossy due to informal specifications. In contrast, t...
DLOG
2010
14 years 9 months ago
2010
Abstract. We study the problem of updates for TBoxes represented in Description Logics of the DL-Lite family. DL-Lite is at the basis of OWL 2 QL, one of the tractable fragments of...