] Filters: Author is M. Gavanelli [Clear All Filters]
"Optimization Techniques for Supporting Policy Making",
Computational Intelligent Data Analysis for Sustainable Development: Taylor-Francis, In Press.
"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.
"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.
"A-Priori Verification of Web Services with Abduction",
21-esimo Convegno Italiano di Logica Computazionale (CILC 2006), 2006.
"Abduction for Specifying and Verifying Web Service Choreographies",
4th International Workshop on AI for Service Composition (AISC 2006), 2006.
"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.
"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.
"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.
"Policy-Based Reasoning for Smart Web Service Interaction",
Proceedings of the 3rd Workshop on Semantic Web Applications and Perspectives (SWAP'06), vol. 201, 2006.
"Verification from Declarative Specifications Using Logic Programming",
24th International Conference on Logic Programming (ICLP), no. 5366: Springer, pp. 440-454, 2008.
"Argumentation in the Semantic Web",
Intelligent Systems, IEEE, vol. 22, no. 6, pp. 66 -74, nov.-dec., 2007.
"Compliance Verification of Agent interaction: a Logic-Based Software Tool",
Applied Artificial Intelligence, vol. 20, no. 2-4, pp. 133-157, 2006.
"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.
"Mapping Deontic Operators to Abductive Expectations",
Computational and Mathematical Organization Theory, vol. 12, no. 2-3: Springer, pp. 205-225, 2006.