Piero A. Bonatti

159 papers A* 19A 9B 19C 1Misc 3Journal 51Unranked 50

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Enhancing cooperativity in controlled query evaluation over ontologies. Artif. Intell. Piero A. Bonatti, Gianluca Cima, Domenico Lembo, Francesco Magliocca, Lorenzo Marconi, Riccardo Rosati, Luigi Sauro, Domenico Fabio Savo
2025	J	`jnl`	Towards Computer-Using Personal Agents. CoRR 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, Ruben Verborgh, Jesse Wright
2023	A*	`conf`	A False Sense of Security (Extended Abstract). IJCAI Piero A. Bonatti
2023	—	`conf`	Circumscription in DL-Lite: Progress Report. Description Logics Piero A. Bonatti, Federica Di Stefano, Magdalena Ortiz, Mantas Simkus
2023	—	`conf`	Dynamic Controlled Query Evaluation over DL-Lite Ontologies (Extended Abstract). Description Logics Piero A. Bonatti, Gianluca Cima, Domenico Lembo, Lorenzo Marconi, Riccardo Rosati, Luigi Sauro, Domenico Fabio Savo
2023	A*	`conf`	Optimizing the Computation of Overriding in DLN (Extended Abstract). IJCAI Piero A. Bonatti, Iliana M. Petrova, Luigi Sauro
2022	J	`jnl`	A false sense of security. Artif. Intell. Piero A. Bonatti
2022	J	`jnl`	CQE in OWL 2 QL: A "Longest Honeymoon" Approach (extended version). CoRR Piero A. Bonatti, Gianluca Cima, Domenico Lembo, Lorenzo Marconi, Riccardo Rosati, Luigi Sauro, Domenico Fabio Savo
2022	Misc	`conf`	Controlled Query Evaluation in OWL 2 QL: A "Longest Honeymoon" Approach. ISWC Piero A. Bonatti, Gianluca Cima, Domenico Lembo, Lorenzo Marconi, Riccardo Rosati, Luigi Sauro, Domenico Fabio Savo
2022	A*	`conf`	Sticky Policies in OWL2: Extending PL with Fixpoints and Transitive Closure. KR Piero A. Bonatti, Luigi Sauro
2021	J	`jnl`	Query answering in circumscribed OWL2 profiles. Ann. Math. Artif. Intell. Piero A. Bonatti
2021	—	`conf`	Representing Consent and Policies for Compliance. EuroS&P Workshops Piero A. Bonatti, Luigi Sauro, Jonathan Langens
2021	—	`conf`	Tractable Compliance Checking with Negation. Description Logics Piero A. Bonatti, Luigi Sauro
2020	J	`jnl`	Defeasible reasoning in Description Logics: an overview on DL CoRR Piero A. Bonatti, Iliana M. Petrova, Luigi Sauro
2020	J	`jnl`	Fast Compliance Checking with General Vocabularies. CoRR Piero A. Bonatti, Luca Ioffredo, Iliana M. Petrova, Luigi Sauro
2020	J	`jnl`	Machine Understandable Policies and GDPR Compliance Checking. CoRR Piero A. Bonatti, Sabrina Kirrane, Iliana M. Petrova, Luigi Sauro
2020	J	`jnl`	Machine Understandable Policies and GDPR Compliance Checking. Künstliche Intell. Piero A. Bonatti, Sabrina Kirrane, Iliana M. Petrova, Luigi Sauro
2020	A*	`conf`	Rational Closure For All Description Logics (Extended Abstract). IJCAI Piero A. Bonatti
2020	J	`jnl`	Real Time Reasoning in OWL2 for GDPR Compliance. CoRR Piero A. Bonatti, Luca Ioffredo, Iliana Mineva Petrova, Luigi Sauro, Ida Sri Rejeki Siahaan
2020	J	`jnl`	Real-time reasoning in OWL2 for GDPR compliance. Artif. Intell. Piero A. Bonatti, Luca Ioffredo, Iliana M. Petrova, Luigi Sauro, Ida Sri Rejeki Siahaan
2020	J	`jnl`	The SPECIAL-K Personal Data Processing Transparency and Compliance Platform. CoRR Sabrina Kirrane, Javier D. Fernández, Piero A. Bonatti, Uros Milosevic, Axel Polleres, Rigo Wenning
2019	—	`conf`	A Richer Policy Language for GDPR Compliance. Description Logics Piero A. Bonatti, Iliana M. Petrova, Luigi Sauro
2019	—	`conf`	Big Data and Analytics in the Age of the GDPR. BigData Congress Piero A. Bonatti, Sabrina Kirrane
2019	J	`jnl`	Rational closure for all description logics. Artif. Intell. Piero A. Bonatti
2018	—	`conf`	A Scalable Consent, Transparency and Compliance Architecture. ESWC (Satellite Events) Sabrina Kirrane, Javier D. Fernández, Wouter Dullaert, Uros Milosevic, Axel Polleres, Piero A. Bonatti, Rigo Wenning, Olha Drozd, Philip Raschke
2018	—	`conf`	Data Privacy Vocabularies and Controls: Semantic Web for Transparency and Privacy. SW4SG@ISWC Piero A. Bonatti, Bert Bos, Stefan Decker, Javier D. Fernández, Sabrina Kirrane, Vassilios Peristeras, Axel Polleres, Rigo Wenning
2018	A*	`conf`	Fast Compliance Checking in an OWL2 Fragment. IJCAI Piero A. Bonatti
2018	A*	`conf`	On the Logical Properties of the Description Logic DL^N (Extended abstract). IJCAI Piero A. Bonatti, Luigi Sauro
2017	A*	`conf`	A New Semantics for Overriding in Description Logics (Extended Abstract). IJCAI Piero A. Bonatti, Marco Faella, Iliana M. Petrova, Luigi Sauro
2017	—	`conf`	Inference-proof Data Filtering for a Probabilistic Setting. PrivOn@ISWC Joachim Biskup, Piero A. Bonatti, Clemente Galdi, Luigi Sauro
2017	J	`jnl`	On the logical properties of the nonmonotonic description logic DL Artif. Intell. Piero A. Bonatti, Luigi Sauro
2017	—	`conf`	Transparent Personal Data Processing: The Road Ahead. SAFECOMP Workshops Piero A. Bonatti, Sabrina Kirrane, Axel Polleres, Rigo Wenning
2016	A	`conf`	Generalized Agent-mediated Procurement Auctions. AAMAS Piero A. Bonatti, Marco Faella, Clemente Galdi, Luigi Sauro
2015	J	`jnl`	A new semantics for overriding in description logics. Artif. Intell. Piero A. Bonatti, Marco Faella, Iliana M. Petrova, Luigi Sauro
2015	—	`conf`	Decidability of Circumscribed Description Logics Revisited. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation Piero A. Bonatti, Marco Faella, Carsten Lutz, Luigi Sauro, Frank Wolter
2015	J	`jnl`	Event-driven RBAC. J. Comput. Secur. Piero A. Bonatti, Clemente Galdi, Davide Torres
2015	—	`conf`	Optimized Construction of Secure Knowledge-Base Views. Description Logics Piero A. Bonatti, Iliana M. Petrova, Luigi Sauro
2015	—	`conf`	Optimizing the Computation of Overriding. ISWC (1) Piero A. Bonatti, Iliana Mineva Petrova, Luigi Sauro
2014	—	`conf`	A Mechanism for Ontology Confidentiality. CILC Piero A. Bonatti, Luigi Sauro, Iliana M. Petrova
2014	J	`jnl`	Defeasible Inclusions in Low-Complexity DLs. CoRR Piero A. Bonatti, Marco Faella, Luigi Sauro
2014	—	`conf`	E-Auctions for Multi-Cloud Service Provisioning. IEEE SCC Marco Anisetti, Claudio A. Ardagna, Piero A. Bonatti, Ernesto Damiani, Marco Faella, Clemente Galdi, Luigi Sauro
2014	J	`jnl`	On the integration of trust with negotiation, argumentation and semantics. Knowl. Eng. Rev. Piero A. Bonatti, Eugénio C. Oliveira, Jordi Sabater-Mir, Carles Sierra, Francesca Toni
2014	—	`conf`	Optimality and Complexity of Inference-Proof Data Filtering and CQE. ESORICS (2) Joachim Biskup, Piero A. Bonatti, Clemente Galdi, Luigi Sauro
2014	—	`conf`	Partial Preferences for Mediated Bargaining. SR Piero A. Bonatti, Marco Faella, Luigi Sauro
2014	J	`jnl`	The Complexity of Circumscription in DLs. CoRR Piero A. Bonatti, Carsten Lutz, Frank Wolter
2013	—	`conf`	A Confidentiality Model for Ontologies. ISWC (1) Piero A. Bonatti, Luigi Sauro
2013	—	`conf`	An Integrated Formal Approach to Usage Control. IEEE Symposium on Security and Privacy Workshops Piero A. Bonatti, Luigi Sauro, Marco Faella, Clemente Galdi
2013	B	`conf`	Auctions for Partial Heterogeneous Preferences. MFCS Piero A. Bonatti, Marco Faella, Clemente Galdi, Luigi Sauro
2013	C	`conf`	ERBAC: event-driven RBAC. SACMAT Piero A. Bonatti, Clemente Galdi, Davide Torres
2012	—	`conf`	Defaults in Description Logics: So Simple, So Difficult. Description Logics Piero A. Bonatti
2011	A*	`conf`	Adding Default Attributes to EL++. AAAI Piero A. Bonatti, Marco Faella, Luigi Sauro
2011	J	`jnl`	Defeasible Inclusions in Low-Complexity DLs. J. Artif. Intell. Res. Piero A. Bonatti, Marco Faella, Luigi Sauro
2011	—	`ch.`	Logic-Based Authorization Languages. Encyclopedia of Cryptography and Security (2nd Ed.) Piero A. Bonatti
2011	A*	`conf`	On the Complexity of EL with Defeasible Inclusions. IJCAI Piero A. Bonatti, Marco Faella, Luigi Sauro
2011	J	`jnl`	On the decidability of FDNC programs. Intelligenza Artificiale Piero A. Bonatti
2011	J	`jnl`	Robust and scalable Linked Data reasoning incorporating provenance and trust annotations. J. Web Semant. Piero A. Bonatti, Aidan Hogan, Axel Polleres, Luigi Sauro
2011	A	`conf`	Towards a Mechanism for Incentivating Privacy. ESORICS Piero A. Bonatti, Marco Faella, Clemente Galdi, Luigi Sauro
2010	J	`jnl`	A Rule-Based Trust Negotiation System. IEEE Trans. Knowl. Data Eng. Piero A. Bonatti, Juri Luca De Coi, Daniel Olmedilla, Luigi Sauro
2010	J	`jnl`	A decidable subclass of finitary programs CoRR Sabrina Baselice, Piero A. Bonatti
2010	J	`jnl`	A decidable subclass of finitary programs. Theory Pract. Log. Program. Sabrina Baselice, Piero A. Bonatti
2010	—	`ch.`	Answer Set Programming. 25 Years GULP Piero A. Bonatti, Francesco Calimeri, Nicola Leone, Francesco Ricca
2010	—	`conf`	Datalog for Security, Privacy and Trust. Datalog Piero A. Bonatti
2010	—	`conf`	Reactive Policies for the Semantic Web. ESWC (1) Piero A. Bonatti, Philipp Kärger, Daniel Olmedilla
2009	—	`conf`	A Comparison of Terminological and Rule-based Policy Languages. SPOT@ESWC Piero A. Bonatti
2009	A*	`conf`	Defeasible Inclusions in Low-Complexity DLs: Preliminary Notes. IJCAI Piero A. Bonatti, Marco Faella, Luigi Sauro
2009	J	`jnl`	On finitely recursive programs CoRR Sabrina Baselice, Piero A. Bonatti, Giovanni Criscuolo
2009	J	`jnl`	On finitely recursive programs. Theory Pract. Log. Program. Sabrina Baselice, Piero A. Bonatti, Giovanni Criscuolo
2009	—	`conf`	Policy Based Protection and Personalized Generation of Web Content. LA-WEB/CLIHC Sergej Zerr, Daniel Olmedilla, Juri Luca De Coi, Wolfgang Nejdl, Piero A. Bonatti, Luigi Sauro
2009	—	`ch.`	Rule-Based Policy Representations and Reasoning. REWERSE Piero A. Bonatti, Juri Luca De Coi, Daniel Olmedilla, Luigi Sauro
2009	J	`jnl`	The Complexity of Circumscription in DLs. J. Artif. Intell. Res. Piero A. Bonatti, Carsten Lutz, Frank Wolter
2008	—	`conf`	A Trust Management Package for Policy-Driven Protection & Personalization of Web Content. POLICY Juri Luca De Coi, Daniel Olmedilla, Sergej Zerr, Piero A. Bonatti, Luigi Sauro
2008	—	`conf`	Comparing Rule-Based Policies. POLICY Piero A. Bonatti, Fabio Mogavero
2008	B	`conf`	Composing Normal Programs with Function Symbols. ICLP Sabrina Baselice, Piero A. Bonatti
2008	A*	`conf`	Credulous Resolution for Answer Set Programming. AAAI Piero A. Bonatti, Enrico Pontelli, Tran Cao Son
2008	J	`jnl`	Erratum to: Reasoning with infinite stable models [Artificial Intelligence 156 (1) (2004) 75-111]. Artif. Intell. Piero A. Bonatti
2008	—	`conf`	On the decidability of FDNC programs. Il Milione Piero A. Bonatti
2008	B	`conf`	Policy-Driven Negotiations and Explanations: Exploiting Logic-Programming for Trust Management, Privacy & Security. ICLP Piero A. Bonatti, Juri Luca De Coi, Daniel Olmedilla, Luigi Sauro
2008	—	`conf`	Protune: A Framework for Semantic Web Policies. ISWC (Posters & Demos) Juri Luca De Coi, Daniel Olmedilla, Piero A. Bonatti, Luigi Sauro
2008	—	`ed.`	Reasoning Web, 4th International Summer School 2008, Venice, Italy, September 7-11, 2008, Tutorial Lectures Reasoning Web Cristina Baroglio, Piero A. Bonatti, Jan Maluszynski, Massimo Marchiori, Axel Polleres, Sebastian Schaffert
2008	J	`jnl`	The Complexity of Enriched Mu-Calculi CoRR Piero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi
2008	J	`jnl`	The Complexity of Enriched Mu-Calculi. Log. Methods Comput. Sci. Piero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi
2007	J	`jnl`	Controlled query evaluation with open queries for a decidable relational submodel. Ann. Math. Artif. Intell. Joachim Biskup, Piero A. Bonatti
2007	B	`conf`	Nonmonotonic Description Logics - Requirements, Theory, and Implementations. TABLEAUX Piero A. Bonatti
2007	B	`conf`	On Finitely Recursive Programs. ICLP Sabrina Baselice, Piero A. Bonatti, Giovanni Criscuolo
2007	—	`conf`	On Interoperable Trust Negotiation Strategies. POLICY Sabrina Baselice, Piero A. Bonatti, Marco Faella
2007	—	`conf`	Rule-Based Policy Representation and Reasoning for the Semantic Web. Reasoning Web Piero A. Bonatti, Daniel Olmedilla
2007	—	`ch.`	Rule-based Policy Specification. Secure Data Management in Decentralized Systems Grigoris Antoniou, Matteo Baldoni, Piero A. Bonatti, Wolfgang Nejdl, Daniel Olmedilla
2006	A	`conf`	Advanced Policy Explanations on the Web. ECAI Piero A. Bonatti, Daniel Olmedilla, Joachim Peer
2006	—	`conf`	Controlled Query Evaluation with Open Queries for a Decidable Relational Submodel. FoIKS Joachim Biskup, Piero A. Bonatti
2006	A*	`conf`	Description Logics with Circumscription. KR Piero A. Bonatti, Carsten Lutz, Frank Wolter
2006	B	`conf`	Semantic Web Policies - A Discussion of Requirements and Research Issues. ESWC Piero A. Bonatti, Claudiu Duma, Norbert E. Fuchs, Wolfgang Nejdl, Daniel Olmedilla, Joachim Peer, Nahid Shahmehri
2006	—	`conf`	The Complexity of Enriched ICALP (2) Piero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi
2005	—	`conf`	A Preliminary Report on Integrating of Answer Set and Constraint Solving. Answer Set Programming Sabrina Baselice, Piero A. Bonatti, Michael Gelfond
2005	—	`conf`	Driving and Monitoring Provisional Trust Negotiation with Metapolicies. POLICY Piero A. Bonatti, Daniel Olmedilla
2005	A*	`conf`	On optimal service selection. WWW Piero A. Bonatti, Paola Festa
2005	A*	`conf`	PeerAccess: a logic for distributed authorization. CCS Marianne Winslett, Charles C. Zhang, Piero A. Bonatti
2005	—	`ed.`	Proceedings of the ISWC*04 Workshop on Trust, Security, and Reputation on the Semantic Web, Hiroshima, Japan, November 7, 2004 Trust@ISWC Jennifer Golbeck, Piero A. Bonatti, Wolfgang Nejdl, Daniel Olmedilla, Marianne Winslett
2005	—	`conf`	Rule Languages for Security and Privacy in Cooperative Systems. COMPSAC (1) Piero A. Bonatti
2005	B	`conf`	Towards an Integration of Answer Set and Constraint Solving. ICLP Sabrina Baselice, Piero A. Bonatti, Michael Gelfond
2004	A	`conf`	Abduction over Unbounded Domains via ASP. ECAI Piero A. Bonatti
2004	J	`jnl`	Controlled Query Evaluation for Known Policies by Combining Lying and Refusal. Ann. Math. Artif. Intell. Joachim Biskup, Piero A. Bonatti
2004	J	`jnl`	Controlled query evaluation for enforcing confidentiality in complete information systems. Int. J. Inf. Sec. Joachim Biskup, Piero A. Bonatti
2004	A*	`conf`	On the Decidability of Containment of Recursive Datalog Queries - Preliminary report. PODS Piero A. Bonatti
2004	J	`jnl`	On the undecidability of logics with converse, nominals, recursion and counting. Artif. Intell. Piero A. Bonatti, Adriano Peron
2004	J	`jnl`	Reasoning with infinite stable models. Artif. Intell. Piero A. Bonatti
2003	Misc	`conf`	An Ontology-Extended Relational Algebra. IRI Piero A. Bonatti, Yu Deng, V. S. Subrahmanian
2003	—	`conf`	Finitary Open Logic Program. Answer Set Programming Piero A. Bonatti
2003	—	`conf`	Logics for Authorization and Security. Logics for Emerging Applications of Databases Piero A. Bonatti, Pierangela Samarati
2003	A*	`conf`	On the Undecidability of Description and Dynamic Logics with Recursion and Counting. IJCAI Piero A. Bonatti
2003	J	`jnl`	Secure Agents. Ann. Math. Artif. Intell. Piero A. Bonatti, Sarit Kraus, V. S. Subrahmanian
2003	—	`conf`	Some Complexity Results on Fuzzy Description Logics. WILF Piero A. Bonatti, Andrea Tettamanzi
2003	—	`conf`	Towards Flexible Credential Negotiation Protocols. Security Protocols Workshop Piero A. Bonatti, Sabrina De Capitani di Vimercati, Pierangela Samarati
2002	J	`jnl`	A Uniform Framework for Regulating Service Access and Information Release on the Web. J. Comput. Secur. Piero A. Bonatti, Pierangela Samarati
2002	J	`jnl`	Abduction, ASP and Open Logic Programs CoRR Piero A. Bonatti
2002	—	`conf`	Abduction, ASP and open logic programs. NMR Piero A. Bonatti
2002	J	`jnl`	An algebra for composing access control policies. ACM Trans. Inf. Syst. Secur. Piero A. Bonatti, Sabrina De Capitani di Vimercati, Pierangela Samarati
2002	A	`conf`	Confidentiality Policies and Their Enforcement for Controlled Query Evaluation. ESORICS Joachim Biskup, Piero A. Bonatti
2002	—	`conf`	Controlled Query Evaluation for Known Policies by Combining Lying and Refusal. FoIKS Joachim Biskup, Piero A. Bonatti
2002	B	`conf`	Reasoning with Infinite Stable Models II: Disjunctive Programs. ICLP Piero A. Bonatti
2002	J	`jnl`	Sequent calculi for propositional nonmonotonic logics. ACM Trans. Comput. Log. Piero A. Bonatti, Nicola Olivetti
2002	B	`conf`	Towards Service Description Logics. JELIA Piero A. Bonatti
2001	A	`conf`	A Component-Based Architecture for Secure Data Publication. ACSAC Piero A. Bonatti, Ernesto Damiani, Sabrina De Capitani di Vimercati, Pierangela Samarati
2001	Misc	`conf`	An Access Control Model for Data Archives. SEC Piero A. Bonatti, Ernesto Damiani, Sabrina De Capitani di Vimercati, Pierangela Samarati
2001	J	`jnl`	Lying versus refusal for known potential secrets. Data Knowl. Eng. Joachim Biskup, Piero A. Bonatti
2001	B	`conf`	Prototypes for Reasoning with Infinite Stable Models and Function Symbols. LPNMR Piero A. Bonatti
2001	B	`conf`	Reasoning with Open Logic Programs. LPNMR Piero A. Bonatti
2001	A*	`conf`	Reasoning with infinite stable models. IJCAI Piero A. Bonatti
2001	J	`jnl`	Resolution for Skeptical Stable Model Semantics. J. Autom. Reason. Piero A. Bonatti
2001	J	`jnl`	TRBAC: A temporal role-based access control model. ACM Trans. Inf. Syst. Secur. Elisa Bertino, Piero A. Bonatti, Elena Ferrari
2000	A*	`conf`	A modular approach to composing access control policies. CCS Piero A. Bonatti, Sabrina De Capitani di Vimercati, Pierangela Samarati
2000	—	`book`	Heterogenous Active Agents V. S. Subrahmanian, Piero A. Bonatti, Jürgen Dix, Thomas Eiter, Sarit Kraus, Fatma Ozcan, Robert B. Ross
2000	A*	`conf`	Regulating service access and information release on the Web. CCS Piero A. Bonatti, Pierangela Samarati
2000	—	`conf`	TRBAC: a temporal role-based access control model. ACM Workshop on Role-Based Access Control Elisa Bertino, Piero A. Bonatti, Elena Ferrari
2000	J	`jnl`	Temporal Authorization Bases: From Specification to Integration. J. Comput. Secur. Elisa Bertino, Piero A. Bonatti, Elena Ferrari, Maria Luisa Sapino
1999	B	`conf`	Specifying and Computing Hierarchies of Temporal Authorizations. DBSec Elisa Bertino, Piero A. Bonatti, Elena Ferrari, Maria Luisa Sapino
1999	—	`conf`	Specifying and computing hierarchies of temporal authorizations. APPIA-GULP-PRODE Elisa Bertino, Piero A. Bonatti, Elena Ferrari, Maria Luisa Sapino
1998	—	`conf`	A Multi-Similarity Algebra. SIGMOD Conference Sibel Adali, Piero A. Bonatti, Maria Luisa Sapino, V. S. Subrahmanian
1998	—	`conf`	Data-Security in Heterogeneous Agent Systems. CIA Piero A. Bonatti, Sarit Kraus, José Salinas, V. S. Subrahmanian
1997	—	`conf`	A Constructive Negation for Transition System Specifications. APPIA-GULP-PRODE Piero A. Bonatti
1997	B	`conf`	A Sequent Calculus for Circumscription. CSL Piero A. Bonatti, Nicola Olivetti
1997	B	`conf`	A Sequent Calculus for Skeptical Default Logic. TABLEAUX Piero A. Bonatti, Nicola Olivetti
1997	J	`jnl`	Merging Heterogeneous Security Orderings. J. Comput. Secur. Piero A. Bonatti, Maria Luisa Sapino, V. S. Subrahmanian
1997	B	`conf`	Resolution for Skeptical Stable Semantics. LPNMR Piero A. Bonatti
1996	A	`conf`	Merging Heterogeneous Security Orderings. ESORICS Piero A. Bonatti, Maria Luisa Sapino, V. S. Subrahmanian
1996	J	`jnl`	Querying Disjunctive Databases Through Nonmonotonic Logics. Theor. Comput. Sci. Piero A. Bonatti, Thomas Eiter
1996	B	`conf`	Sequent Calculi for Default and Autoepistemic Logics. TABLEAUX Piero A. Bonatti
1995	J	`jnl`	A Three-Valued Formalization of Provability. J. Log. Comput. Piero A. Bonatti
1995	J	`jnl`	Autoepistemic Logics as a Unifying Framework for the Semantics of Logic Programs. J. Log. Program. Piero A. Bonatti
1995	J	`jnl`	Foundations of Secure Deductive Databases. IEEE Trans. Knowl. Data Eng. Piero A. Bonatti, Sarit Kraus, V. S. Subrahmanian
1995	A	`conf`	Querying Disjunctive Database Through Nonmonotonic Logics. ICDT Piero A. Bonatti, Thomas Eiter
1995	—	`conf`	Three-Valued Semantics for Extended Logic Programs. GULP-PRODE Piero A. Bonatti, Laura Giordano
1994	J	`jnl`	Autoepistemic Logic Programming. J. Autom. Reason. Piero A. Bonatti
1993	B	`conf`	Autoepistemic Logic Programming. LPNMR Piero A. Bonatti
1992	—	`conf`	Autoepistemic Logics as a Unifying Framework for the Semantics of Logic Programs. JICSLP Piero A. Bonatti
1992	A	`conf`	Declarative Foundations of Secure Deductive Databases. ICDT Piero A. Bonatti, Sarit Kraus, V. S. Subrahmanian
1992	—	`conf`	Model Theoretic Semantics for Demo. META Piero A. Bonatti
1991	—	`conf`	A Family of Three-Valued Autoepistemic Logics. AI*IA Piero A. Bonatti
1991	B	`conf`	Beliefs as Stable Conjectures. LPNMR Piero A. Bonatti
1990	B	`conf`	A More General Solution to the Multiple Expansion Problem. LPNMR Piero A. Bonatti