Filters: Term is AI Group Unibo [Clear All Filters]
"Learning DecSerFlow Models from Labeled Traces", First International Workshop on the Induction of Process Models, 2007.
Specification, Execution and Verification of Interaction Protocols: an Approach based on Computational Logic, : University of Bologna, 2007.
"Testing Careflow Process Execution Conformance by Translating a Graphical Language to Computational Logic", Proceedings of the 11th International Conference on Artificial Intelligence in Medicine (AIME'07), vol. 4594: Springer, pp. 479-488, 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.
"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.
"Communication-aware allocation and scheduling framework for stream-oriented multi-processor systems-on-chip", Proceedings of the Conference on Design, Automation and Test in Europe, DATE 2006, pp. 3-8, 2006.
"Constraint Programming", Intelligenza Artificiale, vol. 3, no. 1-2, pp. 28-34, 2006.
"Discrepancy-Based Additive Bounding Procedures", INFORMS Journal on Computing, vol. 18, no. 4, pp. 480-493, 2006.
"Improved Algorithm for the Soft Global Cardinality Constraint", Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, Third International Conference, CPAIOR 2006, pp. 288-299, 2006.
"Integrating operations research in constraint programming", 4OR, vol. 4, no. 3, pp. 175-219, 2006.
"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.
"Stochastic Allocation and Scheduling for Conditional Task Graphs in MPSoCs", Principles and Practice of Constraint Programming - CP 2006, 12th International Conference, pp. 299-313, 2006.
"A Framework for Defining and Verifying Clinical Guidelines: a Case Study on Cancer Screening", Proceedings of the 16th International Symposium on Foundations of Intelligent Systems (ISMIS 2006), vol. 4203: Springer Verlag, pp. 338-343, 2006.
"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.
"Testing Guidelines Conformance by Translating a Graphical Language to Computational Logic", Workshop on AI Techniques in Healthcare: Evidence-Based Guidelines and Protocols, 2006.
"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.
"A CHR-based implementation of known arc-consistency", Theory and Practice of Logic Programming, vol. 5, no. 4-5, pp. 419-440, 2005.
"Dealing with incomplete knowledge on CLP(FD) variable domains", ACM Trans. Program. Lang. Syst., vol. 27, no. 2, pp. 236-263, 2005.