Filters: Term is AI Group Unibo [Clear All Filters]
"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.
"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.
"Policy-Based Reasoning for Smart Web Service Interaction", Proceedings of the 3rd Workshop on Semantic Web Applications and Perspectives (SWAP'06), vol. 201, 2006.
"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.
"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.
"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.
"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.
"Allocation, Scheduling and Voltage Scaling on Energy Aware MPSoCs", Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, Third International Conference, CPAIOR 2006, pp. 44-58, 2006.