Piero A. Bonatti, Luigi Sauro. Tractable Compliance Checking with Negation. 34th International Workshop on Description Logics (DL 2021), 2021

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