M. Milano

发表

Solving TSP through the Integration of OR and CP Techniques

Daniele Vigo, Michela Milano, Andrea Lodi, 1999, Electron. Notes Discret. Math..

Exploiting Relaxations in CP

A. Lodi, F. Focacci, M. Milano, 2004 .

Visual Decision Support for Policy Making: Advancing Policy Analysis with Visualization

T. Balke, J. Kohlhammer, T. Ruppert, 2015 .

A Hybrid Extensional / Intensional System forLearning Multiple Predicate Learning andNormal Logic

M. Milano, P. Mello, Fabrizio Riguzzi, 1997 .

Constraint Programming Links with Math Programming

M. Milano, 2011 .

Planning with incomplete and dynamic knowledge via Interactive Constraint Satisfaction

M. Milano, P. Mello, E. Lamina, 1998 .

Interactive Constraint

M. Milano, P. Mello, E. Lamma, 1997 .

A Meta Constraint Logic Programming Scheme Universit a Degli Studi Di Bologna a Meta Constraint Logic Programming Scheme

M. Milano, P. Mello, E. Lamma, 1995 .

Application of planning techniques for system configuration tasks

M. Milano, P. Mello, E. Lamma, 2007 .

Reasoning on Constraints in Constraint

M. Milano, P. Mello, ProgrammingEvelina, 1996 .

Integrating Extensional and Intensional ILPSystems through

M. Milano, P. Mello, Fabrizio Riguzzi, 1997 .

Consistent Orderings for Constraint

M. Milano, P. Mello, E. Lamma, 1997 .

Deep Learning for Virus-Spreading Forecasting: a Brief Survey pdf

Stefano Diciotti, Michele Lombardi, Michela Milano, 2021, ArXiv.

Reasoning on Constraints in Constraint Logic Programming

Evelina Lamma, Paola Mello, Michela Milano, 1997, ICLP.

Enhancing Constraint Logic Programming through Meta Programming

Evelina Lamma, Paola Mello, Michela Milano, 1996, APPIA-GULP-PRODE.

Interactive Constraint Satisfaction and its Application to Visual Object Recognition

Evelina Lamma, Paola Mello, Rita Cucchiara, 1998, APPIA-GULP-PRODE.

Domains as First Class Objects in CLP(FD)

Evelina Lamma, Paola Mello, Marco Gavanelli, 1999, APPIA-GULP-PRODE.

Making Choices Using Structure at the Instance Level exploiting Case Based Reasoning ?

Brahim Hnich, M. Milano, C. Gebruers, 2004 .

Electronic Participation

Theresa A. Pardo, Efthimios Tambouris, Michela Milano, 2015, Lecture Notes in Computer Science.

Electronic Government and Electronic Participation

Theresa A. Pardo, Peter Parycek, Marijn Janssen, 2014 .

Cost-Based Filtering for Determining the Pareto Frontier

M. Milano, M. Gavanelli, 2006 .

DARDIS: Distributed And Randomized DIspatching and Scheduling

Luca Benini, Andrea Bartolini, Michele Lombardi, 2016, International Conference of the Italian Association for Artificial Intelligence.

UNIFY: a Unified Policy Designing Framework for Solving Constrained Optimization Problems with Machine Learning

M. Milano, M. Lombardi, Mattia Silvestri, 2022, ArXiv.

a novel paradigm based on mixed EEG and indoor localization

L. Benini, S. Benatti, V. Kartsch, 2019 .

Hybrid Offline/Online Optimization Under Uncertainty

Michele Lombardi, Michela Milano, Allegra De Filippo, 2020, European Conference on Artificial Intelligence.

Deriving Information from Sampling and Diving

Alessandro Zanarini, Andrea Roli, Michele Lombardi, 2009, Fundamenta Informaticae.

An Overview of AI Research in Italy

Andrea Roli, Michela Milano, A. Roli, 2009, Artificial Intelligence: An International Perspective.

Driving Behaviour Clustering For Realistic Traffic Micro-Simulators

Marco Lippi, Michela Milano, Federico Caselli, 2017, ECMS.

A logic-based approach to model interaction amongst computees

Evelina Lamma, Paola Mello, Fabrizio Riguzzi, 2003 .

Empirical decision model learning

Andrea Bartolini, Michele Lombardi, Michela Milano, 2017, Artif. Intell..

