Mario Alviano

Cited by

	All	Since 2018
Citations	2045	1267
h-index	24	17
i10-index	46	33

280

140

210

201120122013201420152016201720182019202020212022202349 56 95 88 133 163 169 265 254 199 137 183 228

Public access

View all

41 articles

10 articles

available

not available

Based on funding mandates

Co-authors

Carmine DodaroDepartment of Mathematics and Computer Science, University of CalabriaVerified email at mat.unical.it
Nicola LeoneUniversity of Calabria, Professor of Computer ScienceVerified email at unical.it
Francesco RiccaAssociate professor of computer science, University of CalabriaVerified email at mat.unical.it
Wolfgang FaberAlpen-Adria-Universität KlagenfurtVerified email at aau.at
Marco MannaDepartment of Mathematics and Computer Science, University of CalabriaVerified email at mat.unical.it
Francesco CalimeriAssociate Professor of Computer Science, University of Calabria (UNICAL), ItalyVerified email at unical.it
Simona PerriDepartment of Mathematics, University of Calabria, ItalyVerified email at mat.unical.it
Jessica ZangariUniversità della CalabriaVerified email at mat.unical.it
Marco MarateaUniversity of GenovaVerified email at dibris.unige.it
Giovambattista IanniProfessor of Computer Science, Università della CalabriaVerified email at unical.it
Gianluigi GrecoUniversity of Calabria, Full Professor of Computer ScienceVerified email at mat.unical.it
Giovanni GrassoProf. in Computer Science @University of Calabria, Director of Engineering at MeltwaterVerified email at unical.it
Giorgio TerracinaProfessor of Computer Science, Universita' della Calabria, ItalyVerified email at mat.unical.it
Martin GebserUniversity of Klagenfurt / Graz University of TechnologyVerified email at aau.at
Rafael PeñalozaUniversity of Milano-BicoccaVerified email at unimib.it
Joao Marques-SilvaCNRS Research Director, IRIT, CNRS & ANITIVerified email at irit.fr
Johannes OetschInstitute of Logic and Computation, TU WienVerified email at tuwien.ac.at

Mario Alviano

Associate Professor, University of Calabria

Verified email at mat.unical.it - Homepage

Artificial Intelligence Logic Programming Nonmonotonic Reasoning


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Team-building with answer set programming in the Gioia-Tauro seaport F Ricca, G Grasso, M Alviano, M Manna, V Lio, S Iiritano, N Leone Theory and Practice of Logic Programming 12 (3), 361-381, 2012	148	2012
Advances in WASP M Alviano, C Dodaro, N Leone, F Ricca International Conference on Logic Programming and Nonmonotonic Reasoning, 40-54, 2015	146	2015
WASP: A native ASP solver based on constraint learning M Alviano, C Dodaro, W Faber, N Leone, F Ricca Logic Programming and Nonmonotonic Reasoning: 12th International Conference …, 2013	123	2013
The asp system dlv2 M Alviano, F Calimeri, C Dodaro, D Fuscà, N Leone, S Perri, F Ricca, ... Logic Programming and Nonmonotonic Reasoning: 14th International Conference …, 2017	107	2017
The disjunctive datalog system DLV M Alviano, W Faber, N Leone, S Perri, G Pfeifer, G Terracina Datalog Reloaded: First International Workshop, Datalog 2010, Oxford, UK …, 2011	88	2011
A MaxSAT algorithm using cardinality constraints of bounded size M Alviano, C Dodaro, F Ricca Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015	85	2015
The third answer set programming competition: Preliminary report of the system competition track F Calimeri, G Ianni, F Ricca, M Alviano, A Bria, G Catalano, S Cozza, ... Logic Programming and Nonmonotonic Reasoning: 11th International Conference …, 2011	84	2011
The fourth answer set programming competition: Preliminary report M Alviano, F Calimeri, G Charwat, M Dao-Tran, C Dodaro, G Ianni, ... Logic Programming and Nonmonotonic Reasoning: 12th International Conference …, 2013	70	2013
Evaluation of disjunctive programs in WASP M Alviano, G Amendola, C Dodaro, N Leone, M Maratea, F Ricca International Conference on Logic Programming and Nonmonotonic Reasoning …, 2019	61	2019
Magic sets for disjunctive datalog programs M Alviano, W Faber, G Greco, N Leone Artificial Intelligence 187, 156-192, 2012	61	2012
A Logic-Based System for e-Tourism F Ricca, A Dimasi, G Grasso, SM Ielpa, S Iiritano, M Manna, N Leone Fundamenta Informaticae 105 (1), 35-55, 2010	51	2010
The ASP system DLV: advancements and applications WT Adrian, M Alviano, F Calimeri, B Cuteri, C Dodaro, W Faber, D Fuscà, ... KI-Künstliche Intelligenz 32, 177-179, 2018	50	2018
Disjunctive ASP with functions: Decidable queries and effective computation M Alviano, W Faber, N Leone Theory and Practice of Logic Programming 10 (4-6), 497-512, 2010	49	2010
Anytime answer set optimization via unsatisfiable core shrinking M Alviano, C Dodaro Theory and Practice of Logic Programming 16 (5-6), 533-551, 2016	48	2016
Optimum stable model search: algorithms and implementation M Alviano, C Dodaro, J Marques-Silva, F Ricca Journal of Logic and Computation 30 (4), 863-897, 2020	43	2020
An advanced answer set programming encoding for nurse scheduling M Alviano, C Dodaro, M Maratea AI* IA 2017 Advances in Artificial Intelligence: XVIth International …, 2017	43	2017
Rewriting recursive aggregates in answer set programming: back to monotonicity M Alviano, W Faber, M Gebser Theory and Practice of Logic Programming 15 (4-5), 559-573, 2015	41	2015
Anytime computation of cautious consequences in answer set programming M Alviano, C Dodaro, F Ricca Theory and Practice of Logic Programming 14 (4-5), 755-770, 2014	38	2014
The pyglaf argumentation reasoner M Alviano Technical Communications of the 33rd International Conference on Logic …, 2018	36	2018
Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues M Alviano, W Faber, N Leone, M Manna Theory and Practice of Logic Programming 12 (4-5), 701-718, 2012	36	2012

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors