Provisions and Obligations in Policy Rule Management

Temporal constraint networks

Rina Dechter, Itay Meiri, Judea Pearl · Artificial Intelligence · 1991 · 1.8K citations

Computing, Computer Science, Algorithms +14

Flexible support for multiple access control policies

Sushil Jajodia, Pierangela Samarati, Maria Luisa Sapino et al. · ACM Transactions on Database Systems · 2001 · 639 citations

Computing, Computer Science, Computer Systems +17

The British Nationality Act as a logic program

Marek Sergot, Fariba Sadri, Robert A. Kowalski et al. · Communications of the ACM · 1986 · 555 citations · Full text

Computing, Computer Science, Computer Systems +13

Representing action and change by logic programs

Michael Gelfond, Vladimir Lifschitz · The Journal of Logic Programming · 1993 · 516 citations

Computing, Computer Science, Formal Methods +10

1987 IEEE Symposium on Security and Privacy

Computer · 1986 · 456 citations

Computing, Computer Engineering, Computer Science +12