Anomaly Detection and Anticipation in High Performance Computing Systems

Andrea Bartolini, Michela Milano, Andrea Borghesi, 2022, IEEE Transactions on Parallel and Distributed Systems.

Robust Scheduling of Task Graphs under Execution Time Uncertainty

Luca Benini, Michele Lombardi, Michela Milano, 2013, IEEE Transactions on Computers.

A min-flow algorithm for Minimal Critical Set detection in Resource Constrained Project Scheduling

Michele Lombardi, Michela Milano, M. Milano, 2012, Artif. Intell..

A Constraint Based Approach to Cyclic RCPSP

Luca Benini, Michele Lombardi, Michela Milano, 2011, CP.

Optimal methods for resource allocation and scheduling: a cross-disciplinary survey

Michele Lombardi, Michela Milano, M. Milano, 2011, Constraints.

Exploring CP-IP based techniques for the bid evaluation in combinatorial auctions

Michela Milano, Alessio Guerri, M. Milano, 2007 .

Constraint Programming

Michela Milano, Francesca Rossi, F. Rossi, 2006, Intelligenza Artificiale.

Extending constraint logic programming for temporal reasoning

Evelina Lamma, Paola Mello, Michela Milano, 1998, Annals of Mathematics and Artificial Intelligence.

Constraint and Integer Programming

Michela Milano, M. Milano, 2004, Operations Research/Computer Science Interfaces Series.

The Role of Integer Programming Techniques in Constraint Programming's Global Constraints

Michela Milano, Erlendur S. Thorsteinsson, Philippe Refalo, 2002, INFORMS J. Comput..

Reasoning on Constraints in CLP(FD)

Evelina Lamma, Paola Mello, Michela Milano, 1999, J. Log. Program..

Resource-Based vs. Task-Based Approaches for Scheduling Problems

Evelina Lamma, Paola Mello, Luca Console, 1996, ISMIS.

Temporal reasoning in a meta constraint logic programming architecture

