Programming expert systems in OPS5: an introduction to rule-based programming
Programming expert systems in OPS5: an introduction to rule-based programming
Artificial intelligence: a modern approach
Artificial intelligence: a modern approach
Temporal aggregation in active database rules
SIGMOD '97 Proceedings of the 1997 ACM SIGMOD international conference on Management of data
Formal Characterizations of Active Databases: Part II
DOOD '97 Proceedings of the 5th International Conference on Deductive and Object-Oriented Databases
Distributed action plans in an agent based network management system
AGENTS '00 Proceedings of the fourth international conference on Autonomous agents
Conflict Resolution Using Logic Programming
IEEE Transactions on Knowledge and Data Engineering
A Comparative Study of Policy Specification Languages for Secure Distributed Applications
DSOM '02 Proceedings of the 13th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management: Management Technologies for E-Commerce and E-Business Applications
Reasoning about Evolving Nonmonotonic Knowledge Bases
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Have It Your Way: Personalization of Network-Hosted Services
BNCOD 19 Proceedings of the 19th British National Conference on Databases: Advances in Databases
The Ponder Policy Specification Language
POLICY '01 Proceedings of the International Workshop on Policies for Distributed Systems and Networks
Integrating Goal Specification in Policy-Based Management
POLICY '01 Proceedings of the International Workshop on Policies for Distributed Systems and Networks
Monitors for History-Based Policies
POLICY '01 Proceedings of the International Workshop on Policies for Distributed Systems and Networks
A Policy Language for the Management of Distributed Agents
AOSE '01 Revised Papers and Invited Contributions from the Second International Workshop on Agent-Oriented Software Engineering II
A Logic-Based Policy Definition Language for Network Management
LCN '01 Proceedings of the 26th Annual IEEE Conference on Local Computer Networks
Utilising the Event Calculus for Policy Driven Adaptation on Mobile Systems
POLICY '02 Proceedings of the 3rd International Workshop on Policies for Distributed Systems and Networks (POLICY'02)
Obligation Monitoring in Policy Management
POLICY '02 Proceedings of the 3rd International Workshop on Policies for Distributed Systems and Networks (POLICY'02)
PoP -- An Automated Policy Replacement Architecture for PBNM
POLICY '02 Proceedings of the 3rd International Workshop on Policies for Distributed Systems and Networks (POLICY'02)
Provisions and Obligations in Policy Rule Management
Journal of Network and Systems Management
Realizing Network Control Policies Using Distributed Action Plans
Journal of Network and Systems Management
Active Robust Resource Management in Cluster Computing Using Policies
Journal of Network and Systems Management
Authorization of a QoS path based on generic AAA
Future Generation Computer Systems - iGrid 2002
Analysis of policy management models and specification languages
Network control and engineering for Qos, security and mobility II
Towards a rule model for self-adaptive software
ACM SIGSOFT Software Engineering Notes
Reasoning about evolving nonmonotonic knowledge bases
ACM Transactions on Computational Logic (TOCL)
Using policies in highly configurable component-based NGOSS
BT Technology Journal
Systematic control and management of data integrity
Proceedings of the eleventh ACM symposium on Access control models and technologies
Software—Practice & Experience
Towards a VMM-based usage control framework for OS kernel integrity protection
Proceedings of the 12th ACM symposium on Access control models and technologies
A formal approach for testing security rules
Proceedings of the 12th ACM symposium on Access control models and technologies
Provisions and obligations in policy management and security applications
VLDB '02 Proceedings of the 28th international conference on Very Large Data Bases
Policy-driven self-management for an automotive middleware
HotAC II Hot Topics in Autonomic Computing on Hot Topics in Autonomic Computing
An ECA-based framework for decentralized coordination of ubiquitous web services
Information and Software Technology
Middleware for semantic-based security and safety management of open services
International Journal of Web and Grid Services
A survey of autonomic computing—degrees, models, and applications
ACM Computing Surveys (CSUR)
Towards personalised home care systems
Proceedings of the 1st international conference on PErvasive Technologies Related to Assistive Environments
A versatile policy toolkit supporting run-time policy reconfiguration
Cluster Computing
Embedding Dynamic Behaviour into a Self-configuring Software System
ATC '08 Proceedings of the 5th international conference on Autonomic and Trusted Computing
A Role-Based Infrastructure for the Management of Dynamic Communities
AIMS '08 Proceedings of the 2nd international conference on Autonomous Infrastructure, Management and Security: Resilient Networks and Services
Self-adaptive middleware for digital ink based applications
Proceedings of the 7th workshop on Reflective and adaptive middleware
RPL: a policy language for dynamic reconfiguration
Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems
Policy-based autonomic computing with integral support for self-stabilisation
International Journal of Autonomic Computing
A framework for declarative update specifications in logic programs
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
A formal logic approach to firewall packet filtering analysis and generation
Artificial Intelligence Review
Dynamic security reconfiguration for the semantic web
Engineering Applications of Artificial Intelligence
Formalization and management of group obligations
POLICY'09 Proceedings of the 10th IEEE international conference on Policies for distributed systems and networks
Information and Software Technology
Test generation for network security rules
TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
Survey Paper: A survey on policy languages in network and security management
Computer Networks: The International Journal of Computer and Telecommunications Networking
A logic based approach for dynamic access control
AI'04 Proceedings of the 17th Australian joint conference on Advances in Artificial Intelligence
Evolution and reactivity for the web
Proceedings of the First international conference on Reasoning Web
The role of agreements in IT management software
Architecting Dependable Systems III
Reactive policies for the semantic web
ESWC'10 Proceedings of the 7th international conference on The Semantic Web: research and Applications - Volume Part I
Expert Systems with Applications: An International Journal
Distributed policy specification and interpretation with classified advertisements
PADL'12 Proceedings of the 14th international conference on Practical Aspects of Declarative Languages
PCIEF: a policy conflict identification and evaluation framework
International Journal of Information and Computer Security
Formal specification and management of security policies with collective group obligations
Journal of Computer Security
| Hi-index | 0.00 |
A policy describes principles or strategies for a plan of action designed to achieve a particular set of goals. We define a policy as a function that maps a series of events into a set of actions. In this paper we introduce PDC, a simple but expressive language to specify policies. The design of the language has been strongly influenced by the action languages of Geffner and Bonet (Geffner & Bonet 1998) and Gelfond and Lifschitz (Gelfond & Lifschitz 1993) and the composite temporal event language of Motakis and Zaniolo (Motakis & Zaniolo 1997). The semantics is founded on recent results on formal descriptions of action theories based on automata and their application to active databases. We summarize some complexity results on the hardness of evaluating polices and briefly describe the implementation of a policy server being used to provide centralized administration of a soft switch in a communication network.