2106 search results - page 106 / 422 » Operational Semantics for DyLPs |
174
click to vote
TPLP
2010
15 years 4 months ago
2010
The need for integration of ontologies with nonmonotonic rules has been gaining importance in a number of areas, such as the Semantic Web. A number of researchers addressed this p...
202
click to vote
CSFW
2012
IEEE
13 years 8 months ago
2012
IEEE
—Role-based Access Control (RBAC) is one of the most widespread security mechanisms in use today. Given the growing complexity of policy languages and access control systems, ver...
177
click to vote
FLAIRS
2007
15 years 8 months ago
2007
In this paper we explore a class of belief update operators, in which the definition of the operator is compositional with respect to the sentence to be added. The goal is to pro...
166
click to vote
CEC
2009
IEEE
16 years 1 months ago
2009
IEEE
—Using semantic analysis, we present a technique known as semantically driven mutation which can explicitly detect and apply behavioural changes caused by the syntactic changes i...
148
click to vote
EPEW
2005
Springer
15 years 12 months ago
2005
Springer
Compensation is an error recovery mechanism for long-running transactions. Compensating CSP is a variant of the CSP process algebra with constructs for orchestration of compensatio...