Picture for Marco Gavanelli

Marco Gavanelli

Logic-Based Benders Decomposition in Answer Set Programming for Chronic Outpatients Scheduling

Add code
May 19, 2023
Viaarxiv icon

Non-ground Abductive Logic Programming with Probabilistic Integrity Constraints

Add code
Aug 06, 2021
Figure 1 for Non-ground Abductive Logic Programming with Probabilistic Integrity Constraints
Figure 2 for Non-ground Abductive Logic Programming with Probabilistic Integrity Constraints
Viaarxiv icon

Logic Programming approaches for routing fault-free and maximally-parallel Wavelength Routed Optical Networks on Chip (Application paper)

Add code
Jul 18, 2017
Figure 1 for Logic Programming approaches for routing fault-free and maximally-parallel Wavelength Routed Optical Networks on Chip (Application paper)
Figure 2 for Logic Programming approaches for routing fault-free and maximally-parallel Wavelength Routed Optical Networks on Chip (Application paper)
Figure 3 for Logic Programming approaches for routing fault-free and maximally-parallel Wavelength Routed Optical Networks on Chip (Application paper)
Figure 4 for Logic Programming approaches for routing fault-free and maximally-parallel Wavelength Routed Optical Networks on Chip (Application paper)
Viaarxiv icon

Multi-Criteria Optimal Planning for Energy Policies in CLP

Add code
May 15, 2014
Figure 1 for Multi-Criteria Optimal Planning for Energy Policies in CLP
Figure 2 for Multi-Criteria Optimal Planning for Energy Policies in CLP
Figure 3 for Multi-Criteria Optimal Planning for Energy Policies in CLP
Viaarxiv icon

Logic-Based Decision Support for Strategic Environmental Assessment

Add code
Jul 19, 2010
Figure 1 for Logic-Based Decision Support for Strategic Environmental Assessment
Viaarxiv icon

A CHR-based Implementation of Known Arc-Consistency

Add code
Aug 24, 2004
Figure 1 for A CHR-based Implementation of Known Arc-Consistency
Figure 2 for A CHR-based Implementation of Known Arc-Consistency
Viaarxiv icon