Authorization and Obligation Policies in Dynamic Systems (Q5504643): Difference between revisions

@@ Property / cites work @@
+Knowledge Representation, Reasoning and Declarative Problem Solving
+Normal rank
@@ Property / cites work @@
+Q2734940
@@ Property / cites work: Q2734940 / rank @@
+Normal rank
@@ Property / cites work @@
+Representing actions in logic programs and default theories a situation calculus approach
+Normal rank
@@ Property / cites work @@
+Flexible support for multiple access control policies
+Normal rank
@@ Property / cites work @@
+A logic-based calculus of events
@@ Property / cites work: A logic-based calculus of events / rank @@
+Normal rank
@@ Property / cites work @@
+ACLP: Abductive Constraint Logic Programming
@@ Property / cites work: ACLP: Abductive Constraint Logic Programming / rank @@
+Normal rank