Mario Alviano

Citada per

	Totes	Des de 2020
Citacions	2412	1090
Índex h	25	17
Índex i10	56	31

300

150

225

20112012201320142015201620172018201920202021202220232024202549 57 100 94 136 164 163 271 260 205 135 188 238 292 32

Accés públic

Mostra-ho tot

56 articles

9 articles

disponibles

no disponibles

Es basa en els requisits de les agències que proporcionen el finançament

Coautors

Carmine DodaroDepartment of Mathematics and Computer Science, University of CalabriaCorreu electrònic verificat a mat.unical.it
Francesco RiccaFull Professor of Computer Science, University of CalabriaCorreu electrònic verificat a mat.unical.it
Nicola LeoneUniversity of Calabria, Professor of Computer ScienceCorreu electrònic verificat a unical.it
Wolfgang FaberAlpen-Adria-Universität KlagenfurtCorreu electrònic verificat a aau.at
Marco MannaDepartment of Mathematics and Computer Science, University of CalabriaCorreu electrònic verificat a mat.unical.it
Francesco CalimeriFull Professor of Computer Science, University of Calabria (UNICAL), ItalyCorreu electrònic verificat a unical.it
Simona PerriDepartment of Mathematics, University of Calabria, ItalyCorreu electrònic verificat a mat.unical.it
Jessica ZangariUniversità della CalabriaCorreu electrònic verificat a unical.it
Marco MarateaUniversity of GenovaCorreu electrònic verificat a dibris.unige.it
Gianluigi GrecoUniversity of Calabria, Full Professor of Computer ScienceCorreu electrònic verificat a mat.unical.it
Giovambattista IanniProfessor of Computer Science, Università della CalabriaCorreu electrònic verificat a unical.it
Giovanni GrassoProf. in Computer Science @University of Calabria, Director of Engineering at MeltwaterCorreu electrònic verificat a unical.it
Giorgio TerracinaProfessor of Computer Science, Universita' della Calabria, ItalyCorreu electrònic verificat a mat.unical.it
Martin GebserUniversity of KlagenfurtCorreu electrònic verificat a aau.at
Rafael PeñalozaUniversity of Milano-BicoccaCorreu electrònic verificat a unimib.it
Joao Marques-SilvaResearch Professor, ICREA, University of LleidaCorreu electrònic verificat a icrea.cat
Johannes OetschDepartment of Computing, Jönköping UniversityCorreu electrònic verificat a ju.se

Segueix

Mario Alviano

Professor, University of Calabria

Correu electrònic verificat a unical.it - Pàgina d'inici

Artificial Intelligence Logic Programming Nonmonotonic Reasoning


Títol Ordena per cites Ordena per any Ordena per títol	Citada per Citada per	Any
Advances in WASP M Alviano, C Dodaro, N Leone, F Ricca International Conference on Logic Programming and Nonmonotonic Reasoning, 40-54, 2015	164	2015
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	159	2012
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	137	2017
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	130	2013
A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size. M Alviano, C Dodaro, F Ricca IJCAI 2015, 2677-2683, 2015	92	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	91	2011
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	90	2011
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	76	2019
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	75	2013
Magic sets for disjunctive datalog programs M Alviano, W Faber, G Greco, N Leone Artificial Intelligence 187, 156-192, 2012	68	2012
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	64	2018
Anytime answer set optimization via unsatisfiable core shrinking M Alviano, C Dodaro Theory and Practice of Logic Programming 16 (5-6), 533-551, 2016	59	2016
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	53	2010
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	52	2017
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	52	2010
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	49	2020
Nurse (re) scheduling via answer set programming M Alviano, C Dodaro, M Maratea Intelligenza Artificiale 12 (2), 109-124, 2019	42	2019
The pyglaf argumentation reasoner M Alviano Technical Communications of the 33rd International Conference on Logic …, 2018	42	2018
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	40	2014

En aquests moments el sistema no pot dur a terme l'operació. Torneu-ho a provar més tard.

Articles 1–20

Cites per any

Cites duplicades

Cites combinades

Addició de coautorsCoautors

Segueix

Citada per

Coautors