Skip to main content

Biblio

Export 136 results:
Sort by: Author Title Type [ Year  (Desc)]
Filters: Term is AI Group Unibo  [Clear All Filters]
2007
Alberti, M., F. Chesani, M. Gavanelli, E. Lamma, P. Mello, M. Montali, and P. Torroni, "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.
Chesani, F., P. Mello, M. Montali, and S. Storari, "Agent Societies and Service Choreographies: a Declarative Approach to Specification and Verification", International Workshop on Agents, Web-Services and Ontologies: Integrated Methodologies (AWESOME'007), 2007.
Lamma, E., P. Mello, M. Montali, F. Riguzzi, and S. Storari, "Inducing Declarative Logic-Based Models from Labeled Traces", Proceedings of the 5th International Conference on Business Process Management (BPM 2007), vol. 4714: Springer, pp. 344-359, 2007.
Lamma, E., P. Mello, M. Montali, F. Riguzzi, and S. Storari, "Learning DecSerFlow Models from Labeled Traces", First International Workshop on the Induction of Process Models, 2007.
Chesani, F., P. Mello, M. Montali, and S. Storari, "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.
Alberti, M., F. Chesani, M. Gavanelli, E. Lamma, P. Mello, M. Montali, and P. Torroni, "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.
2006
Benini, L., D. Bertozzi, A. Guerri, and M. Milano, "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.
Milano, M., and F. Rossi, "Constraint Programming", Intelligenza Artificiale, vol. 3, no. 1-2, pp. 28-34, 2006.
Lodi, A., M. Milano, and L. - M. Rousseau, "Discrepancy-Based Additive Bounding Procedures", INFORMS Journal on Computing, vol. 18, no. 4, pp. 480-493, 2006.
Zanarini, A., M. Milano, and G. Pesant, "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.
Lombardi, M., and M. Milano, "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.
Chesani, F., D. P. Matteis, P. Mello, M. Montali, and S. Storari, "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.
Alberti, M., F. Chesani, M. Gavanelli, E. Lamma, P. Mello, and M. Montali, "A-Priori Verification of Web Services with Abduction", 21-esimo Convegno Italiano di Logica Computazionale (CILC 2006), 2006.
Alberti, M., F. Chesani, M. Gavanelli, E. Lamma, P. Mello, and M. Montali, "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.
Alberti, M., F. Chesani, E. Lamma, M. Gavanelli, P. Mello, M. Montali, S. Storari, and P. Torroni, "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.
Alberti, M., F. Chesani, E. Lamma, M. Gavanelli, P. Mello, M. Montali, and P. Torroni, "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.
Alberti, M., F. Chesani, M. Gavanelli, E. Lamma, P. Mello, M. Montali, and P. Torroni, "Policy-Based Reasoning for Smart Web Service Interaction", Proceedings of the 3rd Workshop on Semantic Web Applications and Perspectives (SWAP'06), vol. 201, 2006.
2005
Benini, L., D. Bertozzi, A. Guerri, and M. Milano, "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.