] Filters: Term is AI Group Unibo [Clear All Filters]
"Optimization Techniques for Supporting Policy Making",
Computational Intelligent Data Analysis for Sustainable Development: Taylor-Francis, In Press.
"Sustainable Energy Policies: Challenges and Opportunities",
Design and Automation Europe - DATE 2013, Grenoble, KP Publications, 03/2013.
Abstract
"Robust Scheduling of Task Graphs under Execution Time Uncertainty",
IEEE Transactions on Computers, vol. 62, issue 1, no. 99: IEEE, pp. 90--111, 2013.
"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.
"Bounding, Filtering and Diversification in CP-based Local Branching",
Journal of Heuristics, vol. 18, issue 3, pp. 353-374, 2012.
Download: JoHLocalBranching.pdf (695.29 KB)
"Global Cyclic Cumulative Constraint",
Proceedings of CPAIOR, pp. 81-96, 2012.
Abstract
"Optimization and Controlled Systems: A Case Study on Thermal Aware Workload Dispatching",
Proceedings of AAAI, 2012.
Abstract
"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
"The Weighted Average Constraint",
CP, pp. 191-206, 2012.
"Modeling and verifying business processes and choreographies through the abductive proof procedure SCIFF and its extensions",
Intelligenza Artificiale, vol. 5, issue 1/2011, no. 1, pp. 101-105, 02/2011.
"An Application of Fuzzy Logic to Strategic Environmental Assessment",
XII-th Conference of the Italian Association for Artificial Intelligence, Palermo, Springer Verlag, 2011.
"A Computational Logic Application Framework for Service Discovery and Contracting",
International Journal Web Service Research, vol. 8, no. 3: IGI Global, pp. 1-25, 2011.
"A constraint based approach to cyclic RCPSP",
Principles and Practice of Constraint Programming, Perugia, Spinger, 2011.
"Constriant Programming Links with Math Programming",
Wiley Encyclopedia of Operations Research and Management Science, vol. 2, pp. 951--965, 2011.
"Deriving Information from Sampling and Diving",
Fundamenta Informaticae, vol. 107, issue 2-3, pp. 267-287, 2011.
"Event Condition Expectation (ECE-) Rules for Monitoring Observable Systems",
RuleML America, vol. LNCS 7018, Ft. Lauderdale, FL, Florida, USA, Springer, pp. 267-281, 2011.
"Fuzzy Conformance Checking of Observed Behaviour with Expectations",
AI*IA 2011: Artificial Intelligence Around Man and Beyond, vol. LNCS 6934: Springer Berlin / Heidelberg, pp. 80-91, 2011.
"Hybrid Optimization - The Ten Years of CPAIOR",
Springer Optimization and its Applications, vol. 45: Springer, pp. 558, 2011.
"Improving CP-based Local Branching via Sliced Neighborhood Search",
Symposium On Applied Computing - ACM SAC, Taiwan, 2011.
"Monitoring Time-Aware Commitments Within Agent-Based Simulation Environments",
Cybernetics and Systems, vol. 42, issue 7, no. 7: Taylor & Francis, pp. 21, 2011.
"MPOpt-Cell: a high-performance data-flow programming environment for the CELL BE processor",
Conf. Computing Frontiers, pp. 11, 2011.
"Neuron Constraints to Model Complex Real World Problems",
Principles and Practice of Constraint Programming, Perugia, Springer, 2011.
"Optimal Resource Allocation and Scheduling for the CELL BE Platform",
Annals of OR, vol. 184, issue 1, pp. 51-77, 2011.
"Precedence Constraint Posting for Cyclic Scheduling Problems",
CPAIOR, pp. 137-153, 2011.
"Sustainable biomass power plant location in the Italian Emilia-Romagna region",
ACM Transactions on Intelligent Systems and Technology, vol. 2, issue 4, 2011.