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

@@ Property / author @@
-Michael Gelfond
@@ Property / author: Michael Gelfond / rank @@
-Normal rank
@@ Property / author @@
+Michael Gelfond
@@ Property / author: Michael Gelfond / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-540-89982-2_7
+Normal rank
@@ Property / OpenAlex ID @@
+W1563180800
@@ Property / OpenAlex ID: W1563180800 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:5504643