Skip to main content

Biblio

Export 14 results:
Sort by: [ Author  (Asc)] Title Type Year
Filters: Author is M. Gavanelli  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
A
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, 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, 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., 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.
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.
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, "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., 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.
C
G
Gavanelli, M., F. Riguzzi, M. Milano, and P. Cagnoli, "Optimization Techniques for Supporting Policy Making", Computational Intelligent Data Analysis for Sustainable Development: Taylor-Francis, pp. 361-380, 2013.  Download: Chapter12.pdf (781.66 KB)
M
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.
T
Torroni, P., F. Chesani, and M. Gavanelli, "Argumentation in the Semantic Web", Intelligent Systems, IEEE, vol. 22, no. 6, pp. 66 -74, nov.-dec., 2007.