Piero A. Bonatti

Research Interests

• Logic Programming and Nonmonotonic Reasoning
• Automated Deduction
• Knowledge Representation
• Foundations of Security
• Access Control for Open Systems

Recent Projects

• Network of Excellence REWERSE - REasoning on the WEb with Rules and SEmantics - FP6
  • Responsible for the Workpackage "Policy enforcement, composition, and conformance"
• National research project (PRIN) "Enhancements and applications of disjunctive logic programming", funded by Ministero dell'Istruzione, dell'Universita' e della ricerca (MIUR), 2007-2008
• WASP Working group on Answer Set Programming - EU project IST-2001-37004
  • Software prototypes for ASP with unbounded domains
• FASTER - Flexible Access to Statistics, Tables and Electronic Resources
• IKF - Information and Knowledge Fusion, Eureka Project E! 2235
• IMPACT - Interactive Maryland Platform for Agents Collaborating Together
• Certificazione Automatica di Programmi mediante Interpretazione Astratta (COFIN'99)
• Agenti Intelligenti: Interazione e Acquisizione di conoscenza (COFIN'98)

Events

• Tutorial on Semantic Web Policies at the RuleML Workshop, ISWC 2006
  
• W3C Workshop on Languages for Privacy Policy Negotiation and Semantics-Driven Enforcement
  
• 2007 ACM Symposium on InformAtion, Computer and Communications Security (ASIACCS'07)
• Semantic Web Policy Workshop (SWPW 06), ISWC 2006
• ESWC'06 Tutorial on Semantic Web Policies
• Web Policy Zeitgeist Panel at the Semantic Web Policy Workshop (SWPW 05), ISWC 2005
• ICCL Summer School 2005 on Logic-based Knowledge Representation, Technische Universitaet Dresden, 2nd - 17th July 2005
• Program commettee member of the 11^th ACM Conf. on Computer and Communication Security - CCS'04
• Program commettee member of ICLP'04, Saint-Malo, France, 6-9 September 2004
• Co-organizer of the ISWC 2004 Workshop on Trust, Security, and Reputation on the Semantic Web, 7 November, Hiroshima, Japan. [Call for papers]
• Program commettee member of LPNMR'01 - 6th Int.l Conference on Logic Programming and Nonmonotonic Reasoning. September 17-19, 2001, Vienna, Austria
• Co-organizer of the 1998 International Summer School on Logic Programming Perspectives in hot research areas, Acquafredda di Maratea (Basilicata, Italy) September 7-12, 1998
• Program commettee member of LPNMR'97 - 4th Int.l Conference on Logic Programming and Nonmonotonic Reasoning. July 28-31, 1997, Dagstuhl, Germany

Publications

• Publications in the DBLP Bibliography Server

• Publications and citations in CiteSeer

• Awards:

• Best paper award at ICLP 2007, joint work with Sabrina Baselice and Giovanni Criscuolo
• My student S. Baselice got a Best Student Paper award at POLICY 2007, joint work with Marco Faella and myself
• Best paper at ASP 2005, joint work with Michael Gelfond and Sabrina Baselice

• Some publications (not recently updated):

  Journals

  1. P.A. Bonatti, A. Peron. On the undecidability of logics with converse, nominals, recursion and counting. Artificial Intelligence, 158(1):75-96, 2004. [Preliminary version]
  2. P.A. Bonatti. Reasoning with infinite stable models. Artificial Intelligence 156:75-111, 2004. [Final version] [Preliminary version]
  3. J. Biskup, P.A Bonatti. Controlled query evaluation for enforcing confidentiality in complete information systems. Int.l Journal of Information Security 3(1):14-27, 2004.
  4. J. Biskup, P.A Bonatti. Controlled Query Evaluation for Known Policies by Combining Lying and Refusal. Annals of Mathematics and Artificial Intelligence, 40(1-2):37-62,2004.
  5. Piero A. Bonatti, Sarit Kraus, V. S. Subrahmanian. Secure Agents. Annals of Mathematics and Artificial Intelligence 37(1-2): 169-235 (2003)
  6. P. Bonatti, P. Samarati. A Uniform Framework for Regulating Service Access and Information Release on the Web. Journal of Computer Security, 10(3):242-272, 2002.
  7. P. Bonatti, S. De Capitani di Vimercati, P. Samarati. An Algebra for Composing Access Control Policies. ACM Transactions on Information and System Security, 5(1), 2002 [Table of contents]
  8. P.A. Bonatti, N. Olivetti. Sequent calculi for propositional nonmonotonic logics. ACM Transactions on Computational Logic, 3(2):226-278, 2002. [Postscript]
  9. P.A. Bonatti. Resolution for Skeptical Stable Model Semantics. Journal of Automated Reasoning 27(4):391-421, 2001. [Preliminary version from LPNMR'97, gzipped Postscript] [Final version,]
  10. E.Bertino, P.A.Bonatti, E.Ferrari. TRBAC: A Temporal Role-based Access Control Model. ACM Transactions on Information and System Security, 4(3), 2001 [Table of contents]
  11. J. Biskup, P.A. Bonatti. Lying versus refusal for known potential secrets. Data and Knowledge Engineering, 38(2):199-222, 2001. [Abstract and PDF]
  12. E.Bertino, P.A.Bonatti, E.Ferrari, M.L.Sapino. Temporal authorization bases: from specification to integration. Journal of Computer Security, 8(4), 2000.

  Conferences

  1. P.A. Bonatti, C. Lutz, F. Wolter. Expressive Non-Monotonic Description Logics Based on Circumscription. KR'06, to appear
  2. P.A. Bonatti, C. Lutz, N. Murano, M. Vardi. The Complexity of Enriched mu-Calculi. ICALP'06, to appear
  3. P.A. Bonatti, C. Duma, N. Fuchs, W. Nejdl, D. Olmedilla, J. Peer, N. Shahmehri. Semantic Web Policies - A Discussion of Requirements and Research Issues. ESWC'06, to appear.
  4. P.A. Bonatti, D. Olmedilla, J. Peer. Advanced Policy Explanations on the Web. ECAI'06, to appear.
  5. J. Biskup, P.A. Bonatti. Controlled Query Evaluation with Open Queries for a Decidable Relational Submodel. FoIKS 2006, 43-62
  6. C. Zhang, M. Winslett, P.A. Bonatti. PeerAccess: A Logic for Distributed Authorization. 12th ACM Conference on Computer and Communication Security (CCS 2005), 168-179
  7. S. Baselice, P.A. Bonatti, M. Gelfond. A preliminary report on Integrating of Answer Set and Constraint Solving. Workshop on Answer Set Programming 2005 (ASP'05)
  8. S. Baselice, P.A. Bonatti, M. Gelfond. Towards an Integration of Answer Set and Constraint Solving. International Conference on Logic Programming (ICLP 2005), 52-66
  9. P.A. Bonatti, P. Festa. On optimal service selection. Intl. World Wide Web Conference (WWW 2005), 530-538
  10. P.A. Bonatti, D. Olmedilla. Driving and monitoring provisional trust negotiation with metapolicies. IEEE 6th International Workshop on Policies for Distributed Systems and Networks (POLICY 2005), 14-23
  11. P.A. Bonatti. Abduction over unbounded domains via ASP. Proc. of the European Conf. on Artificial Intelligence (ECAI-04), 288-292, IOS Press, 2004.
  12. P.A. Bonatti. On the decidability of containment of recursive Datalog queries - Preliminary report. Proc. of the Twenty-third ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS'04), 297-306, ACM, 2004
  13. P.A. Bonatti. Undecidability results for description logics with recursion and counting. Proc. of the 18th Int. Joint Conf. on Artificial Intelligence (IJCAI-03), 2003.
  14. P.A. Bonatti, Y. Deng, V.S. Subrahmanian. An ontology-extended relational algebra. Proc. of the IEEE International Conference on Information Reuse and Integration (IEEE IRI 2003), 2003
  15. P.A. Bonatti, A. Tettamanzi. Some complexity results on fuzzy description logics. Proc. of the Int.l Workshop on Fuzzy Logic and Applications (WILF'03), 2003
  16. P.A. Bonatti. Finitary Open Logic Programs. Proc. of ASP'03. [PDF]
  17. P.A. Bonatti. Towards Service Description Logics. Proc. of the Joint European Conf. on Logics in AI (JELIA 2002), LNCS 2424, 74-85, Springer, 2002.
  18. J. Biskup, P. Bonatti. Confidentiality Policies and Their Enforcement for Controlled Query Evaluation. Proc. of the European Conf. on Research in Computer Security (ESORICS 2002), LNCS 2502, 39-54, Springer, 2002.
  19. P.A. Bonatti. Reasoning with Infinite Stable Models II: Disjunctive Programs. Proc. of ICLP 2002, LNCS 2401, 333-346, Springer, 2002. [Abstract and PDF]
  20. P.A. Bonatti. Abduction, ASP and Open Logic Programs. Proc. of NMR'02, Toulouse, April 2002. [PDF]
  21. J. Biskup, P.A Bonatti. Controlled Query Evaluation for Known Policies by Combining Lying and Refusal. Proc. of the Conf. on Foundations of Information and Knowledge Systems (FoIKS 2002)
  22. P.A. Bonatti. Reasoning with infinite stable models. Proc. of the 17th Int. Joint Conf. on Artificial Intelligence (IJCAI'01), pp. 603-608, Morgan Kaufmann, 2001. [PDF]
  23. P.A. Bonatti. Reasoning with open logic programs. Proc. of 6th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'01), pp 147-159, LNAI 2173, 2001. [Abstract and PDF]
  24. P.A. Bonatti. Prototypes for Reasoning with Infinite Stable Models and Function Symbols. Proc. of 6th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'01), pp 416-419, LNAI 2173, 2001. [Abstract and PDF]
  25. P. Bonatti, E. Damiani, S. De Capitani di Vimercati, P. Samarati. A Component-based Architecture for Secure Data Publication. Proc. of the 17th Annual Computer Security Applications Conference (ACSAC'01), New Orleans, Louisiana, Dec. 2001
  26. P. Bonatti, P. Samarati. Regulating Service Access and Information Release on the Web. Proc. of the Seventh ACM Conference on Computer and Communications Security, Athens, Greece, November 1-4, 2000. [Abstract and PDF]
  27. P. Bonatti, S. De Capitani di Vimercati, P. Samarati. A Modular Approach to Composing Access Control Policies. Proc. of the Seventh ACM Conference on Computer and Communications Security, Athens, Greece, November 1-4, 2000. [Abstract and PDF]
  28. E.Bertino, P.A.Bonatti, E.Ferrari. TRBAC: A Temporal Role-based Access Control Model. Proc. of the 5th ACM RBAC Workshop, July 26-28, 2000, Berlin.

  Books

  1. V.S. Subrahmanian, P.A. Bonatti, J. Dix, T. Eiter, S. Kraus, F. Ozcan, R. Ross. Heterogeneous Active Agents. MIT Press, 2000.

  Book Chapters

  1. P.A. Bonatti, P. Samarati. Logics for authorizations and security. In J. Chomicki, R. van der Meyden, G. Saake (eds.) Logics for Emerging Applications of Databases, Springer-Verlag, August 2003.

  Proceedings

  1. J. Golbeck, P.A. Bonatti, W. Nejdl, D. Olmedilla, M. Winslett. Proceedings of the ISWC'04 Workshop on Trust, Security, and Reputation on the Semantic Web, Hiroshima, Japan, November 7, 2004

  Technical Reports

  1. J. Biskup, P.A Bonatti. Controlled Query Evaluation for Known Policies by Combinding Lying and Refusal. Computer Science Department, University of Dortmund. September 2001
   

• More publications from the Logic Programming Group site of Torino

• Look for me in the top 10,000 most cited authors in CS (normalized list)
• My Erdös number is 3