Evelina Lamma, Paola Mello, Michela Milano, 1996, Proceedings Third International Workshop on Temporal Representation and Reasoning (TIME '96).

From eager to lazy constrained data acquisition: A general framework

Evelina Lamma, Paola Mello, Rita Cucchiara, 2001, New Generation Computing.

An Incremental Consistency Algorithm forAdaptive Constraint

M. Milano, P. Mello, di BolognaViale Risorgimento, 1997 .

The Blind Men and the Elephant: Integrated Offline/Online Optimization Under Uncertainty

Michele Lombardi, Michela Milano, Allegra De Filippo, 2020, IJCAI.

Boosting Combinatorial Problem Modeling with Machine Learning pdf

Michele Lombardi, Michela Milano, M. Milano, 2018, IJCAI.

Embedding Decision Trees and Random Forests in Constraint Programming

Michele Lombardi, Michela Milano, Alessio Bonfietti, 2015, CPAIOR.

Learning Techniques for Automatic Algorithm Portfolio Selection

Michela Milano, Alessio Guerri, M. Milano, 2004, ECAI.

Making Choices Using Structure at the Instance Level within a Case Based Reasoning Framework

Brahim Hnich, Michela Milano, Cormac Gebruers, 2004, CPAIOR.

Strategic decision making on complex systems

M. Milano, M. Lombardi, 2014, Constraints.

Planning and Execution in Dynamic Environments

Michela Milano, Rosy Barruffi, M. Milano, 2001, AI*IA.

Planning for Security Management

Rebecca Montanari, Michela Milano, Rosy Barruffi, 2001, IEEE Intell. Syst..

Planning while Executing: A Constraint-Based Approach

Paolo Torroni, Michela Milano, Rosy Barruffi, 2000, ISMIS.

Least Commitment on Variable Binding in Presence of Incomplete Knowledge

P. Mello, R. Barruffi, E. Lamma, 1999, ECP.

Constraint-based Knowledge Acquisition and Verification for Planning

Evelina Lamma, Paola Mello, Michela Milano, 1999 .

Guest Editors' Introduction: Special Section on Computational Sustainability: Where Computer Science meets Sustainable Development

Barry O'Sullivan, Michela Milano, Martin Sachenbacher, 2014, IEEE Trans. Computers.

A semisupervised autoencoder-based approach for anomaly detection in high performance computing systems

Luca Benini, Andrea Borghesi, Michele Lombardi, 2019, Eng. Appl. Artif. Intell..

A Constraint Programming Scheduler for Heterogeneous High-Performance Computing Machines

Luca Benini, Andrea Bartolini, Michele Lombardi, 2016, IEEE Transactions on Parallel and Distributed Systems.

Power Capping in High Performance Computing Systems

Luca Benini, Andrea Borghesi, Michele Lombardi, 2015, CP.

Proactive Workload Dispatching on the EURORA Supercomputer

Andrea Bartolini, Andrea Borghesi, Michele Lombardi, 2014, CP.

Constraint and Integer Programming: Toward a Unified Methodology (Operations Research/Computer Science Interfaces, 27)

Michela Milano, M. Milano, 2003 .

Cost-Based Domain Filtering

Andrea Lodi, Michela Milano, Filippo Focacci, 1999, CP.

Merging Observed and Self-Reported Behaviour in Agent-Based Simulation: A Case Study on Photovoltaic Adoption

Andrea Borghesi, Michela Milano, M. Milano, 2019, Applied Sciences.

Agent Based Simulation of Incentive Mechanisms on Photovoltaic Adoption

Andrea Borghesi, Michela Milano, Valerio Iachini, 2015, AI*IA.

Embedding Relaxations in Global Constraints for Solving TSP and TSPTW

Andrea Lodi, Michela Milano, Filippo Focacci, 2002, Annals of Mathematics and Artificial Intelligence.

Enhancing CLP branch and bound techniques for scheduling problems

Michela Milano, F. Bosi, M. Milano, 2001, Softw. Pract. Exp..

Integrating constraint logic programming and operations research techniques for the Crew Rostering Problem

Evelina Lamma, Paola Mello, Paolo Toth, 1998, Softw. Pract. Exp..

Emerging Architectures for Global System Science

Pascal Van Hentenryck, Michela Milano, M. Milano, 2015, AAAI.

Anomaly Detection using Autoencoders in High Performance Computing Systems

Luca Benini, Andrea Bartolini, Andrea Borghesi, 2018, DDC@AI*IA.

A Hybrid Exact Algorithm for the TSPTW

Andrea Lodi, Michela Milano, Filippo Focacci, 2002, INFORMS J. Comput..

MAGMA: a multiagent architecture for metaheuristics

Andrea Roli, Michela Milano, A. Roli, 2004, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

Integrating Operations Research in Constraint Programming

Mark Wallace, Michela Milano, M. Wallace, 2010, Ann. Oper. Res..

Integrating operations research in constraint programming

Mark Wallace, Michela Milano, M. Wallace, 2006, 4OR.

Reduced Cost-Based Ranking for Generating Promising Subproblems

Willem Jan van Hoeve, Michela Milano, W. V. Hoeve, 2002, CP.

Stochastic allocation and scheduling for conditional task graphs in multi-processor systems-on-chip

Luca Benini, Michele Lombardi, Michela Milano, 2010, J. Sched..

Adopting an Object-Oriented Data Model in Inductive Logic Programming

Fabrizio Riguzzi, Andrea Omicini, Michela Milano, 1999, FLAIRS.

Constraint Based Scheduling to Deal with Uncertain Durations and Self-Timed Execution

Michele Lombardi, Michela Milano, M. Milano, 2010, CP.

A Precedence Constraint Posting Approach for the RCPSP with Time Lags and Variable Durations

Michele Lombardi, Michela Milano, M. Milano, 2009, CP.

An Interactive Constraint-Based System for Selective Attention in Visual Search

Evelina Lamma, Paola Mello, Rita Cucchiara, 1997, ISMIS.

Sustainable Policy Making: A Strategic Challenge for Artificial Intelligence

Barry O'Sullivan, Marco Gavanelli, Michela Milano, 2014, AI Mag..

Integrating Induction and Abduction in Logic Programming

Evelina Lamma, Paola Mello, Fabrizio Riguzzi, 1999, Inf. Sci..

Pricing schemes for energy-efficient HPC systems: Design and exploration

Luca Benini, Andrea Bartolini, Andrea Borghesi, 2018, Int. J. High Perform. Comput. Appl..

Scheduling-based power capping in high performance computing systems

Andrea Borghesi, Michele Lombardi, Luca Benini, 2018, Sustain. Comput. Informatics Syst..

Predictive Modeling for Job Power Consumption in HPC Systems

Luca Benini, Andrea Bartolini, Andrea Borghesi, 2016, ISC.

Boosting Combinatorial Problem Modeling with Machine Learning

Michele Lombardi, Michela Milano, Allegra De Filippo, 2018, IJCAI.

Model Agnostic Solution of CSPs via Deep Learning: A Preliminary Study

Paola Mello, Michele Lombardi, Michela Milano, 2018, CPAIOR.

Looking into the crystal-ball: a bright future for CP

Pascal Van Hentenryck, Michela Milano, M. Milano, 2014, Constraints.

Mathematical Programming Techniques in Constraint Programming: A Short Overview

Andrea Lodi, Michela Milano, Filippo Focacci, 2002, J. Heuristics.

An efficient and complete approach for throughput-maximal SDF allocation and scheduling on multi-core platforms

Luca Benini, Michele Lombardi, Michela Milano, 2010, 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010).

