A More General Solution to the Multiple Expansion Problem. - Piero A. Bonatti (LPNMR, 1990)

A Family of Three-Valued Autoepistemic Logics. - Piero A. Bonatti (AI*IA, 1991)

Beliefs as Stable Conjectures. - Piero A. Bonatti (LPNMR, 1991)

Declarative Foundations of Secure Deductive Databases. - Piero A. Bonatti; Sarit Kraus; V. S. Subrahmanian (ICDT, 1992)

Model Theoretic Semantics for Demo. - Piero A. Bonatti (META, 1992)

Autoepistemic Logic Programming. - Piero A. Bonatti (J. Autom. Reason., 1994)

Three-Valued Semantics for Extended Logic Programs. - Piero A. Bonatti; Laura Giordano 001 (GULP-PRODE, 1995)

Querying Disjunctive Database Through Nonmonotonic Logics. - Piero A. Bonatti; Thomas Eiter (ICDT, 1995)

Autoepistemic Logics as a Unifying Framework for the Semantics of Logic Programs. - Piero A. Bonatti (J. Log. Program., 1995)

A Three-Valued Formalization of Provability. - Piero A. Bonatti (J. Log. Comput., 1995)

Foundations of Secure Deductive Databases. - Piero A. Bonatti; Sarit Kraus; V. S. Subrahmanian (IEEE Trans. Knowl. Data Eng., 1995)

Sequent Calculi for Default and Autoepistemic Logics. - Piero A. Bonatti (TABLEAUX, 1996)

Querying Disjunctive Databases Through Nonmonotonic Logics. - Piero A. Bonatti; Thomas Eiter (Theor. Comput. Sci., 1996)

A Constructive Negation for Transition System Specifications. - Piero A. Bonatti (APPIA-GULP-PRODE, 1997)

A Sequent Calculus for Circumscription. - Piero A. Bonatti; Nicola Olivetti (CSL, 1997)

Resolution for Skeptical Stable Semantics. - Piero A. Bonatti (LPNMR, 1997)

A Sequent Calculus for Skeptical Default Logic. - Piero A. Bonatti; Nicola Olivetti (TABLEAUX, 1997)

Merging Heterogeneous Security Orderings. - Piero A. Bonatti; Maria Luisa Sapino; V. S. Subrahmanian (J. Comput. Secur., 1997)

Data-Security in Heterogeneous Agent Systems. - Piero A. Bonatti; Sarit Kraus; José Salinas; V. S. Subrahmanian (CIA, 1998)

A Multi-Similarity Algebra. - Sibel Adali; Piero A. Bonatti; Maria Luisa Sapino; V. S. Subrahmanian (SIGMOD Conference, 1998)

Specifying and computing hierarchies of temporal authorizations. - Elisa Bertino; Piero A. Bonatti; Elena Ferrari 001; Maria Luisa Sapino (APPIA-GULP-PRODE, 1999)

Heterogenous Active Agents - V. S. Subrahmanian; Piero A. Bonatti; Jürgen Dix; Thomas Eiter; Sarit Kraus; Fatma Ozcan; Robert B. Ross (MIT Press, 2000)

Regulating service access and information release on the Web. - Piero A. Bonatti; Pierangela Samarati (CCS, 2000)

A modular approach to composing access control policies. - Piero A. Bonatti; Sabrina De Capitani di Vimercati; Pierangela Samarati (CCS, 2000)

Temporal Authorization Bases: From Specification to Integration. - Elisa Bertino; Piero A. Bonatti; Elena Ferrari 001; Maria Luisa Sapino (J. Comput. Secur., 2000)

A Component-Based Architecture for Secure Data Publication. - Piero A. Bonatti; Ernesto Damiani; Sabrina De Capitani di Vimercati; Pierangela Samarati (ACSAC, 2001)

Reasoning with Open Logic Programs. - Piero A. Bonatti (LPNMR, 2001)

Prototypes for Reasoning with Infinite Stable Models and Function Symbols. - Piero A. Bonatti (LPNMR, 2001)

