Optimization Techniques for Supporting Policy Making Read more about Optimization Techniques for Supporting Policy Making
Robust Scheduling of Task Graphs under Execution Time Uncertainty Read more about Robust Scheduling of Task Graphs under Execution Time Uncertainty
Optimization and Controlled Systems: A Case Study on Thermal Aware Workload Dispatching Read more about Optimization and Controlled Systems: A Case Study on Thermal Aware Workload Dispatching
A Retrospective on the Reactive Event Calculus and Commitment Modeling Language Read more about A Retrospective on the Reactive Event Calculus and Commitment Modeling Language
Conformance Checking of Executed Clinical Guidelines in Presence of Basic Medical Knowledge Read more about Conformance Checking of Executed Clinical Guidelines in Presence of Basic Medical Knowledge
A Computational Logic Application Framework for Service Discovery and Contracting Read more about A Computational Logic Application Framework for Service Discovery and Contracting
Event Condition Expectation (ECE-) Rules for Monitoring Observable Systems Read more about Event Condition Expectation (ECE-) Rules for Monitoring Observable Systems
Fuzzy Conformance Checking of Observed Behaviour with Expectations Read more about Fuzzy Conformance Checking of Observed Behaviour with Expectations
Bounding, Filtering and Diversification in CP-based Local Branching Read more about Bounding, Filtering and Diversification in CP-based Local Branching
AI @ UniBOArtificial Intelligence Research at the University of Bologna