Skip to main content

Biblio

Export 20 results:
Sort by: Author Title Type [ Year  (Desc)]
Filters: Author is M. Alberti  [Clear All Filters]
2010
2009
Torroni, P., F. Chesani, P. Yolum, M. Gavanelli, M. P. Singh, E. Lamma, M. Alberti, and P. Mello, "Modelling Interactions via Commitments and Expectations", Handbook of Research on Multi-Agent Systems: Semantics and Dynamics of Organizational Models: IGI Global, 2009.
2008
Alberti, M., F. Chesani, M. Gavanelli, E. Lamma, P. Mello, M. Montali, and P. Torroni, "Expressing and Verifying Business Contracts with Abductive Logic Programming", Electronic Commerce, Special Issue on Contract Architectures and Languages, vol. 12, no. 4, pp. 9-38, 2008.
Montali, M., M. Alberti, F. Chesani, M. Gavanelli, E. Lamma, P. Mello, and P. Torroni, "Verification from Declarative Specifications Using Logic Programming", 24th International Conference on Logic Programming (ICLP), no. 5366: Springer, pp. 440-454, 2008.
Montali, M., P. Torroni, M. Alberti, F. Chesani, M. Gavanelli, E. Lamma, and P. Mello, "Verification from Declarative Specifications Using Logic Programming", 15th RCRA workshop: Experimental evaluation of algorithms for solving problems with combinatorial explosion, 2008.
2007
Alberti, M., F. Chesani, M. Gavanelli, E. Lamma, P. Mello, M. Montali, S. Storari, and P. Torroni, "A Computational Logic-Based Approach to Verification of IT Systems", Proceedings of the 14th Annual Workshop of HP Software University Association (HP-SUA 2007): HP Software University Association, 2007.
Alberti, M., F. Chesani, M. Gavanelli, E. Lamma, P. Mello, M. Montali, and P. Torroni, "A Rule-Based Approach for Reasoning about Collaboration between Smart Web-Services", Proceedings of the First International Conference on Web Reasoning and Rule Systems (RR'07), vol. 4524: Springer Verlag, pp. 279-288, 2007.
Alberti, M., F. Chesani, M. Gavanelli, E. Lamma, P. Mello, M. Montali, and P. Torroni, "Web Service contracting: Specification and Reasoning with SCIFF", Proceedings of the 4th European Semantic Web Conference (ESWC'07), vol. 4519: Springer, pp. 68-83, 2007.
2006
Alberti, M., F. Chesani, M. Gavanelli, E. Lamma, P. Mello, and M. Montali, "A-Priori Verification of Web Services with Abduction", 21-esimo Convegno Italiano di Logica Computazionale (CILC 2006), 2006.
Alberti, M., F. Chesani, M. Gavanelli, E. Lamma, P. Mello, and M. Montali, "An Abductive Framework for A-Priori Verification of Web Services", Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming: ACM Press, pp. 39-50, 2006.
Alberti, M., F. Chesani, E. Lamma, M. Gavanelli, P. Mello, M. Montali, S. Storari, and P. Torroni, "Computational Logic for the Run-time Verification of Web Service Choreographies: Exploiting the SOCS-SI Tool", Proceedings of the 3rd International Workshop on Web Services and Formal Methods (WS-FM'06), vol. 4184: Springer, pp. 58-72, 2006.
Alberti, M., F. Chesani, E. Lamma, M. Gavanelli, P. Mello, M. Montali, and P. Torroni, "Policy-Based Reasoning for Smart Web Service Interaction", Proceedings of the First International Workshop on Applications of Logic Programming in the Semantic Web and Semantic Web Services, vol. 196, pp. 87-102, 2006.
Alberti, M., F. Chesani, M. Gavanelli, E. Lamma, P. Mello, M. Montali, and P. Torroni, "Policy-Based Reasoning for Smart Web Service Interaction", Proceedings of the 3rd Workshop on Semantic Web Applications and Perspectives (SWAP'06), vol. 201, 2006.
Alberti, M., M. Gavanelli, E. Lamma, P. Mello, G. Sartor, and P. Torroni, "Mapping Deontic Operators to Abductive Expectations", Computational and Mathematical Organization Theory, vol. 12, no. 2-3: Springer, pp. 205-225, 2006.
2005
Alberti, M., F. Chesani, A. Ciampolini, P. Mello, M. Montali, S. Storari, and P. Torroni, "Protocol Specification and Verification by Using Computational Logic", Proceedings of the 6th AI*IA/TABOO Joint Workshop ``From Objects to Agents'' (WOA 2005): Simulation and Formal Analysis of Complex Systems: Pitagora Editrice Bologna, pp. 184-192, 2005.