Skip to main content

Biblio

Export 136 results:
Sort by: Author Title [ Type  (Asc)] Year
Filters: Term is AI Group Unibo  [Clear All Filters]
Book
Milano, M., and P. V. Hentenryck, "Hybrid Optimization - The Ten Years of CPAIOR", Springer Optimization and its Applications, vol. 45: Springer, pp. 558, 2011.
Montali, M., "Specification and Verification of Declarative Open Interaction Models: a Logic-Based Approach", Lecture Notes in Business Information Processing, vol. 56: Springer, pp. 411, 2010.
Book Chapter
Milano, M., "Constriant Programming Links with Math Programming", Wiley Encyclopedia of Operations Research and Management Science, vol. 2, pp. 951--965, 2011.
Gavanelli, M., F. Riguzzi, M. Milano, and P. Cagnoli, "Optimization Techniques for Supporting Policy Making", Computational Intelligent Data Analysis for Sustainable Development: Taylor-Francis, pp. 361-380, 2013.  Download: Chapter12.pdf (781.66 KB)
Roli, A., and M. Milano, "An Overview of AI Research in Italy", Artificial Intelligence: An International Perspective, pp. 174-192, 2009.
Torroni, P., F. Chesani, P. Mello, and M. Montali, "A Retrospective on the Reactive Event Calculus and Commitment Modeling Language", Declarative Agent Languages and Technologies IX, vol. 7169: Springer Berlin / Heidelberg, pp. 120-127, 2012. Abstract
Bryl, V., P. Mello, M. Montali, P. Torroni, and N. Zannone, "B-Tropos: Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification", Post-Proceedings of the 8th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-VIII), Revised Selected and Invited Papers, vol. 5056: Springer Verlag, pp. 157-176, 2008.
Chesani, F., E. Lamma, P. Mello, M. Montali, S. Storari, P. Baldazzi, and M. Manfredi, "Compliance Checking of Cancer-Screening Careflows: an Approach Based on Computational Logic", {Book Chapter of Computer-Based Medical Guidelines and Protocols: a Primer and Current Trends}: IOS Press, 2008.
Torroni, P., F. Chesani, P. Yolum, M. Gavanelli, M. P. Singh, E. Lamma, M. Alberti, and P. Mello, "Modelling Interactions via Commitments and Expectations", Handbook of Research on Multi-Agent Systems: Semantics and Dynamics of Organizational Models: IGI Global, 2009.
Bryl, V., P. Mello, M. Montali, P. Torroni, and N. Zannone, "B-Tropos: Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification}", Post-Proceedings of the 8th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-VIII), Revised Selected and Invited Papers, vol. 5056: Springer, pp. 157-176, 2008.
Conference Paper
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.
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.
Gavanelli, M., F. Riguzzi, M. Milano, D. Sottara, A. Cangini, and P. Cagnoli, "An Application of Fuzzy Logic to Strategic Environmental Assessment", XII-th Conference of the Italian Association for Artificial Intelligence, Palermo, Springer Verlag, 2011.
Ruggiero, M., M. Lombardi, M. Milano, and L. Benini, "Cellflow: A Parallel Application Development Environment with Run-Time Support for the Cell BE Processor", 11th Euromicro Conference on Digital System Design: Architectures, Methods and Tools, DSD 2008, Parma, Italy, pp. 645-650, 2008.
Guerri, A., M. Lombardi, and M. Milano, "Challenging Scheduling Problem in the field of System Design", presented at the ICAPS07 workshop: Scheduling a Scheduling Competition, 2007.  Download: WS.pdf (208.34 KB)
Bottrighi, A., F. Chesani, P. Mello, M. Montali, S. Montani, and P. Terenziani, "Conformance Checking of Executed Clinical Guidelines in Presence of Basic Medical Knowledge", Business Process Management Workshops, vol. 100, Clermont-Ferrand, France, Springer Berlin Heidelberg, pp. 200-211, 01/2012.
Bonfietti, A., M. Lombardi, M. Milano, and L. Benini, "A constraint based approach to cyclic RCPSP", Principles and Practice of Constraint Programming, Perugia, Spinger, 2011.
Lombardi, M., and M. Milano, "Constraint based scheduling to deal with uncertain durations and self timed execution", Principles and Practice of Constraint Programming 16th International Conference, CP 2010, St. Andrews, Scotland, pp. 383-397, 2010.
Benini, L., M. Lombardi, M. Milano, and M. Ruggiero, "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.
Kiziltan, Z., A. Lodi, M. Milano, and F. Parisini, "CP-Based Local Branching", Principles and Practice of Constraint Programming - CP 2007, 13th International Conference, CP 2007, Providence, RI, USA, pp. 847-855, 2007.
Bonfietti, A., M. Lombardi, and M. Milano, "De-Cycling Cyclic Scheduling Problems", Twenty-Third International Conference on Automated Planning and Scheduling, 2013.