Michela Milano

Proceedings of the Entertainment Computing - ICEC 2023, 2023

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

[BibT_eX]

[DOI]

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Assessing and Enforcing Fairness in the AI Lifecycle.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

FAiRDAS: Fairness-Aware Ranking as Dynamic Abstract System.

[BibT_eX]

[DOI]

Proceedings of the 1st Workshop on Fairness and Bias in AI co-located with 26th European Conference on Artificial Intelligence (ECAI 2023), 2023

A geometric framework for fairness.

[BibT_eX]

[DOI]

Proceedings of the 1st Workshop on Fairness and Bias in AI co-located with 26th European Conference on Artificial Intelligence (ECAI 2023), 2023

2022

Anomaly Detection and Anticipation in High Performance Computing Systems.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2022

HADA: An automated tool for hardware dimensioning of AI applications.

[BibT_eX]

[DOI]

Knowl. Based Syst., 2022

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

[BibT_eX]

[DOI]

CoRR, 2022

Do You Like Dancing Robots? AI Can Tell You Why.

[BibT_eX]

[DOI]

Proceedings of the PAIS 2022, 2022

Informed Deep Learning for Epidemics Forecasting.

[BibT_eX]

[DOI]

Proceedings of the PAIS 2022, 2022

A Multi-modal Perspective for the Artistic Evaluation of Robotic Dance Performances.

[BibT_eX]

[DOI]

Proceedings of the 1st Workshop on Artificial Intelligence and Creativity co-located with 21th International Conference of the Italian Association for Artificial Intelligence(AIxIA 2022), Udine, Italy, November 28, 2022

2021

Artificial Intelligence and the Future of Work.

[BibT_eX]

[DOI]

Proceedings of the Reflections on Artificial Intelligence for Humanity, 2021

Integrated Offline and Online Decision Making under Uncertainty.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2021

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

[BibT_eX]

[DOI]

CoRR, 2021

Robust Optimization Models For Local Flexibility Characterization of Virtual Power Plants.

[BibT_eX]

[DOI]

Proceedings of the AIxIA 2021 - Advances in Artificial Intelligence, 2021

Teaching the Old Dog New Tricks: Supervised Learning with Constraints.

[BibT_eX]

[DOI]

Fabrizio Detassis

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

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

[BibT_eX]

[DOI]

Andrea Borghesi

Federico Baldo

CoRR, 2020

An Analysis of Regularized Approaches for Constrained Machine Learning.

[BibT_eX]

[DOI]

Proceedings of the Trustworthy AI - Integrating Learning, Optimization and Reasoning, 2020

Injective Domain Knowledge in Neural Networks for Transprecision Computing.

[BibT_eX]

[DOI]

Proceedings of the Machine Learning, Optimization, and Data Science, 2020

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

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

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

[BibT_eX]

[DOI]

Mattia Silvestri

Proceedings of the First International Workshop on New Foundations for Human-Centered AI (NeHuAI) co-located with 24th European Conference on Artificial Intelligence (ECAI 2020), 2020

Hybrid Offline/Online Optimization Under Uncertainty.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

Combining learning and optimization for transprecision computing.

[BibT_eX]

[DOI]

Proceedings of the 17th ACM International Conference on Computing Frontiers, 2020

2019

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

[BibT_eX]

[DOI]

Int. J. High Perform. Comput. Appl., 2019

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

[BibT_eX]

[DOI]

Eng. Appl. Artif. Intell., 2019

How to Tame Your Anticipatory Algorithm.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

A Sampling-Free Anticipatory Algorithm for the Kidney Exchange Problem.

[BibT_eX]

[DOI]

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2019

Logic-Based Benders Decomposition for Super Solutions: An Application to the Kidney Exchange Problem.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2019

Frequency Assignment in High Performance Computing Systems.

[BibT_eX]

[DOI]

Andrea Borghesi

Proceedings of the AI*IA 2019 - Advances in Artificial Intelligence, 2019

Anomaly Detection Using Autoencoders in High Performance Computing Systems.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Scheduling-based power capping in high performance computing systems.

[BibT_eX]

[DOI]

Sustain. Comput. Informatics Syst., 2018

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

[BibT_eX]

[DOI]

Proc. IEEE, 2018

Twenty Years of Constraint Programming (CP) Research.

[BibT_eX]

[DOI]

Constraints An Int. J., 2018

Methods for off-line/on-line optimization under uncertainty.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Boosting Combinatorial Problem Modeling with Machine Learning.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

From Offline to Online Kidney Exchange Optimization.

[BibT_eX]

[DOI]

Proceedings of the IEEE 30th International Conference on Tools with Artificial Intelligence, 2018

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

[BibT_eX]

[DOI]

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2018

Off-Line and On-Line Optimization Under Uncertainty: A Case Study on Energy Management.

[BibT_eX]

[DOI]

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2018

2017

Report from the Editor in Chief, year 2015.

[BibT_eX]

[DOI]

Constraints An Int. J., 2017

Solving Mathematical Puzzles: A Challenging Competition for AI.

[BibT_eX]

[DOI]

Federico Chesani

AI Mag., 2017

Empirical decision model learning.

[BibT_eX]

[DOI]

Andrea Bartolini

Artif. Intell., 2017

Towards a Novel HMI Paradigm Based on Mixed EEG and Indoor Localization Platforms.

[BibT_eX]

[DOI]

Mattia Salvaro

Victor Javier Kartsch

Simone Benatti

Proceedings of the New Generation of CAS, 2017

Driving Behaviour Clustering For Realistic Traffic Micro-Simulators.

[BibT_eX]

[DOI]

Proceedings of the European Conference on Modelling and Simulation, 2017

Robust Optimization for Virtual Power Plants.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2017 Advances in Artificial Intelligence, 2017

2016

A Constraint Programming Scheduler for Heterogeneous High-Performance Computing Machines.

[BibT_eX]

[DOI]

IEEE Trans. Parallel Distributed Syst., 2016

Predictive Modeling for Job Power Consumption in HPC Systems.

[BibT_eX]

[DOI]

Proceedings of the High Performance Computing - 31st International Conference, 2016

DARDIS: Distributed And Randomized DIspatching and Scheduling.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Non-linear Optimization of Business Models in the Electricity Market.

[BibT_eX]

[DOI]

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2016

The Multirate Resource Constraint.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2016

Solving Mathematical Puzzles: a Deep Reasoning Challenge (Position Paper).

[BibT_eX]

[DOI]

Federico Chesani

Proceedings of the AI*IA Workshop on Deep Understanding and Reasoning: A Challenge for Next-generation Intelligent Agents 2016 co-located with 15th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2016), 2016

2015

Embedding Decision Trees and Random Forests in Constraint Programming.

[BibT_eX]

[DOI]

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2015

Deterministic Estimation of the Expected Makespan of a POS Under Duration Uncertainty.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2015

Power Capping in High Performance Computing Systems.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2015

Agent Based Simulation of Incentive Mechanisms on Photovoltaic Adoption.

[BibT_eX]

[DOI]

Valerio Iachini

Andrea Borghesi

Proceedings of the AI*IA 2015, Advances in Artificial Intelligence, 2015

Swarm-Based Controller for Traffic Lights Management.

[BibT_eX]

[DOI]

Federico Caselli

Proceedings of the AI*IA 2015, Advances in Artificial Intelligence, 2015

A CP Scheduler for High-Performance Computers.

[BibT_eX]

[DOI]

Proceedings of the Doctoral Consortium (DC) co-located with the 14th Conference of the Italian Association for Artificial Intelligence (AI*IA 2015), 2015

Emerging Architectures for Global System Science.

[BibT_eX]

[DOI]

Pascal Van Hentenryck

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

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

[BibT_eX]

[DOI]

Barry O'Sullivan

Martin Sachenbacher

IEEE Trans. Computers, 2014

Strategic decision making on complex systems.

[BibT_eX]

[DOI]

Constraints An Int. J., 2014

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

[BibT_eX]

[DOI]

Pascal Van Hentenryck

Constraints An Int. J., 2014

Sustainable Policy Making: A Strategic Challenge for Artificial Intelligence.

[BibT_eX]

[DOI]

Barry O'Sullivan

Marco Gavanelli

AI Mag., 2014

CROSS cyclic resource-constrained scheduling solver.

[BibT_eX]

[DOI]

Artif. Intell., 2014

Swarm-based traffic lights policy selection.

[BibT_eX]

[DOI]

Proceedings of the fourth ACM international symposium on Development and analysis of intelligent vehicular networks and applications, 2014

Evaluating CP Techniques to Plan Dynamic Resource Provisioning in Distributed Stream Processing.

[BibT_eX]

[DOI]

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2014

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

[BibT_eX]

[DOI]

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2014

Proactive Workload Dispatching on the EURORA Supercomputer.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2014

Multi-Criteria Optimal Planning for Energy Policies in CLP.

[BibT_eX]

[DOI]

Proceedings of the 29th Italian Conference on Computational Logic, 2014

2013

Robust Scheduling of Task Graphs under Execution Time Uncertainty.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2013

Maximum-throughput mapping of SDFGs on multi-core SoC platforms.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 2013

Simulation Of Incentive Mechanisms For Renewable Energy Policies.

[BibT_eX]

[DOI]

Proceedings of the 27th European Conference on Modelling and Simulation, 2013

Sustainable energy policies: research challenges and opportunities.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2013

Optimization for Policy Making: The Cornerstone for an Integrated Approach.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2013

Constraint and Optimization techniques for supporting Policy Making.

[BibT_eX]

[DOI]

Proceedings of the 28th Italian Conference on Computational Logic, 2013

De-Cycling Cyclic Scheduling Problems.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, 2013

2012

Bounding, filtering and diversification in CP-based local branching.

[BibT_eX]

[DOI]

J. Heuristics, 2012

Sliced Neighborhood Search.

[BibT_eX]

[DOI]

Fabio Parisini

Expert Syst. Appl., 2012

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

[BibT_eX]

[DOI]

Constraints An Int. J., 2012

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

[BibT_eX]

[DOI]

Artif. Intell., 2012

What-If Analysis Through Simulation-Optimization Hybrids.

[BibT_eX]

[DOI]

Proceedings of the 26th European Conference on Modelling and Simulation, 2012

Global Cyclic Cumulative Constraint.

[BibT_eX]

[DOI]

Proceedings of the Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems, 2012

A Constraint-based Approach to Cyclic Resource-Constrained Scheduling Problem.

[BibT_eX]

[DOI]

Proceedings of the Doctoral Consortium of the 12th Symposium of the Italian Association for Artificial Intelligence, 2012

Optimization and Controlled Systems: A Case Study on Thermal Aware Workload Dispatching.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

2011

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

[BibT_eX]

[DOI]

ACM Trans. Intell. Syst. Technol., 2011

Deriving Information from Sampling and Diving.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2011

Optimal resource allocation and scheduling for the CELL BE platform.

[BibT_eX]

[DOI]

Ann. Oper. Res., 2011

Improving CP-based local branching via sliced neighborhood search.

[BibT_eX]

[DOI]

Fabio Parisini

Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

Precedence Constraint Posting for Cyclic Scheduling Problems.

[BibT_eX]

[DOI]

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2011

A Constraint Based Approach to Cyclic RCPSP.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011

Neuron Constraints to Model Complex Real-World Problems.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011

MPOpt-Cell: a high-performance data-flow programming environment for the CELL BE processor.

[BibT_eX]

[DOI]

Alessio Franceschelli

Proceedings of the 8th Conference on Computing Frontiers, 2011

An Application of Fuzzy Logic to Strategic Environmental Assessment.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2011: Artificial Intelligence Around Man and Beyond, 2011

2010

Logic-based decision support for strategic environmental assessment.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2010

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

[BibT_eX]

[DOI]

J. Sched., 2010

Allocation and scheduling of Conditional Task Graphs.

[BibT_eX]

[DOI]

Artif. Intell., 2010

Urban Traffic Control system using self-organization.

[BibT_eX]

[DOI]

Gianfilippo Slager

Proceedings of the 13th International IEEE Conference on Intelligent Transportation Systems, 2010

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

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2010

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

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming - CP 2010, 2010

Discrepancy-Based Sliced Neighborhood Search.

[BibT_eX]

[DOI]

Fabio Parisini

Proceedings of the Artificial Intelligence: Methodology, 2010

2009

An Overview of AI Research in Italy.

[BibT_eX]

[DOI]

Andrea Roli

Proceedings of the Artificial Intelligence: An International Perspective, 2009

Reducing the Abstraction and Optimality Gaps in the Allocation and Scheduling for Variable Voltage/Frequency MPSoC Platforms.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2009

Bid evaluation in combinatorial auctions: optimization and learning.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2009

Robust non-preemptive hard real-time scheduling for clustered multicore platforms.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2009

Throughput Constraint for Synchronous Data Flow Graphs.

[BibT_eX]

[DOI]

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2009

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

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2009

2008

Greedy and Exact Algorithms for Invitation Planning in Cancer Screening.

[BibT_eX]

[DOI]

Proceedings of the New Challenges in Applied Intelligence Technologies, 2008

A Fast and Accurate Technique for Mapping Parallel Applications on Stream-Oriented MPSoC Platforms with Communication Awareness.

[BibT_eX]

[DOI]

Int. J. Parallel Program., 2008

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

[BibT_eX]

[DOI]

Davide Bertozzi

Proceedings of the Logic Programming, 24th International Conference, 2008

Cellflow: A Parallel Application Development Environment with Run-Time Support for the Cell BE Processor.

[BibT_eX]

[DOI]

