]
"Optimization Techniques for Supporting Policy Making",
Computational Intelligent Data Analysis for Sustainable Development: Taylor-Francis, In Press.
"Approximate Inference for Logic Programs with Annotated Disjunctions",
Proceedings of the 20th International Conference on Inductive Logic Programming (ILP 2010), 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.
"Constraint and Optimization techniques for supporting Policy Making",
International Symposium on Artificial Intelligence and Mathematics, ISAIM, 2012, 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
"A min-flow algorithm for Minimal Critical Set detection in Resource Constrained Project Scheduling",
Artificial Intelligence, 2012.
"Optimal Methods for Resource Allocation and Scheduling: a Cross-Disciplinary Survey",
Constraints, vol. 17, issue 1, pp. 51-85, 2012.
Download: SurveyConstraintAS.pdf (624.06 KB)
"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
"Sliced Neighborhood Search",
Expert Systems with Applications, vol. 39, issue 5, pp. 5739-5747 , 2012.
"The Weighted Average Constraint",
CP, pp. 191-206, 2012.
"What-if analysis through simulation-optimization hybrids",
European Conference on Modeling and Simulation - Track on Policy Modeling, Koblenz, 2012.
Download: ecms12.pdf (1.62 MB)
"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.