Real-time reasoning in OWL2 for GDPR compliance
Bonatti, Piero A., Ioffredo, Luca, Petrova, Iliana M., Sauro, Luigi, Siahaan, Ida R.
Published in Artificial intelligence (01.12.2020)
Published in Artificial intelligence (01.12.2020)
Get full text
Journal Article
On finitely recursive programs
BASELICE, SABRINA, BONATTI, PIERO A., CRISCUOLO, GIOVANNI
Published in Theory and practice of logic programming (01.03.2009)
Published in Theory and practice of logic programming (01.03.2009)
Get full text
Journal Article
A decidable subclass of finitary programs
BASELICE, SABRINA, BONATTI, PIERO A.
Published in Theory and practice of logic programming (01.07.2010)
Published in Theory and practice of logic programming (01.07.2010)
Get full text
Journal Article
The Complexity of Enriched Mu-Calculi
Bonatti, Piero A., Lutz, Carsten, Murano, Aniello, Vardi, Moshe Y.
Published in Logical methods in computer science (22.09.2008)
Published in Logical methods in computer science (22.09.2008)
Get full text
Journal Article
Partial Preferences for Mediated Bargaining
Bonatti, Piero A., Faella, Marco, Sauro, Luigi
Published in Electronic proceedings in theoretical computer science (01.04.2014)
Published in Electronic proceedings in theoretical computer science (01.04.2014)
Get full text
Journal Article
Controlled Query Evaluation for Known Policies by Combining Lying and Refusal
Biskup, Joachim, Bonatti, Piero A
Published in Annals of mathematics and artificial intelligence (01.01.2004)
Published in Annals of mathematics and artificial intelligence (01.01.2004)
Get full text
Journal Article
The Complexity of Enriched μ-Calculi
Bonatti, Piero A., Lutz, Carsten, Murano, Aniello, Vardi, Moshe Y.
Published in Automata, Languages and Programming (2006)
Published in Automata, Languages and Programming (2006)
Get full text
Book Chapter
Conference Proceeding
Robust and scalable Linked Data reasoning incorporating provenance and trust annotations
Bonatti, Piero A., Hogan, Aidan, Polleres, Axel, Sauro, Luigi
Published in Web semantics (01.07.2011)
Published in Web semantics (01.07.2011)
Get full text
Journal Article
Secure Agents
Bonatti, Piero A, Kraus, Sarit, Subrahmanian, V.S
Published in Annals of mathematics and artificial intelligence (01.01.2003)
Published in Annals of mathematics and artificial intelligence (01.01.2003)
Get full text
Journal Article
Defeasible Inclusions in Low-Complexity DLs
Bonatti, P A, Faella, M, Sauro, L
Published in The Journal of artificial intelligence research (01.01.2011)
Published in The Journal of artificial intelligence research (01.01.2011)
Get full text
Journal Article