Publications

Piero A. Bonatti, Luigi Sauro. Tractable Compliance Checking with Negation. 34th International Workshop on Description Logics (DL 2021), 2021
https://dai.fmph.uniba.sk/events/dl2021/papers/accepted/

Piero Bonatti, Jonathan Langens and Luigi Sauro. Representing Consent and Policies for Compliance. 1st International Workshop on Consent Management in Online Services, Networks and Things (CONSENT 2021), co-located with the 6th IEEE EuroS&P conference, 2021
abstract | preprint | slides

Piero A. Bonatti, Luigi Sauro. Sticky Policies in OWL2: Extending PL with Fixpoints and Transitive Closure. Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, KR2022, July 31 – August 5, 2022, Haifa, Israel. To appear
https://kr2022.cs.tu-dortmund.de/accepted_papers.php