Skip to main content


Export 137 results:
Sort by: Author Title Type [ Year  (Desc)]
Filters: Term is AI Group Unibo  [Clear All Filters]
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.
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.