Proceedings of the 11th Euromicro Conference on Digital System Design: Architectures, 2008

Multi-stage Benders Decomposition for Optimizing Multicore Architectures.

[BibT_eX]

[DOI]

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2008

A Constraint Programming Approach for Allocation and Scheduling on the CELL Broadband Engine.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2008

2007

Communication-aware stochastic allocation and scheduling framework for conditional task graphs in multi-processor systems-on-chip.

[BibT_eX]

[DOI]

Proceedings of the 7th ACM & IEEE International conference on Embedded software, 2007

Scheduling Conditional Task Graphs.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2007

CP-Based Local Branching.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2007

2006

Discrepancy-Based Additive Bounding Procedures.

[BibT_eX]

[DOI]

Louis-Martin Rousseau

INFORMS J. Comput., 2006

Constraint Programming.

[BibT_eX]

Francesca Rossi

Intelligenza Artificiale, 2006

Introduction to the Special Issue on the Integration of AI and OR Techniques in CP for Combinatorial Optimization (CPAIOR 2005).

[BibT_eX]

[DOI]

Roman Barták

Constraints An Int. J., 2006

Integrating operations research in constraint programming.

[BibT_eX]

[DOI]

Mark Wallace

4OR, 2006

A Cooperative, Accurate Solving Framework for Optimal Allocation, Scheduling and Frequency Selection on Energy-Efficient MPSoCs.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on System-on-Chip, 2006

Communication-aware allocation and scheduling framework for stream-oriented multi-processor systems-on-chip.

[BibT_eX]

[DOI]

Proceedings of the Conference on Design, Automation and Test in Europe, 2006

Improved Algorithm for the Soft Global Cardinality Constraint.

[BibT_eX]

[DOI]

Alessandro Zanarini

Gilles Pesant

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2006

Allocation, Scheduling and Voltage Scaling on Energy Aware MPSoCs.

[BibT_eX]

[DOI]

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2006

Stochastic Allocation and Scheduling for Conditional Task Graphs in MPSoCs.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2006

2005

A CHR-based implementation of known arc-consistency.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2005

Dealing with incomplete knowledge on CLP(<i>FD</i>) variable domains.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2005

Measuring Efficiency and Executability of Allocation and Scheduling in Multi-Processor Systems-on-Chip.

[BibT_eX]

Intelligenza Artificiale, 2005

Expressing Interaction in Combinatorial Auction through Social Integrity Constraints.

[BibT_eX]

Proceedings of the 19th Workshop on (Constraint) Logic Programming, 2005

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

[BibT_eX]

[DOI]

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

2004

MAGMA: a multiagent architecture for metaheuristics.

[BibT_eX]

[DOI]

Andrea Roli

IEEE Trans. Syst. Man Cybern. Part B, 2004

Instance Structure-based Portfolio Selection.

[BibT_eX]

Intelligenza Artificiale, 2004

Decomposition Based Search - A theoretical and experimental evaluation

[BibT_eX]

[DOI]

Willem Jan van Hoeve

CoRR, 2004

Postponing Branching Decisions.

[BibT_eX]

Willem Jan van Hoeve

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

Learning Techniques for Automatic Algorithm Portfolio Selection.

[BibT_eX]

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

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

[BibT_eX]

[DOI]

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2004

2003

Discrepancy-Based Additive Bounding for the AllDifferent Constraint.

[BibT_eX]

[DOI]

Louis-Martin Rousseau

Proceedings of the Principles and Practice of Constraint Programming, 2003

CP-IP Techniques for the Bid Evaluation in Combinatorial Auctions.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2003

Interpreting Abduction in CLP.

[BibT_eX]

Proceedings of the 2003 Joint Conference on Declarative Programming, 2003

2002

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

[BibT_eX]

[DOI]

Erlendur S. Thorsteinsson

Greger Ottosson

Philippe Refalo

INFORMS J. Comput., 2002

A Hybrid Exact Algorithm for the TSPTW.

[BibT_eX]

[DOI]

INFORMS J. Comput., 2002

Mathematical Programming Techniques in Constraint Programming: A Short Overview.

[BibT_eX]

[DOI]

J. Heuristics, 2002

Optimization-Oriented Global Constraints.

[BibT_eX]

[DOI]

Constraints An Int. J., 2002

Embedding Relaxations in Global Constraints for Solving TSP and TSPTW.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2002

Exploiting Constraints for Domain Managing in CLP(FD).

[BibT_eX]

[DOI]

Proceedings of the Frontiers of Combining Systems, 4th International Workshop, 2002

Reduced Cost-Based Ranking for Generating Promising Subproblems.

[BibT_eX]

