Publications

• C. Baroglio, P. A. Bonatti, J. Maluszynski, M. Marchiori, A. Polleres, and S> Schaffert, editors. Reasoning Web, 4th International Summer School 2008, Venice, Italy, September 7-11, 2008, Tutorial Lectures, volume 5224 of Lecture Notes in Computer Science (LNCS). Springer, 2008.

• G. Antoniou, M. Baldoni, P. A. Bonatti, W. Nejdl, and D. Olmedilla. Rule-based policy specification. In T. Yu and J. Jajodia, editors, Security in Data Management in Decentralized Systems, volume 33 of Advances in Information Security, pages 169-216. Springer, 2007. (PDF)

• M. Baldoni, C. Baroglio, P. Bonatti, L. Giordano, A. Martelli, V. Patti, and C. Schifanella. Negotiation Analysis and Design: Reasoning on Policies for Verifying Properties. Technical Report IST506779/Turin/I2-D10/D/PU/a1, Reasoning on the Web with Rules and Semantics, REWERSE, September 3rd 2006. (PDF)

• G. Antoniou, M. Baldoni, C. Baroglio, P.A. Bonatti, C. Duma, N. E. Fuchs, A. Martelli, W. Nejdl, D. Olmedilla, V. Patti, J. Peer, and N. Shahmehri. The REWERSE View on Policies. In L. Kagal, T. Finin, and J. Hendler, editors, Proceedings of the Semantic Web and Policy Workshop, held in conjunction with the 4th International Semantic Web Conference, Galway, Ireland, November 2005. (PDF)

• S. Abdennadher, J. Alves Alferes, G. Antoniou, U. Assmann, R. Backofen, C. Baroglio, P. A. Bonatti, F. Bry, W. Drabent, N. Eisinger, N. E. Fuchs, T. Geisler, N. Henze, J. Maluszynski, M. Marchiori, A. Martelli, S. Carro Martinez, H. Jurgen Ohlbach, S. Schaffert, M. Schroeder, K. U. Schulz, U. Schwertel, and G. Wagner. Automated reasoning on the web. Communications of Applied Logic, 2004. To appear. (PDF)

• P. A. Bonatti, N. Shalmehri, C. Duma, D. Olmedilla, W. Nejdl, M. Baldoni, C. Baroglio, A. Martelli, V. Patti, P. Coraggio, G. Antoniou, J. Peer, and N. E. Fuchs. Rule-based Policy Specification: State of the Art and Future Work. Technical Report IST506779/Naples/I2-D1/D/PU/b1, Reasoning on the Web with Rules and Semantics, REWERSE, August 31st, 2004. (PDF)

• P. A. Bonatti and N. Olivetti. Sequent calculi for propositional nonmonotonic logics. ACM Transactions on Computational Logic, 3(2):226-278, 2002.

• E. Bertino, P. Bonatti, E. Ferrari, and M. L. Sapino. Temporal Authorization Bases: from Specification to Integration. Journal of Computer Security, 2000.

• E. Bertino, P. A. Bonatti, E. Ferrari, and M. L. Sapino. Specifying and Computing Hierarchies of Temporal Authorizations. In Proc. Appia-Gulp-Prode99 Conference, pages 605-619, L'Aquila, 1999. Also appearing in Proc. of the 13th IFIP WG 11.3 - Working Conference on Database Security, Seattle, July 99, Kluwer.

• S. Adali, P. A. Bonatti, M. L. Sapino, and V. S. Subrahmanian. A Multi-Similarity Algebra. In Proc. of ACM SIGMOD'98, pages 402-413, Seattle, USA, 1998.

• P. A. Bonatti and N. Olivetti. A sequent calculus for circumscription. In Proc. of CSL'97, Computer Science Logic, volume 1414 of LNCS, pages 98-114, 1998. (PostScript)

• P. A. Bonatti. A constructive negation for transition system specifications. In Proc. 1997 Joint Conf. on Declarative Programming APPIA-GULP-PRODE'97, pages 283-294, 1997.

• P. A. Bonatti. Resolution for skeptical stable semantics. In Proc. Logic Programming and Non Monotonic Reasoning, LPNMR'97, volume 1265 of LNAI, pages 185-197. Springer Verlag, 1997. (PostScript)

• P. A. Bonatti and N. Olivetti. A sequent calculus for skeptical default logic. In Proc. TABLEAUX'97, volume 1227 of LNAI, pages 107-121. Springer Verlag, 1997. (PostScript)

• P. Bonatti, M. L. Sapino, and V. S. Subrahmanian. Merging Heterogeneous Security Orderings. Journal of Computer Security, 5(1):3-29, 1997. Preliminary version in Proc. ESORICS'96, 183-197, LNCS 1146, Springer Verlag, 1996. (PostScript)

• P. A. Bonatti. Sequent calculi for default and autoepistemic logics. In Proc. TABLEAUX'96, volume 1071 of LNAI, pages 127-142. Springer Verlag, 1996.

• P. A. Bonatti and T. Eiter. Querying disjunctive databases through nonmonotonic logics. Theoretical Computer Science, 160(1-2):321-363, 1996. (PostScript)

• P.A. Bonatti. Autoepistemic logics as a unifying framework for the semantics of logic programs. Journal of Logic Programming, 22:91-149, 1995. (PostScript)

• P.A. Bonatti. A three-valued formalization of provability. Journal of Logic and Computation, 5:173-201, 1995.

• P. A. Bonatti and L. Giordano. Three-valued semantics for extended logic programming. In Proc. 1995 Joint Conf. on Declarative Programming GULP-PRODE'95, pages 295-306, 1995. (PostScript)

• P. A. Bonatti and A. Varzi. On the meaning of complementary systems. In Proc. of the 10th Int. Congress of Logic, Methodology and Philosophy of Science, Firenze, 1995.

• P. A. Bonatti, S. Kraus, and V.S. Subrahmanian. Foundations of secure deductive databases. IEEE Trans. on Knowledge and Data Engineering, 7:406-422, 1995.

• P. A. Bonatti. Autoepistemic logic programming. Journal of Automated Reasoning, 13:35-67, 1994.