An Access Control Model for Data Archives. - Piero A. Bonatti; Ernesto Damiani; Sabrina De Capitani di Vimercati; Pierangela Samarati (SEC, 2001)

Lying versus refusal for known potential secrets. - Joachim Biskup; Piero A. Bonatti (Data Knowl. Eng., 2001)

Resolution for Skeptical Stable Model Semantics. - Piero A. Bonatti (J. Autom. Reason., 2001)

TRBAC: A temporal role-based access control model. - Elisa Bertino; Piero A. Bonatti; Elena Ferrari 001 (ACM Trans. Inf. Syst. Secur., 2001)

Confidentiality Policies and Their Enforcement for Controlled Query Evaluation. - Joachim Biskup; Piero A. Bonatti (ESORICS, 2002)

Reasoning with Infinite Stable Models II: Disjunctive Programs. - Piero A. Bonatti (ICLP, 2002)

Towards Service Description Logics. - Piero A. Bonatti (JELIA, 2002)

Abduction, ASP and open logic programs. - Piero A. Bonatti (NMR, 2002)

A Uniform Framework for Regulating Service Access and Information Release on the Web. - Piero A. Bonatti; Pierangela Samarati (J. Comput. Secur., 2002)

An algebra for composing access control policies. - Piero A. Bonatti; Sabrina De Capitani di Vimercati; Pierangela Samarati (ACM Trans. Inf. Syst. Secur., 2002)

Sequent calculi for propositional nonmonotonic logics. - Piero A. Bonatti; Nicola Olivetti (ACM Trans. Comput. Log., 2002)

Finitary Open Logic Program. - Piero A. Bonatti (Answer Set Programming, 2003)

Logics for Authorization and Security. - Piero A. Bonatti; Pierangela Samarati (Logics for Emerging Applications of Databases, 2003)

On the Undecidability of Description and Dynamic Logics with Recursion and Counting. - Piero A. Bonatti (IJCAI, 2003)

An Ontology-Extended Relational Algebra. - Piero A. Bonatti; Yu Deng 004; V. S. Subrahmanian (IRI, 2003)

Towards Flexible Credential Negotiation Protocols. - Piero A. Bonatti; Sabrina De Capitani di Vimercati; Pierangela Samarati (Security Protocols Workshop, 2003)

Some Complexity Results on Fuzzy Description Logics. - Piero A. Bonatti; Andrea Tettamanzi (WILF, 2003)

Secure Agents. - Piero A. Bonatti; Sarit Kraus; V. S. Subrahmanian (Ann. Math. Artif. Intell., 2003)

Abduction over Unbounded Domains via ASP. - Piero A. Bonatti (ECAI, 2004)

On the Decidability of Containment of Recursive Datalog Queries - Preliminary report. - Piero A. Bonatti (PODS, 2004)

Reasoning with infinite stable models. - Piero A. Bonatti (Artif. Intell., 2004)

On the undecidability of logics with converse, nominals, recursion and counting. - Piero A. Bonatti; Adriano Peron (Artif. Intell., 2004)

Controlled Query Evaluation for Known Policies by Combining Lying and Refusal. - Joachim Biskup; Piero A. Bonatti (Ann. Math. Artif. Intell., 2004)

Controlled query evaluation for enforcing confidentiality in complete information systems. - Joachim Biskup; Piero A. Bonatti (Int. J. Inf. Sec., 2004)

A Preliminary Report on Integrating of Answer Set and Constraint Solving. - Sabrina Baselice; Piero A. Bonatti; Michael Gelfond (Answer Set Programming, 2005)

PeerAccess: a logic for distributed authorization. - Marianne Winslett; Charles C. Zhang; Piero A. Bonatti (CCS, 2005)

Rule Languages for Security and Privacy in Cooperative Systems. - Piero A. Bonatti (COMPSAC (1), 2005)

Towards an Integration of Answer Set and Constraint Solving. - Sabrina Baselice; Piero A. Bonatti; Michael Gelfond (ICLP, 2005)

