Jorge Lobo Randeep Bhatia Shamim Naqvi Network Computing Research Department...  Home/Search
Context Related
| belllabs.com/user/jlobo...99aaai.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: belllabs.com/use...jorge_details (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: 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 PDL, 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 (Update)
Cited by: More
Logics for Authorizations and Security - Piero Bonatti And (2003) (Correct)
Andrei Sabelfeld (Editor) - Turku Centre Computer (Correct)
From Processes to Policies - Concepts for Large Scale Policy.. - Danciu, Kempter (Correct)
Active bibliography (related documents): More All
0.1: A Logic Programming Approach to Conflict Resolution in.. - Chomicki, Lobo, Naqvi (2000) (Correct)
0.1: The Well-Founded Semantics for General Logic Programs - Van Gelder, Ross, Schlipf (1991) (Correct)
0.1: On the Declarative and Procedural Semantics of Logic Programs - Przymusinski (1995) (Correct)
Similar documents based on text: More All
0.7: Reasoning about Policies using Logic Programs - Son, Lobo (2001) (Correct)
0.2: A Formal Semantics for Composite Temporal Events in Active.. - Motakis, Zaniolo (1995) (Correct)
0.2: Composite Temporal Events in Active Database Rules: A.. - Motakis, Zaniolo (1995) (Correct)
Related documents from co-citation: More All
7: Policy Driven Management for Distributed Systems - Sloman - 1994
6: LUPS -- a language for updating logic programs - Alferes, Pereira et al. - 1999
6: Policies in Network and Systems Management - Formal Definition and Architecture - Wies - 1994
BibTeX entry: (Update)
J. Lobo, R. Bhatia, and S. Naqvi. A policy description language. In Proc. of AAAI, Orlando, FL, July 1999. http://citeseer.ist.psu.edu/lobo99policy.html More
@inproceedings{ lobo99policy,
author = "Jorge Lobo and Randeep Bhatia and Shamim A. Naqvi",
title = "A Policy Description Language",
booktitle = "{AAAI}/{IAAI}",
pages = "291-298",
year = "1999",
url = "citeseer.ist.psu.edu/lobo99policy.html" }
Citations (may not include all citations):782 Artificial Intelligence - A Modern Approach (context) - Russell, Norvig - 1995
256 Representing action and change by logic programs - Gelfond, Lifschitz - 1993
113 Active Database Systems - Widom, Ceri - 1995
25 Representing Actions: Laws (context) - Baral, Gelfond et al. - 1997
20 Policies in network and system management - formal definitio.. - Wies - 1994
18 Temporal aggregation in active database rules - Motakis, Zaniolo - 1997
9 Negation as failure (context) - Shepherdson - 1997
1 IMPACT: Interactive Maryland Platform for Agents aCting Toge.. (context) - Subrahmanian, Bonatti et al. - 1998
1 Formal characterizations of active databases: II (context) - Baral, Lobo et al. - 1997
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.bell-labs.com/user/jlobo1/jorge_details.html): More
Theory of Disjunctive Logic Programs - Jack Minker (1991) (Correct)
Abduction and Change - Lobo, Uzcátegui (1996) (Correct)
Formal Characterization of Active Databases - Baral, Lobo (1996) (Correct)
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