] Filters: Author is M. Alberti [Clear All Filters]
"Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes",
Fundamenta Informaticae, vol. 102, issue 3-4: IOS Press, pp. 325-361, 11/2010.
"Runtime Addition of Integrity Constraints in Abductive Logic Programs",
Proceedings of the 26th International Conference on Logic Programming (ICLP 2010), 2010.
"Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture",
IEEE International Conference on Web Services (ICWS 2009): IEEE, pp. 254-261, 2009.
"Modelling Interactions via Commitments and Expectations",
Handbook of Research on Multi-Agent Systems: Semantics and Dynamics of Organizational Models: IGI Global, 2009.
"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.
"Verifiable Agent Interaction in Abductive Logic Programming: The SCIFF framework",
ACM Transactions on Computational Logic (TOCL), vol. 9, no. 4, 2008.
"Verification from Declarative Specifications Using Logic Programming",
24th International Conference on Logic Programming (ICLP), no. 5366: Springer, pp. 440-454, 2008.
"Verification from Declarative Specifications Using Logic Programming",
15th RCRA workshop: Experimental evaluation of algorithms for solving problems with combinatorial explosion, 2008.
"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.
"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.
"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.
"Compliance Verification of Agent interaction: a Logic-Based Software Tool",
Applied Artificial Intelligence, vol. 20, no. 2-4, pp. 133-157, 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.
"Mapping Deontic Operators to Abductive Expectations",
Computational and Mathematical Organization Theory, vol. 12, no. 2-3: Springer, pp. 205-225, 2006.
"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.