Driving and Monitoring Provisional Trust Negotiation with Metapolicies. - Piero A. Bonatti; Daniel Olmedilla (POLICY, 2005)

On optimal service selection. - Piero A. Bonatti; Paola Festa (WWW, 2005)

Advanced Policy Explanations on the Web. - Piero A. Bonatti; Daniel Olmedilla; Joachim Peer (ECAI, 2006)

Semantic Web Policies - A Discussion of Requirements and Research Issues. - Piero A. Bonatti; Claudiu Duma; Norbert E. Fuchs; Wolfgang Nejdl; Daniel Olmedilla; Joachim Peer; Nahid Shahmehri (ESWC, 2006)

The Complexity of Enriched µ-Calculi. - Piero A. Bonatti; Carsten Lutz; Aniello Murano; Moshe Y. Vardi (ICALP (2), 2006)

Description Logics with Circumscription. - Piero A. Bonatti; Carsten Lutz; Frank Wolter (KR, 2006)

On Interoperable Trust Negotiation Strategies. - Sabrina Baselice; Piero A. Bonatti; Marco Faella (POLICY, 2007)

Rule-Based Policy Representation and Reasoning for the Semantic Web. - Piero A. Bonatti; Daniel Olmedilla (Reasoning Web, 2007)

Nonmonotonic Description Logics - Requirements, Theory, and Implementations. - Piero A. Bonatti (TABLEAUX, 2007)

Controlled query evaluation with open queries for a decidable relational submodel. - Joachim Biskup; Piero A. Bonatti (Ann. Math. Artif. Intell., 2007)

Rule-based Policy Specification. - Grigoris Antoniou; Matteo Baldoni; Piero A. Bonatti; Wolfgang Nejdl; Daniel Olmedilla (Secure Data Management in Decentralized Systems, 2007)

Credulous Resolution for Answer Set Programming. - Piero A. Bonatti; Enrico Pontelli; Tran Cao Son (AAAI, 2008)

Composing Normal Programs with Function Symbols. - Sabrina Baselice; Piero A. Bonatti (ICLP, 2008)

Policy-Driven Negotiations and Explanations: Exploiting Logic-Programming for Trust Management, Privacy & Security. - Piero A. Bonatti; Juri Luca De Coi; Daniel Olmedilla; Luigi Sauro (ICLP, 2008)

Comparing Rule-Based Policies. - Piero A. Bonatti; Fabio Mogavero (POLICY, 2008)

A Trust Management Package for Policy-Driven Protection & Personalization of Web Content. - Juri Luca De Coi; Daniel Olmedilla; Sergej Zerr; Piero A. Bonatti; Luigi Sauro (POLICY, 2008)

Protune: A Framework for Semantic Web Policies. - Juri Luca De Coi; Daniel Olmedilla; Piero A. Bonatti; Luigi Sauro (ISWC (Posters & Demos), 2008)

Erratum to: Reasoning with infinite stable models [Artificial Intelligence 156 (1) (2004) 75-111]. - Piero A. Bonatti (Artif. Intell., 2008)

The Complexity of Enriched Mu-Calculi. - Piero A. Bonatti; Carsten Lutz; Aniello Murano; Moshe Y. Vardi (Log. Methods Comput. Sci., 2008)

A Comparison of Terminological and Rule-based Policy Languages. - Piero A. Bonatti (SPOT@ESWC, 2009)

Defeasible Inclusions in Low-Complexity DLs: Preliminary Notes. - Piero A. Bonatti; Marco Faella; Luigi Sauro (IJCAI, 2009)

Policy Based Protection and Personalized Generation of Web Content. - Sergej Zerr; Daniel Olmedilla; Juri Luca De Coi; Wolfgang Nejdl; Piero A. Bonatti; Luigi Sauro (LA-WEB/CLIHC, 2009)

The Complexity of Circumscription in DLs. - Piero A. Bonatti; Carsten Lutz; Frank Wolter (J. Artif. Intell. Res., 2009)

