Mario Alviano

Prof. Dr. Mario Alviano

orcid

Research Focus & Metrics

Academic Career Length

17Years (2010-Present)

(Calculated once Scilit publication data is synced: current year − year of first publication + 1)

Representative Publications

View All Publications
2 June 2011 in Theory and Practice of Logic Programming
Verified
Journal Article
Closed access
PDF file
FRFrancesco Ricca
Francesco Ricca
GGG. Grasso
G. Grasso
MAMario Alviano
Mario Alviano
MMM. Manna
M. Manna
VLV. Lio
V. Lio
NLN. Leone
N. Leone
The seaport of Gioia Tauro is the largest transshipment terminal of the Mediterranean coast. A crucial management task for the companies operating in the seaport is team-building: the problem of properly allocating the available personnel for serving the incoming ships. Teams have to be carefully arranged in order to meet several constraints, such as allocation of employees with appropriate skills, fair distribution of the working load, and turnover of the heavy/dangerous roles. This makes team-building a hard and expensive task requiring several hours of manual preparation per day.In this paper we present a system based on Answer Set Programming for the automatic generation of the teams of employees in the seaport of Gioia Tauro. The system is currently exploited in the Gioia Tauro seaport by ICO BLG, a company specialized in automobile logistics.

15 September 2015
Verified
Book Chapter
Closed access
PDF file
MAMario Alviano
Mario Alviano
CDCarmine Dodaro
Carmine Dodaro
NLNicola Leone
Nicola Leone
FRFrancesco Ricca
Francesco Ricca

31 August 2015 in Journal of Logic and Computation
Verified
Journal Article
Closed access
PDF file
MAMario Alviano
Mario Alviano
CDCarmine Dodaro
Carmine Dodaro
JMJoao Marques-Silva
Joao Marques-Silva
FRFrancesco Ricca
Francesco Ricca
Answer Set Programming (ASP) is a well-known declarative problem solving paradigm developed in the field of nonmonotonic reasoning and logic programming. The usual target of ASP is the solution of combinatorial search problems, nonetheless the language of ASP was extended with weak constraints for concise modelling of optimization problems. In the case of ASP programs with weak constraints, the main computational task of an ASP solver is optimum stable model search . In this article, we present and compare several algorithms for optimum stable model search. We consider solutions traditionally adopted by ASP solvers, and we introduce new solving strategies obtained by porting to the ASP setting some algorithms that were introduced for Maximum Satisfiability solving. The article also reports on the implementation of these algorithms in the ASP solver wasp . An empirical analysis highlights pros and cons of different strategies for computing optimum stable models.

1 January 2011
Verified
Book Chapter
Closed access
PDF file
MAMario Alviano
Mario Alviano
WFWolfgang Faber
Wolfgang Faber
NLNicola Leone
Nicola Leone
SPSimona Perri
Simona Perri
GPGerald Pfeifer
Gerald Pfeifer
GTGiorgio Terracina
Giorgio Terracina

1 September 2016 in Theory and Practice of Logic Programming
Verified
Journal Article
Closed access
PDF file
MAMario Alviano
Mario Alviano
CDCarmine Dodaro
Carmine Dodaro
Unsatisfiable core analysis can boost the computation of optimum stable models for logic programs with weak constraints. However, current solvers employing unsatisfiable core analysis either run to completion, or provide no suboptimal stable models but the one resulting from the preliminary disjoint cores analysis. This drawback is circumvented here by introducing a progression based shrinking of the analyzed unsatisfiable cores. In fact, suboptimal stable models are possibly found while shrinking unsatisfiable cores, hence resulting into an anytime algorithm. Moreover, as confirmed empirically, unsatisfiable core analysis also benefits from the shrinking process in terms of solved instances.

1 August 2012 in Artificial Intelligence
Verified
Journal Article
Closed access
MAMario Alviano
Mario Alviano
WFWolfgang Faber
Wolfgang Faber
GGGianluigi Greco
Gianluigi Greco
NLNicola Leone
Nicola Leone