Bid evaluation in combinatorial auctions: optimization and learning

Michela Milano, Alessio Guerri, M. Milano, 2009, Softw. Pract. Exp..

A hybrid positioning system for technology-independent location-aware computing

MilanoMichela, GuerriAlessio, M. Milano, 2009 .

Deliverable D14: Experiments with animated societies of computees

A. Bracciali, A. Ciampolini, P. Mello, 2005 .

Solving Mathematical Puzzles: A Challenging Competition for AI

Paola Mello, Federico Chesani, Michela Milano, 2017, AI Mag..

How to Tame Your Anticipatory Algorithm

Michele Lombardi, Michela Milano, Allegra De Filippo, 2019, DDC@AI*IA.

Improving Deep Learning Models via Constraint-Based Domain Knowledge: a Brief Survey pdf

Andrea Borghesi, Michela Milano, Federico Baldo, 2020, ArXiv.

Injecting domain knowledge in neural networks: a controlled experiment on a constrained problem

Michele Lombardi, Michela Milano, Mattia Silvestri, 2020, NeHuAI@ECAI.

From Offline to Online Kidney Exchange Optimization

Barry O'Sullivan, Michele Lombardi, Michela Milano, 2018, 2018 IEEE 30th International Conference on Tools with Artificial Intelligence (ICTAI).

What-If Analysis Through Simulation-Optimization Hybrids

Barry O'Sullivan, Marco Gavanelli, Michela Milano, 2012, ECMS.

Teaching the old dog new tricks: supervised learning with constraints

M. Milano, M. Lombardi, F. Detassis, 2020, NeHuAI@ECAI.

Combining learning and optimization for transprecision computing

Luca Benini, Andrea Borghesi, Michele Lombardi, 2020, CF.

Resource Management Policy Handling Multiple Use-Cases in MPSoC Platforms Using Constraint Programming

Luca Benini, Davide Bertozzi, Michela Milano, 2008, ICLP.

The Blind Men and the Elephant: Integrated Offline/Online Optimization Under Uncertainty

M. Milano, M. Lombardi, A. D. Filippo, 2020, International Joint Conference on Artificial Intelligence.

HADA: An automated tool for hardware dimensioning of AI applications

M. Milano, Andrea Borghesi, A. D. Filippo, 2022, Knowledge-Based Systems.

Towards Symbiotic Creativity: A Methodological Approach to Compare Human and AI Robotic Dance Creations

M. Milano, Andrea Borghesi, Luca Giuliani, 2023, IJCAI.

Allocation and scheduling of Conditional Task Graphs

Michele Lombardi, Michela Milano, M. Milano, 2010, Artif. Intell..

Simulation Of Incentive Mechanisms For Renewable Energy Policies

Andrea Borghesi, Marco Gavanelli, Michela Milano, 2013, ECMS.

Domains as First Class Objects in CLP(FD)

Evelina Lamma, Paola Mello, Marco Gavanelli, 1999, APPIA-GULP-PRODE.

A CHR-based implementation of known arc-consistency

Evelina Lamma, Paola Mello, Marco Alberti, 2004, Theory and Practice of Logic Programming.

Exploiting Constraints for Domain Managing in CLP(FD)

Evelina Lamma, Paola Mello, Marco Gavanelli, 2002, FroCoS.

Constraint Propagation and Value Acquisition: Why we should do it Interactively