On finitely recursive programs. - Sabrina Baselice; Piero A. Bonatti; Giovanni Criscuolo (Theory Pract. Log. Program., 2009)

Rule-Based Policy Representations and Reasoning. - Piero A. Bonatti; Juri Luca De Coi; Daniel Olmedilla; Luigi Sauro (REWERSE, 2009)

Answer Set Programming. - Piero A. Bonatti; Francesco Calimeri; Nicola Leone; Francesco Ricca (25 Years GULP, 2010)

Datalog for Security, Privacy and Trust. - Piero A. Bonatti (Datalog, 2010)

Reactive Policies for the Semantic Web. - Piero A. Bonatti; Philipp Kärger; Daniel Olmedilla (ESWC (1), 2010)

EL mathcal{EL} with Default Attributes and Overriding. - Piero A. Bonatti; Marco Faella; Luigi Sauro (ISWC (1), 2010)

A Rule-Based Trust Negotiation System. - Piero A. Bonatti; Juri Luca De Coi; Daniel Olmedilla; Luigi Sauro (IEEE Trans. Knowl. Data Eng., 2010)

A decidable subclass of finitary programs. - Sabrina Baselice; Piero A. Bonatti (Theory Pract. Log. Program., 2010)

Adding Default Attributes to EL++. - Piero A. Bonatti; Marco Faella; Luigi Sauro (AAAI, 2011)

Towards a Mechanism for Incentivating Privacy. - Piero A. Bonatti; Marco Faella; Clemente Galdi; Luigi Sauro (ESORICS, 2011)

On the Complexity of EL with Defeasible Inclusions. - Piero A. Bonatti; Marco Faella; Luigi Sauro (IJCAI, 2011)

On the decidability of FDNC programs. - Piero A. Bonatti (Intelligenza Artificiale, 2011)

Defeasible Inclusions in Low-Complexity DLs. - Piero A. Bonatti; Marco Faella; Luigi Sauro (J. Artif. Intell. Res., 2011)

Robust and scalable Linked Data reasoning incorporating provenance and trust annotations. - Piero A. Bonatti; Aidan Hogan; Axel Polleres; Luigi Sauro (J. Web Semant., 2011)

Logic-Based Authorization Languages. - Piero A. Bonatti (Encyclopedia of Cryptography and Security (2nd Ed.), 2011)

Defaults in Description Logics: So Simple, So Difficult. - Piero A. Bonatti (Description Logics, 2012)

Auctions for Partial Heterogeneous Preferences. - Piero A. Bonatti; Marco Faella; Clemente Galdi; Luigi Sauro (MFCS, 2013)

ERBAC: event-driven RBAC. - Piero A. Bonatti; Clemente Galdi; Davide Torres (SACMAT, 2013)

A Confidentiality Model for Ontologies. - Piero A. Bonatti; Luigi Sauro (ISWC (1), 2013)

An Integrated Formal Approach to Usage Control. - Piero A. Bonatti; Luigi Sauro; Marco Faella; Clemente Galdi (IEEE Symposium on Security and Privacy Workshops, 2013)

E-Auctions for Multi-Cloud Service Provisioning. - Marco Anisetti; Claudio A. Ardagna; Piero A. Bonatti; Ernesto Damiani; Marco Faella; Clemente Galdi; Luigi Sauro (IEEE SCC, 2014)

A Mechanism for Ontology Confidentiality. - Piero A. Bonatti; Luigi Sauro; Iliana M. Petrova (CILC, 2014)

Optimality and Complexity of Inference-Proof Data Filtering and CQE. - Joachim Biskup; Piero A. Bonatti; Clemente Galdi; Luigi Sauro (ESORICS (2), 2014)

Partial Preferences for Mediated Bargaining. - Piero A. Bonatti; Marco Faella; Luigi Sauro (SR, 2014)

On the integration of trust with negotiation, argumentation and semantics. - Piero A. Bonatti; Eugénio C. Oliveira; Jordi Sabater-Mir; Carles Sierra; Francesca Toni (Knowl. Eng. Rev., 2014)

