Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Piero A. Bonatti
2010 – today
- 2013
[c72]- 2012
- [c71]
- 2011
- [j28]
- [j27]Piero A. Bonatti, Marco Faella, Luigi Sauro: Defeasible Inclusions in Low-Complexity DLs. J. Artif. Intell. Res. (JAIR) 42: 719-764 (2011)
- [j26]Piero A. Bonatti, Aidan Hogan, Axel Polleres, Luigi Sauro: Robust and scalable Linked Data reasoning incorporating provenance and trust annotations. J. Web Sem. 9(2): 165-201 (2011)
- [c70]
- [c69]Piero A. Bonatti, Marco Faella, Clemente Galdi, Luigi Sauro: Towards a Mechanism for Incentivating Privacy. ESORICS 2011: 472-488
- [c68]Piero A. Bonatti, Marco Faella, Luigi Sauro: On the Complexity of EL with Defeasible Inclusions. IJCAI 2011: 762-767
- [r1]Piero A. Bonatti: Logic-Based Authorization Languages. Encyclopedia of Cryptography and Security (2nd Ed.) 2011: 734-736
- 2010
- [j25]Piero A. Bonatti, Juri Luca De Coi, Daniel Olmedilla, Luigi Sauro: A Rule-Based Trust Negotiation System. IEEE Trans. Knowl. Data Eng. 22(11): 1507-1520 (2010)
- [j24]Sabrina Baselice, Piero A. Bonatti: A decidable subclass of finitary programs. TPLP 10(4-6): 481-496 (2010)
- [c67]Piero A. Bonatti, Francesco Calimeri, Nicola Leone, Francesco Ricca: Answer Set Programming. 25 Years GULP 2010: 159-182
- [c66]
- [c65]Piero A. Bonatti, Philipp Kärger, Daniel Olmedilla: Reactive Policies for the Semantic Web. ESWC (1) 2010: 76-90
- [c64]Piero A. Bonatti, Marco Faella, Luigi Sauro: EL\mathcal{EL} with Default Attributes and Overriding. International Semantic Web Conference (1) 2010: 64-79
- [i4]Sabrina Baselice, Piero A. Bonatti: A decidable subclass of finitary programs. CoRR abs/1007.3663 (2010)
2000 – 2009
- 2009
- [j23]Piero A. Bonatti, Carsten Lutz, Frank Wolter: The Complexity of Circumscription in DLs. J. Artif. Intell. Res. (JAIR) 35: 717-773 (2009)
- [j22]Sabrina Baselice, Piero A. Bonatti, Giovanni Criscuolo: On finitely recursive programs. TPLP 9(2): 213-238 (2009)
- [c63]Piero A. Bonatti, Marco Faella, Luigi Sauro: Defeasible Inclusions in Low-Complexity DLs: Preliminary Notes. IJCAI 2009: 696-701
- [c62]Sergej Zerr, Daniel Olmedilla, Juri Luca De Coi, Wolfgang Nejdl, Piero A. Bonatti, Luigi Sauro: Policy Based Protection and Personalized Generation of Web Content. LA-WEB/CLIHC 2009: 112-119
- [p2]Piero A. Bonatti, Juri Luca De Coi, Daniel Olmedilla, Luigi Sauro: Rule-Based Policy Representations and Reasoning. REWERSE 2009: 201-232
- [i3]Sabrina Baselice, Piero A. Bonatti, Giovanni Criscuolo: On finitely recursive programs. CoRR abs/0901.2850 (2009)
- 2008
- [j21]Piero A. Bonatti: Erratum to: Reasoning with infinite stable models [Artificial Intelligence 156 (1) (2004) 75-111]. Artif. Intell. 172(15): 1833-1835 (2008)
- [j20]Piero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi: The Complexity of Enriched Mu-Calculi. Logical Methods in Computer Science 4(3) (2008)
- [c61]Piero A. Bonatti, Enrico Pontelli, Tran Cao Son: Credulous Resolution for Answer Set Programming. AAAI 2008: 418-423
- [c60]Sabrina Baselice, Piero A. Bonatti: Composing Normal Programs with Function Symbols. ICLP 2008: 425-439
- [c59]Piero A. Bonatti, Juri Luca De Coi, Daniel Olmedilla, Luigi Sauro: Policy-Driven Negotiations and Explanations: Exploiting Logic-Programming for Trust Management, Privacy & Security. ICLP 2008: 779-784
- [c58]
- [c57]Juri Luca De Coi, Daniel Olmedilla, Sergej Zerr, Piero A. Bonatti, Luigi Sauro: A Trust Management Package for Policy-Driven Protection & Personalization of Web Content. POLICY 2008: 228-230
- [c56]Juri Luca De Coi, Daniel Olmedilla, Piero A. Bonatti, Luigi Sauro: Protune: A Framework for Semantic Web Policies. International Semantic Web Conference (Posters & Demos) 2008
- [e2]Cristina Baroglio, Piero A. Bonatti, Jan Maluszynski, Massimo Marchiori, Axel Polleres, Sebastian Schaffert (Eds.): Reasoning Web, 4th International Summer School 2008, Venice, Italy, September 7-11, 2008, Tutorial Lectures. Lecture Notes in Computer Science 5224, Springer 2008, ISBN 978-3-540-85656-6
- [i2]Piero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi: The Complexity of Enriched Mu-Calculi. CoRR abs/0809.0360 (2008)
- 2007
- [j19]Joachim Biskup, Piero A. Bonatti: Controlled query evaluation with open queries for a decidable relational submodel. Ann. Math. Artif. Intell. 50(1-2): 39-77 (2007)
- [c55]Sabrina Baselice, Piero A. Bonatti, Giovanni Criscuolo: On Finitely Recursive Programs. ICLP 2007: 89-103
- [c54]Sabrina Baselice, Piero A. Bonatti, Marco Faella: On Interoperable Trust Negotiation Strategies. POLICY 2007: 39-50
- [c53]Piero A. Bonatti, Daniel Olmedilla: Rule-Based Policy Representation and Reasoning for the Semantic Web. Reasoning Web 2007: 240-268
- [c52]Piero A. Bonatti: Nonmonotonic Description Logics - Requirements, Theory, and Implementations. TABLEAUX 2007: 1
- [p1]Grigoris Antoniou, Matteo Baldoni, Piero A. Bonatti, Wolfgang Nejdl, Daniel Olmedilla: Rule-based Policy Specification. Secure Data Management in Decentralized Systems 2007: 169-216
- 2006
- [c51]Piero A. Bonatti, Daniel Olmedilla, Joachim Peer: Advanced Policy Explanations on the Web. ECAI 2006: 200-204
- [c50]Piero A. Bonatti, Claudiu Duma, Norbert E. Fuchs, Wolfgang Nejdl, Daniel Olmedilla, Joachim Peer, Nahid Shahmehri: Semantic Web Policies - A Discussion of Requirements and Research Issues. ESWC 2006: 712-724
- [c49]Joachim Biskup, Piero A. Bonatti: Controlled Query Evaluation with Open Queries for a Decidable Relational Submodel. FoIKS 2006: 43-62
- [c48]Piero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi: The Complexity of Enriched µ-Calculi. ICALP (2) 2006: 540-551
- [c47]Piero A. Bonatti, Carsten Lutz, Frank Wolter: Description Logics with Circumscription. KR 2006: 400-410
- 2005
- [c46]Sabrina Baselice, Piero A. Bonatti, Michael Gelfond: A Preliminary Report on Integrating of Answer Set and Constraint Solving. Answer Set Programming 2005
- [c45]Marianne Winslett, Charles C. Zhang, Piero A. Bonatti: PeerAccess: a logic for distributed authorization. ACM Conference on Computer and Communications Security 2005: 168-179
- [c44]Piero A. Bonatti: Rule Languages for Security and Privacy in Cooperative Systems. COMPSAC (1) 2005: 268-269
- [c43]Sabrina Baselice, Piero A. Bonatti, Michael Gelfond: Towards an Integration of Answer Set and Constraint Solving. ICLP 2005: 52-66
- [c42]Piero A. Bonatti, Daniel Olmedilla: Driving and Monitoring Provisional Trust Negotiation with Metapolicies. POLICY 2005: 14-23
- [c41]
- 2004
- [j18]
- [j17]Piero A. Bonatti, Adriano Peron: On the undecidability of logics with converse, nominals, recursion and counting. Artif. Intell. 158(1): 75-96 (2004)
- [j16]Joachim Biskup, Piero A. Bonatti: Controlled Query Evaluation for Known Policies by Combining Lying and Refusal. Ann. Math. Artif. Intell. 40(1-2): 37-62 (2004)
- [j15]Joachim Biskup, Piero A. Bonatti: Controlled query evaluation for enforcing confidentiality in complete information systems. Int. J. Inf. Sec. 3(1): 14-27 (2004)
- [c40]
- [c39]Piero A. Bonatti: On the Decidability of Containment of Recursive Datalog Queries - Preliminary report. PODS 2004: 297-306
- [e1]Jennifer Golbeck, Piero A. Bonatti, Wolfgang Nejdl, Daniel Olmedilla, Marianne Winslett (Eds.): Proceedings of the ISWC*04 Workshop on Trust, Security, and Reputation on the Semantic Web, Hiroshima, Japan, November 7, 2004. CEUR Workshop Proceedings 127, CEUR-WS.org 2004
- 2003
- [j14]Piero A. Bonatti, Sarit Kraus, V. S. Subrahmanian: Secure Agents. Ann. Math. Artif. Intell. 37(1-2): 169-235 (2003)
- [c38]
- [c37]Piero A. Bonatti, Pierangela Samarati: Logics for Authorization and Security. Logics for Emerging Applications of Databases 2003: 277-323
- [c36]Piero A. Bonatti: On the Undecidability of Description and Dynamic Logics with Recursion and Counting. IJCAI 2003: 331-336
- [c35]Piero A. Bonatti, Yu Deng, V. S. Subrahmanian: An Ontology-Extended Relational Algebra. IRI 2003: 192-199
- [c34]Piero A. Bonatti, Sabrina De Capitani di Vimercati, Pierangela Samarati: Towards Flexible Credential Negotiation Protocols. Security Protocols Workshop 2003: 19-23
- [c33]Piero A. Bonatti, Andrea Tettamanzi: Some Complexity Results on Fuzzy Description Logics. WILF 2003: 19-24
- 2002
- [j13]Piero A. Bonatti, Pierangela Samarati: A Uniform Framework for Regulating Service Access and Information Release on the Web. Journal of Computer Security 10(3): 241-272 (2002)
- [j12]Piero A. Bonatti, Sabrina De Capitani di Vimercati, Pierangela Samarati: An algebra for composing access control policies. ACM Trans. Inf. Syst. Secur. 5(1): 1-35 (2002)
- [j11]Piero A. Bonatti, Nicola Olivetti: Sequent calculi for propositional nonmonotonic logics. ACM Trans. Comput. Log. 3(2): 226-278 (2002)
- [c32]Joachim Biskup, Piero A. Bonatti: Confidentiality Policies and Their Enforcement for Controlled Query Evaluation. ESORICS 2002: 39-54
- [c31]Joachim Biskup, Piero A. Bonatti: Controlled Query Evaluation for Known Policies by Combining Lying and Refusal. FoIKS 2002: 49-66
- [c30]Piero A. Bonatti: Reasoning with Infinite Stable Models II: Disjunctive Programs. ICLP 2002: 333-346
- [c29]
- [c28]
- [i1]
- 2001
- [j10]Joachim Biskup, Piero A. Bonatti: Lying versus refusal for known potential secrets. Data Knowl. Eng. 38(2): 199-222 (2001)
- [j9]Piero A. Bonatti: Resolution for Skeptical Stable Model Semantics. J. Autom. Reasoning 27(4): 391-421 (2001)
- [j8]Elisa Bertino, Piero A. Bonatti, Elena Ferrari: TRBAC: A temporal role-based access control model. ACM Trans. Inf. Syst. Secur. 4(3): 191-233 (2001)
- [c27]Piero A. Bonatti, Ernesto Damiani, Sabrina De Capitani di Vimercati, Pierangela Samarati: A Component-Based Architecture for Secure Data Publication. ACSAC 2001: 309-318
- [c26]
- [c25]
- [c24]Piero A. Bonatti: Prototypes for Reasoning with Infinite Stable Models and Function Symbols. LPNMR 2001: 416-419
- [c23]Piero A. Bonatti, Ernesto Damiani, Sabrina De Capitani di Vimercati, Pierangela Samarati: An Access Control Model for Data Archives. SEC 2001: 261-276
- 2000
- [b1]V. S. Subrahmanian, Piero A. Bonatti, Jürgen Dix, Thomas Eiter, Sarit Kraus, Fatma Ozcan, Robert B. Ross: Heterogenous Active Agents. MIT Press 2000, ISBN 0-262-19436-8
- [j7]Elisa Bertino, Piero A. Bonatti, Elena Ferrari, Maria Luisa Sapino: Temporal Authorization Bases: From Specification to Integration. Journal of Computer Security 8(4): 309-353 (2000)
- [c22]Piero A. Bonatti, Pierangela Samarati: Regulating service access and information release on the Web. ACM Conference on Computer and Communications Security 2000: 134-143
- [c21]Piero A. Bonatti, Sabrina De Capitani di Vimercati, Pierangela Samarati: A modular approach to composing access control policies. ACM Conference on Computer and Communications Security 2000: 164-173
- [c20]Elisa Bertino, Piero A. Bonatti, Elena Ferrari: TRBAC: a temporal role-based access control model. ACM Workshop on Role-Based Access Control 2000: 21-30
1990 – 1999
- 1999
- [c19]Elisa Bertino, Piero A. Bonatti, Elena Ferrari, Maria Luisa Sapino: Specifying and computing hierarchies of temporal authorizations. APPIA-GULP-PRODE 1999: 243-258
- [c18]Elisa Bertino, Piero A. Bonatti, Elena Ferrari, Maria Luisa Sapino: Specifying and Computing Hierarchies of Temporal Authorizations. DBSec 1999: 285-300
- 1998
- [c17]Piero A. Bonatti, Sarit Kraus, José Salinas, V. S. Subrahmanian: Data-Security in Heterogeneous Agent Systems. CIA 1998: 290-305
- [c16]Sibel Adali, Piero A. Bonatti, Maria Luisa Sapino, V. S. Subrahmanian: A Multi-Similarity Algebra. SIGMOD Conference 1998: 402-413
- 1997
- [j6]Piero A. Bonatti, Maria Luisa Sapino, V. S. Subrahmanian: Merging Heterogeneous Security Orderings. Journal of Computer Security 5(1): 3-30 (1997)
- [c15]Piero A. Bonatti: A Constructive Negation for Transition System Specifications. APPIA-GULP-PRODE 1997: 283-294
- [c14]
- [c13]
- [c12]Piero A. Bonatti, Nicola Olivetti: A Sequent Calculus for Skeptical Default Logic. TABLEAUX 1997: 107-121
- 1996
- [j5]Piero A. Bonatti, Thomas Eiter: Querying Disjunctive Databases Through Nonmonotonic Logics. Theor. Comput. Sci. 160(1&2): 321-363 (1996)
- [c11]Piero A. Bonatti, Maria Luisa Sapino, V. S. Subrahmanian: Merging Heterogeneous Security Orderings. ESORICS 1996: 183-197
- [c10]
- 1995
- [j4]Piero A. Bonatti: Autoepistemic Logics as a Unifying Framework for the Semantics of Logic Programs. J. Log. Program. 22(2): 91-149 (1995)
- [j3]
- [j2]Piero A. Bonatti, Sarit Kraus, V. S. Subrahmanian: Foundations of Secure Deductive Databases. IEEE Trans. Knowl. Data Eng. 7(3): 406-422 (1995)
- [c9]Piero A. Bonatti, Laura Giordano: Three-Valued Semantics for Extended Logic Programs. GULP-PRODE 1995: 295-306
- [c8]Piero A. Bonatti, Thomas Eiter: Querying Disjunctive Database Through Nonmonotonic Logics. ICDT 1995: 68-81
- 1994
- [j1]
- 1993
- [c7]
- 1992
- [c6]Piero A. Bonatti, Sarit Kraus, V. S. Subrahmanian: Declarative Foundations of Secure Deductive Databases. ICDT 1992: 391-406
- [c5]Piero A. Bonatti: Autoepistemic Logics as a Unifying Framework for the Semantics of Logic Programs. JICSLP 1992: 417-430
- [c4]
- 1991
- [c3]
- [c2]
- 1990
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-01 22:21 CEST by the dblp team