Robert Kowalski
Marek Sergot
New Generation Computing
Specifying norm-governed computational societies
Fine-Grained Access Control via Policy-Carrying Data
Event Processing Under Uncertainty