Decidability of Circumscribed Description Logics Revisited. - Piero A. Bonatti; Marco Faella; Carsten Lutz; Luigi Sauro; Frank Wolter (Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2015)

Optimized Construction of Secure Knowledge-Base Views. - Piero A. Bonatti; Iliana M. Petrova; Luigi Sauro (Description Logics, 2015)

Optimizing the Computation of Overriding. - Piero A. Bonatti; Iliana Mineva Petrova; Luigi Sauro (ISWC (1), 2015)

A new semantics for overriding in description logics. - Piero A. Bonatti; Marco Faella; Iliana M. Petrova; Luigi Sauro (Artif. Intell., 2015)

Event-driven RBAC. - Piero A. Bonatti; Clemente Galdi; Davide Torres (J. Comput. Secur., 2015)

Generalized Agent-mediated Procurement Auctions. - Piero A. Bonatti; Marco Faella; Clemente Galdi; Luigi Sauro (AAMAS, 2016)

A New Semantics for Overriding in Description Logics (Extended Abstract). - Piero A. Bonatti; Marco Faella; Iliana M. Petrova; Luigi Sauro (IJCAI, 2017)

Transparent Personal Data Processing: The Road Ahead. - Piero A. Bonatti; Sabrina Kirrane; Axel Polleres; Rigo Wenning (SAFECOMP Workshops, 2017)

Inference-proof Data Filtering for a Probabilistic Setting. - Joachim Biskup; Piero A. Bonatti; Clemente Galdi; Luigi Sauro (PrivOn@ISWC, 2017)

On the logical properties of the nonmonotonic description logic DLN. - Piero A. Bonatti; Luigi Sauro (Artif. Intell., 2017)

A Scalable Consent, Transparency and Compliance Architecture. - Sabrina Kirrane; Javier D. Fernández; Wouter Dullaert; Uros Milosevic; Axel Polleres; Piero A. Bonatti; Rigo Wenning; Olha Drozd; Philip Raschke (ESWC (Satellite Events), 2018)

Fast Compliance Checking in an OWL2 Fragment. - Piero A. Bonatti (IJCAI, 2018)

On the Logical Properties of the Description Logic DL^N (Extended abstract). - Piero A. Bonatti; Luigi Sauro (IJCAI, 2018)

Data Privacy Vocabularies and Controls: Semantic Web for Transparency and Privacy. - Piero A. Bonatti; Bert Bos; Stefan Decker; Javier D. Fernández; Sabrina Kirrane; Vassilios Peristeras; Axel Polleres; Rigo Wenning (SW4SG@ISWC, 2018)

Knowledge Graphs: New Directions for Knowledge Representation on the Semantic Web (Dagstuhl Seminar 18371). - Piero Andrea Bonatti; Stefan Decker; Axel Polleres; Valentina Presutti (Dagstuhl Reports, 2018)

Big Data and Analytics in the Age of the GDPR. - Piero A. Bonatti; Sabrina Kirrane (BigData Congress, 2019)

A Richer Policy Language for GDPR Compliance. - Piero A. Bonatti; Iliana M. Petrova; Luigi Sauro (Description Logics, 2019)

Rational closure for all description logics. - Piero A. Bonatti (Artif. Intell., 2019)

Rational Closure For All Description Logics (Extended Abstract). - Piero A. Bonatti (IJCAI, 2020)

Real-time reasoning in OWL2 for GDPR compliance. - Piero A. Bonatti; Luca Ioffredo; Iliana M. Petrova; Luigi Sauro; Ida Sri Rejeki Siahaan (Artif. Intell., 2020)

Fast Compliance Checking with General Vocabularies. - Piero A. Bonatti; Luca Ioffredo; Iliana M. Petrova; Luigi Sauro (CoRR, 2020)

The SPECIAL-K Personal Data Processing Transparency and Compliance Platform. - Sabrina Kirrane; Javier D. Fernández; Piero A. Bonatti; Uros Milosevic; Axel Polleres; Rigo Wenning (CoRR, 2020)

