Filters: Term is AI Group Unibo [Clear All Filters]
"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 Computational Logic Application Framework for Service Discovery and Contracting", International Journal Web Service Research, vol. 8, no. 3: IGI Global, pp. 1-25, 2011.
"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.
"Policy-Based Reasoning for Smart Web Service Interaction", Proceedings of the 3rd Workshop on Semantic Web Applications and Perspectives (SWAP'06), vol. 201, 2006.
"Compliance Verification of Agent interaction: a Logic-Based Software Tool", Applied Artificial Intelligence, vol. 20, no. 2-4, pp. 133-157, 2006.
"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.
"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.
"A-Priori Verification of Web Services with Abduction", 21-esimo Convegno Italiano di Logica Computazionale (CILC 2006), 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.
"A CHR-based implementation of known arc-consistency", Theory and Practice of Logic Programming, vol. 5, no. 4-5, pp. 419-440, 2005.
"Verifiable Agent Interaction in Abductive Logic Programming: The SCIFF framework", ACM Transactions on Computational Logic (TOCL), vol. 9, no. 4, 2008.
"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.
"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.
"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.
"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.
"Introduction to the Special Issue on the Integration of AI and OR Techniques in CP for Combinatorial Optimization (CPAIOR 2005)", Constraints, vol. 11, no. 4, pp. 269-270, 2006.
"Neuron Constraints to Model Complex Real World Problems", Principles and Practice of Constraint Programming, Perugia, Springer, 2011.
"Optimization and Controlled Systems: A Case Study on Thermal Aware Workload Dispatching", Proceedings of AAAI, 2012.
"Multi-stage Benders Decomposition for Optimizing Multicore Architectures", Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 5th International Conference, CPAIOR 2008, Paris, France, pp. 36-50, 2008.
"Measuring Efficiency and Executability of Allocation and Scheduling in Multi-Processor Systems-on-Chip", Intelligenza Artificiale, vol. 2, no. 3, pp. 13-20, 2005.
"Allocation and Scheduling for MPSoCs via Decomposition and No-Good Generation", Principles and Practice of Constraint Programming - CP 2005, 11th International Conference, CP 2005, pp. 107-121, 2005.
"Allocation and Scheduling for MPSoCs via decomposition and no-good generation", IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, pp. 1517-1518, 2005.
"Resource Management Policy Handling Multiple Use-Cases in MPSoC Platforms Using Constraint Programming", 24th International Conference of Logic Programming, ICLP 2008, Udine, Italy, pp. 470-484, 2008.
"A Constraint Programming Approach for Allocation and Scheduling on the CELL Broadband Engine", Principles and Practice of Constraint Programming, 14th International Conference, CP 2008, Sydney, Australia, pp. 21-35, 2008.