Skip to main content

Biblio

Export 136 results:
Sort by: Author Title Type [ Year  (Desc)]
Filters: Term is AI Group Unibo  [Clear All Filters]
2009
Chesani, F., P. Mello, M. Montali, and P. Torroni, "Verification of Choreographies During Execution Using the Reactive Event Calculus", Proceedings of the 5th International Workshop on Web Service and Formal Methods (WS-FM2008), vol. 5387: Springer, pp. 55-72, 2009.
Chesani, F., P. Mello, M. Montali, and P. Torroni, "Verifying A-Priori the Composition of Declarative Specified Services", Proceedings of the 2nd Second Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW), International Workshop on Agents, Web Services and Ontologies, Integrated Methodologies (MALLOW-AWESOME), vol. 494: CEUR Workshop Proceedings, 2009.
2008
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.
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.
Benini, L., M. Lombardi, M. Mantovani, M. Milano, and M. Ruggiero, "Multi-stage Benders Decomposition for Optimizing Multicore Architectures", Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 5th International Conference, CPAIOR 2008, Paris, France, pp. 36-50, 2008.
Benini, L., D. Bertozzi, and M. Milano, "Resource Management Policy Handling Multiple Use-Cases in MPSoC Platforms Using Constraint Programming", 24th International Conference of Logic Programming, ICLP 2008, Udine, Italy, pp. 470-484, 2008.
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.
Alberti, M., F. Chesani, M. Gavanelli, E. Lamma, P. Mello, M. Montali, and P. Torroni, "Expressing and Verifying Business Contracts with Abductive Logic Programming", Electronic Commerce, Special Issue on Contract Architectures and Languages, vol. 12, no. 4, pp. 9-38, 2008.
Montali, M., M. Alberti, F. Chesani, M. Gavanelli, E. Lamma, P. Mello, and P. Torroni, "Verification from Declarative Specifications Using Logic Programming", 24th International Conference on Logic Programming (ICLP), no. 5366: Springer, pp. 440-454, 2008.
Montali, M., P. Torroni, M. Alberti, F. Chesani, M. Gavanelli, E. Lamma, and P. Mello, "Verification from Declarative Specifications Using Logic Programming", 15th RCRA workshop: Experimental evaluation of algorithms for solving problems with combinatorial explosion, 2008.
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.
2007
Torroni, P., F. Chesani, and M. Gavanelli, "Argumentation in the Semantic Web", Intelligent Systems, IEEE, vol. 22, no. 6, pp. 66 -74, nov.-dec., 2007.
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)
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.
Lombardi, M., and M. Milano, "Scheduling Conditional Task Graphs", Principles and Practice of Constraint Programming - CP 2007, 13th International Conference, CP 2007, Providence, RI, USA, pp. 468-482, 2007.
Alberti, M., F. Chesani, M. Gavanelli, E. Lamma, P. Mello, M. Montali, S. Storari, and P. Torroni, "A Computational Logic-Based Approach to Verification of IT Systems", Proceedings of the 14th Annual Workshop of HP Software University Association (HP-SUA 2007): HP Software University Association, 2007.