Mario Alviano

Citata da

	Tutte	Dal 2019
Citazioni	2236	1189
Indice H	25	19
i10-index	50	31

280

140

210

2011201220132014201520162017201820192020202120222023202448 56 95 95 134 160 167 267 249 204 128 184 234 190

Accesso pubblico

Visualizza tutto

47 articoli

11 articoli

Disponibili

Non disponibili

In base ai mandati di finanziamento

Coautori

Carmine DodaroDepartment of Mathematics and Computer Science, University of CalabriaEmail verificata su mat.unical.it
Nicola LeoneUniversity of Calabria, Professor of Computer ScienceEmail verificata su unical.it
Francesco RiccaFull Professor of Computer Science, University of CalabriaEmail verificata su mat.unical.it
Wolfgang FaberAlpen-Adria-Universität KlagenfurtEmail verificata su aau.at
Marco MannaDepartment of Mathematics and Computer Science, University of CalabriaEmail verificata su mat.unical.it
Francesco CalimeriAssociate Professor of Computer Science, University of Calabria (UNICAL), ItalyEmail verificata su unical.it
Simona PerriDepartment of Mathematics, University of Calabria, ItalyEmail verificata su mat.unical.it
Jessica ZangariUniversità della CalabriaEmail verificata su unical.it
Marco MarateaUniversity of GenovaEmail verificata su dibris.unige.it
Gianluigi GrecoUniversity of Calabria, Full Professor of Computer ScienceEmail verificata su mat.unical.it
Giovambattista IanniProfessor of Computer Science, Università della CalabriaEmail verificata su unical.it
Giovanni GrassoProf. in Computer Science @University of Calabria, Director of Engineering at MeltwaterEmail verificata su unical.it
Giorgio TerracinaProfessor of Computer Science, Universita' della Calabria, ItalyEmail verificata su mat.unical.it
Martin GebserUniversity of Klagenfurt / Graz University of TechnologyEmail verificata su aau.at
Rafael PeñalozaUniversity of Milano-BicoccaEmail verificata su unimib.it
Joao Marques-SilvaResearch Professor, ICREA, University of LleidaEmail verificata su icrea.cat
Johannes OetschDepartment of Computing, Jonkoping UniversityEmail verificata su ju.se

Segui

Mario Alviano

Professor, University of Calabria

Email verificata su unical.it - Home page

Artificial Intelligence Logic Programming Nonmonotonic Reasoning


Titolo Ordina per citazioni Ordina per anno Ordina per titolo	Citata da Citata da	Anno
Advances in WASP M Alviano, C Dodaro, N Leone, F Ricca International Conference on Logic Programming and Nonmonotonic Reasoning, 40-54, 2015	157	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	151	2012
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	132	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	126	2017
A MaxSAT algorithm using cardinality constraints of bounded size M Alviano, C Dodaro, F Ricca Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015	89	2015
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
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	86	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	71	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	69	2019
Magic sets for disjunctive datalog programs M Alviano, W Faber, G Greco, N Leone Artificial Intelligence 187, 156-192, 2012	62	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	56	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	54	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
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
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	46	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	45	2017
The pyglaf argumentation reasoner M Alviano Technical Communications of the 33rd International Conference on Logic …, 2018	41	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	38	2014
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	37	2012

Il sistema al momento non può eseguire l'operazione. Riprova più tardi.

Articoli 1–20

Citazioni per anno

Citazioni duplicate

Citazioni unite

Aggiungi coautoriCoautori

Segui

Citata da

Coautori