[DOI]

Willem Jan van Hoeve

Proceedings of the Principles and Practice of Constraint Programming, 2002

2001

Enhancing CLP branch and bound techniques for scheduling problems.

[BibT_eX]

[DOI]

F. Bosi

Softw. Pract. Exp., 2001

From Eager to Lazy Constrained Data Acquisition: A General Framework.

[BibT_eX]

[DOI]

New Gener. Comput., 2001

Planning for Security Management.

[BibT_eX]

[DOI]

Rebecca Montanari

IEEE Intell. Syst., 2001

Global Cut Framework for Removing Symmetries.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2001

Planning and Execution in Dynamic Environments.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2001: Advances in Artificial Intelligence, 2001

2000

Planning while Executing: A Constraint-Based Approach.

[BibT_eX]

[DOI]

Paolo Torroni

Proceedings of the Foundations of Intelligent Systems, 12th International Symposium, 2000

Cutting Planes in Constraint Programming: A Hybrid Approach.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2000

1999

On the Need for a Different Backtracking Rule when Dealing with Late Evaluation.

[BibT_eX]

[DOI]

Marco Gavanelli

Proceedings of the Workshop on Optimization and Implementation of Declarative Programs, 1999

Reasoning on Constraints in CLP(FD).

[BibT_eX]

[DOI]

J. Log. Program., 1999

Integrating Induction and Abduction in Logic Programming.

[BibT_eX]

[DOI]

Inf. Sci., 1999

Solving TSP through the Integration of OR and CP Techniques.

[BibT_eX]

[DOI]

Electron. Notes Discret. Math., 1999

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

[BibT_eX]

[DOI]

Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

Domains as First Class Objects in CLP(FD).

[BibT_eX]

Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999

Soving TSP with Time Windows with Constraints.

[BibT_eX]

Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999

3D Object Recognition by VC-Graphs and Interactive Constraint Satisfaction.

[BibT_eX]

[DOI]

Proceedings of the 1oth International Conference on Image Analysis and Processing (ICIAP 1999), 1999

Adopting an Object-Oriented Data Model in Inductive Logic Programming.

[BibT_eX]

[DOI]

Andrea Omicini

Fabrizio Riguzzi

Proceedings of the Twelfth International Florida Artificial Intelligence Research Society Conference, 1999

Least Commitment on Variable Binding in Presence of Incomplete Knowledge.

[BibT_eX]

[DOI]

Proceedings of the Recent Advances in AI Planning, 5th European Conference on Planning, 1999

Cost-Based Domain Filtering.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 1999

Solving the Satisfiability Problem through Boolean Networks.

[BibT_eX]

[DOI]

Andrea Roli

Proceedings of the AI*IA 99:Advances in Artificial Intelligence, 1999

1998

Integrating Constraint Logic Programming and Operations Research Techniques for the Crew Rostering Problem.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 1998

Extending Constraint Logic Programming for Temporal Reasoning.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 1998

Interactive Constraint Satisfaction techniques for Information Gathering in Planning.

[BibT_eX]

Proceedings of the 13th European Conference on Artificial Intelligence, 1998

Interactive Constraint Satisfaction and its Application to Visual Object Recognition.

[BibT_eX]

Proceedings of the 1998 Joint Conference on Declarative Programming, 1998

1997

A distributed constraint-based scheduler.

[BibT_eX]

[DOI]

Artif. Intell. Eng., 1997

Constraint Logic Programming for the Crew Rostering Problem.

[BibT_eX]

Proceedings of the Third International Conference on the Practical Application of Constraint Technology, 1997

A System for Abductive Learning of Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Knowledge Representation, 1997

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

[BibT_eX]

[DOI]

Proceedings of the Foundations of Intelligent Systems, 10th International Symposium, 1997

Reasoning on Constraints in Constraint Logic Programming.

[BibT_eX]

Proceedings of the Logic Programming, 1997

Introducing Abduction into (Extensional) Inductive Logic Programming Systems.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 97: Advances in Artificial Intelligence, 1997

An Algorithm for Learning Abductive Rules.

[BibT_eX]

Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997

1996

Temporal Reasoning in a Meta Constraint Logic Programming Architecture.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Temporal Representation and Reasoning, 1996

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

[BibT_eX]

[DOI]

Proceedings of the Foundations of Intelligent Systems, 9th International Symposium, 1996

Combining Solvers in a Meta Constraint Logic Programming Architecture.

[BibT_eX]

Proceedings of the Frontiers of Combining Systems, 1996

A Meta Constraint Logic Programming Architecture (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, 1996

Enhancing Constraint Logic Programming through Meta Programming.

[BibT_eX]