Defeasible reasoning in Description Logics: an overview on DLN. - Piero A. Bonatti; Iliana M. Petrova; Luigi Sauro (CoRR, 2020)

Machine Understandable Policies and GDPR Compliance Checking. - Piero A. Bonatti; Sabrina Kirrane; Iliana M. Petrova; Luigi Sauro (Künstliche Intell., 2020)

Defeasible Reasoning in Description Logics: An Overview on DLN. - Piero Andrea Bonatti; Iliana Mineva Petrova; Luigi Sauro (Applications and Practices in Ontology Design, Extraction, and Reasoning, 2020)

Tractable Compliance Checking with Negation. - Piero A. Bonatti; Luigi Sauro (Description Logics, 2021)

Representing Consent and Policies for Compliance. - Piero A. Bonatti; Luigi Sauro; Jonathan Langens (EuroS&P Workshops, 2021)

Query answering in circumscribed OWL2 profiles. - Piero A. Bonatti (Ann. Math. Artif. Intell., 2021)

Sticky Policies in OWL2: Extending PL with Fixpoints and Transitive Closure. - Piero A. Bonatti; Luigi Sauro (KR, 2022)

Controlled Query Evaluation in OWL 2 QL: A "Longest Honeymoon" Approach. - Piero A. Bonatti; Gianluca Cima; Domenico Lembo; Lorenzo Marconi 002; Riccardo Rosati 001; Luigi Sauro; Domenico Fabio Savo (ISWC, 2022)

A false sense of security. - Piero A. Bonatti (Artif. Intell., 2022)

Optimizing the computation of overriding in DLN. - Piero Andrea Bonatti; Iliana Mineva Petrova; Luigi Sauro (Artif. Intell., 2022)

CQE in OWL 2 QL: A "Longest Honeymoon" Approach (extended version). - Piero A. Bonatti; Gianluca Cima; Domenico Lembo; Lorenzo Marconi 002; Riccardo Rosati 001; Luigi Sauro; Domenico Fabio Savo (CoRR, 2022)

Dynamic Controlled Query Evaluation over DL-Lite Ontologies (Extended Abstract). - Piero A. Bonatti; Gianluca Cima; Domenico Lembo; Lorenzo Marconi 002; Riccardo Rosati 001; Luigi Sauro; Domenico Fabio Savo (Description Logics, 2023)

Circumscription in DL-Lite: Progress Report. - Piero A. Bonatti; Federica Di Stefano 001; Magdalena Ortiz 001; Mantas Simkus (Description Logics, 2023)

A False Sense of Security (Extended Abstract). - Piero A. Bonatti (IJCAI, 2023)

Optimizing the Computation of Overriding in DLN (Extended Abstract). - Piero A. Bonatti; Iliana M. Petrova; Luigi Sauro (IJCAI, 2023)

Lost in the Crowd: k-unmatchability in Anonymized Knowledge Graphs. - Piero Andrea Bonatti; Francesco Magliocca; Luigi Sauro (KR, 2024)

Enhancing cooperativity in controlled query evaluation over ontologies. - Piero A. Bonatti; Gianluca Cima; Domenico Lembo; Francesco Magliocca; Lorenzo Marconi 002; Riccardo Rosati 001; Luigi Sauro; Domenico Fabio Savo (Artif. Intell., 2025)

Effective and fast module extraction for nonempty ABoxes. - Piero Andrea Bonatti; Francesco Magliocca; Iliana Mineva Petrova; Luigi Sauro (Artif. Intell., 2025)

Towards Computer-Using Personal Agents. - Piero A. Bonatti; John Domingue; Anna Lisa Gentile; Andreas Harth; Olaf Hartig; Aidan Hogan; Katja Hose; Ernesto Jiménez-Ruiz; Deborah L. McGuinness; Chang Sun 001; Ruben Verborgh; Jesse Wright (CoRR, 2025)