Evelina Lamma, Paola Mello, Rita Cucchiara, 1999, IJCAI.

Under Consideration for Publication in Theory and Practice of Logic Programming a Constraint Handling Rules Implementation for Known-arc-consistency in Interactive Constraint Satisfaction Problems

Evelina Lamma, Paola Mello, Marco Alberti, 2022 .

Discrepancy-Based Additive Bounding for the AllDifferent Constraint

Andrea Lodi, Louis-Martin Rousseau, Michela Milano, 2003, CP.

Global Cut Framework for Removing Symmetries

Michela Milano, Filippo Focacci, M. Milano, 2001, CP.

Cutting Planes in Constraint Programming: A Hybrid Approach

Andrea Lodi, Michela Milano, Filippo Focacci, 2000, CP.

The Multirate Resource Constraint

Alessandro Zanarini, Michele Lombardi, Michela Milano, 2016, CP.

A System for Abductive Learning of Logic Programs

Evelina Lamma, Paola Mello, Fabrizio Riguzzi, 1997, LPKR.

Embedding Relaxations in Global Constraints for Solving TSP and TSPTW

M. Milano, Andrea Lodi, Filippo Focacci, 2002, Annals of Mathematics and Artificial Intelligence.

Swarm-based traffic lights policy selection

Daniel Krajzewicz, Luca Foschini, Michela Milano, 2014, DIVANet '14.

An Interactive Constraint-Based System for Selective Attention in Visual Search

R. Cucchiara, M. Milano, P. Mello, 1997, ISMIS.

Allocation and Scheduling for MPSoCs via decomposition and no-good generation

Luca Benini, Davide Bertozzi, Michela Milano, 2005, IJCAI.

Introducing Abduction into (Extensional) Inductive Logic Programming Systems

Evelina Lamma, Paola Mello, Fabrizio Riguzzi, 1997, AI*IA.

Dealing with incomplete knowledge on CLP(FD) variable domains

M. Milano, M. Gavanelli, E. Lamma, 2005, TOPL.

Interpreting Abduction in CLP

Evelina Lamma, Paola Mello, Paolo Torroni, 2003, APPIA-GULP-PRODE.

3D object recognition by VC-graphs and interactive constraint satisfaction

Evelina Lamma, Paola Mello, Rita Cucchiara, 1999, Proceedings 10th International Conference on Image Analysis and Processing.

Multi-agent simulator of incentive influence on PV adoption

Michela Milano, Andrea Borghesi, M. Milano, 2014, 2014 International Conference on Renewable Energy Research and Application (ICRERA).

Sustainable energy policies: Research challenges and opportunities

Michela Milano, M. Milano, 2013, 2013 Design, Automation & Test in Europe Conference & Exhibition (DATE).

Constraint and Optimization techniques for supporting Policy Making

M. Milano, M. Gavanelli, Fabrizio Riguzzi, 2012, ISAIM.

Sustainable biomass power plant location in the Italian Emilia-Romagna region

Marco Gavanelli, Michela Milano, Massimiliano Cattafi, 2011, TIST.

The Need of Multidisciplinary Approaches and Engineering Tools for the Development and Implementation of the Smart City Paradigm

Paolo Bellavista, Gianni Pasolini, Daniele Vigo, 2018, Proceedings of the IEEE.

Interactive Constraints for Plan Construction and Execution

Paolo Torroni, M. Milano, 2022 .

Under Consideration for Publication in Theory and Practice of Logic Programming Multi-criteria Optimal Planning for Energy Policies in Clp

M. Milano, M. Gavanelli, F. Chesani, 2022 .

Injective Domain Knowledge in Neural Networks for Transprecision Computing

Andrea Borghesi, Michele Lombardi, Michela Milano, 2020, LOD.

De-Cycling Cyclic Scheduling Problems

Michele Lombardi, Michela Milano, Alessio Bonfietti, 2013, ICAPS.

Precedence Constraint Posting for Cyclic Scheduling Problems

Luca Benini, Michele Lombardi, Michela Milano, 2011, CPAIOR.

CROSS cyclic resource-constrained scheduling solver

Luca Benini, Michele Lombardi, Michela Milano, 2014, Artif. Intell..

Disregarding Duration Uncertainty in Partial Order Schedules? Yes, We Can!

Michele Lombardi, Michela Milano, Alessio Bonfietti, 2014, CPAIOR.