J. Chomicki, J. Lobo, and S. Naqvi. A Logic Programming Approach to Conflict Resolution in Policy Management. In Proceedings of the 7th International Conference on Principles of Knowledge Representation and Reasoning (KR '00), pages 121--132, Apr. 2000.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....prescribed way. For example, FAF [23] expects the user to create an overriding policy such as if an action is both permitted and forbidden, then it is forbidden . However, as we have already seen, there are problems with the FAF approach to dealing with conflicts. Similar approaches are taken in [9, 22]. In our language, as long as all pairs of permitting and denying policies satisfy the antecedent of Theorem 4.6, policies cannot be inconsistent, so we do not need overriding policies. One way in which it may seem that our language is restricted is that we we do not provide explicit support for ....

J. Chomicki, J. Lobo, and S. Naqvi. A logic programming approach to conflict resolution in policy management. In Principles of Knowledge Representation and Reasoning: Proc. Ninth International Conference (KR '00), pages 121-- 132, 2000.

....primitives. Update requests should be specified in a designated policy language, which provides flexibility by taking information from the environment and the current knowledge base into account. We note that similar approaches have been developed in the area of network management and security [26, 10, 9, 6]. For nonmonotonic knowledge bases represented as (nonmonotonic) logic programs, the LUPS language of dynamic updates [3, 4] has been proposed as a general and flexible language for expressing different kinds of operations for changing the knowledge base, such as adding or removing a clause from ....

....expressive core has been shown, it also has no effects on the expressivity of the language. 7. 2 PDL Motivated by applications in the domain of network managements, a general purpose language for describing policies called PDL has been introduced in [26] and was further elaborated and studied in [10, 9, 31]. PDL has been strongly influenced by traditional action description languages and composite temporal event languages, and offers the possibility of specifying actions for reactive behavior in response to sequences and complex combinations of events. A PDL policy description is a collection of ....

[Article contains additional citation context not shown here]

J. Chomicki, J. Lobo, and S. Naqvi. A logic programming approach to conflict resolution in policy management. in Proc. KR 2000.

....for instance, when different events trigger a set of policies that contain conflicting actions. Therefore, a paramount issue for policy driven mobility is how to detect and resolve conflicts and the research already carried out in the field of policy conflicts can offer valuable solutions [15] [16]. 3 A POLICY CONTROLLED MA FRAMEWORK We have studied and applied the policy controlled approach to mobility in the context of an MA system that exploits a policy language for governing agent behaviour. The MA system is called SOMA and it is a programming framework with a rich set of services for ....

J. Chomicki, et al., "A Logic Programming Approach to Conflict Resolution in Policy Management", Proc. KR

No context found.

J. Chomicki, J. Lobo, and S. Naqvi. A Logic Programming Approach to Conflict Resolution in Policy Management. In Proceedings of the 7th International Conference on Principles of Knowledge Representation and Reasoning (KR '00), pages 121--132, Apr. 2000.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC