Skip to main content

Biblio

Export 133 results:
Sort by: Author Title Type [ Year  (Asc)]
Filters: Term is AI Group Unibo  [Clear All Filters]
2004
Guerri, A., and M. Milano, "Instance Structure-based Portfolio Selection", Intelligenza Artificiale, vol. 1, no. 2, pp. 37-45, 2004.
Milano, M., and A. Roli, "MAGMA: a multiagent architecture for metaheuristics", IEEE Transactions on Systems, Man, and Cybernetics, Part B, vol. 34, no. 2, pp. 925-941, 2004.
Gebruers, C., A. Guerri, B. Hnich, and M. Milano, "Making Choices Using Structure at the Instance Level within a Case Based Reasoning Framework", Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, First International Conference, CPAIOR 2004, pp. 380-386, 2004.
van Hoeve, W. J., and M. Milano, "Postponing Branching Decisions", Proceedings of the 16th Eureopean Conference on Artificial Intelligence, ECAI'2004, pp. 1105-1106, 2004.
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.
Benini, L., D. Bertozzi, A. Guerri, and M. Milano, "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.
Alberti, M., M. Gavanelli, E. Lamma, P. Mello, and M. Milano, "A CHR-based implementation of known arc-consistency", Theory and Practice of Logic Programming, vol. 5, no. 4-5, pp. 419-440, 2005.
Gavanelli, M., E. Lamma, P. Mello, and M. Milano, "Dealing with incomplete knowledge on CLP(FD) variable domains", ACM Trans. Program. Lang. Syst., vol. 27, no. 2, pp. 236-263, 2005.
Alberti, M., F. Chesani, A. Ciampolini, P. Mello, M. Montali, S. Storari, and P. Torroni, "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.
Ciampolini, A., P. Mello, M. Montali, and S. Storari, "Using Social Integrity Constraints for On-the-Fly Compliance Verification of Medical Protocols", Proceedings of the 18th IEEE Symposium on Computer Based Medical Systems (CBMS'05): IEEE Computer Society, pp. 503-505, 2005.
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.