research
∙
05/19/2023
Logic-Based Benders Decomposition in Answer Set Programming for Chronic Outpatients Scheduling
In Answer Set Programming (ASP), the user can define declaratively a pro...
share
research
∙
08/06/2021
Non-ground Abductive Logic Programming with Probabilistic Integrity Constraints
Uncertain information is being taken into account in an increasing numbe...
research
∙
07/18/2017
Logic Programming approaches for routing fault-free and maximally-parallel Wavelength Routed Optical Networks on Chip (Application paper)
One promising trend in digital system integration consists of boosting o...
research
∙
05/15/2014