855 search results - page 126 / 171 » Using First-Order Logic to Reason about Policies |
CALCO
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. We present a coalgebraic semantics for reasoning about information update in multi-agent systems. The novelty is that we have one structure for both states and actions an...
FM
1999
Springer
14 years 1 months ago
1999
Springer
We introduce the concept of a group principal and present a number of different classes of group principals, including threshold-group-principals. These appear to naturally usefu...
IUI
2006
ACM
14 years 2 months ago
2006
ACM
Automated software customization is drawing increasing attention as a means to help users deal with the scope, complexity, potential intrusiveness, and ever-changing nature of mod...
ICDE
2008
IEEE
14 years 3 months ago
2008
IEEE
Recent years have seen a proliferation of work on the Semantic Web, an initiative to enable intelligent agents to reason about and utilize World Wide Web content and services. Con...
BIRTHDAY
2006
Springer
14 years 19 days ago
2006
Springer
The Semantic Web (SW) is viewed as the next generation of the Web that enables intelligent software agents to process and aggregate data autonomously. Ontology languages provide ba...