×

zbMATH — the first resource for mathematics

Alviano, Mario

Compute Distance To:
Author ID: alviano.mario Recent zbMATH articles by "Alviano, Mario"
Published as: Alviano, M.; Alviano, Mario
External Links: MGP · ORCID
Documents Indexed: 35 Publications since 2010
Reviewing Activity: 14 Reviews

Publications by Year

Citations contained in zbMATH

25 Publications have been cited 126 times in 66 Documents Cited by Year
Advances in WASP. Zbl 06504220
Alviano, Mario; Dodaro, Carmine; Leone, Nicola; Ricca, Francesco
18
2015
Team-building with answer set programming in the Gioia-Tauro seaport. Zbl 1250.90050
Ricca, F.; Grasso, G.; Alviano, M.; Manna, M.; Lio, V.; Iiritano, S.; Leone, N.
13
2012
The ASP system DLV2. Zbl 06769663
Alviano, Mario; Calimeri, Francesco; Dodaro, Carmine; Fuscà, Davide; Leone, Nicola; Perri, Simona; Ricca, Francesco; Veltri, Pierfrancesco; Zangari, Jessica
9
2017
Anytime answer set optimization via unsatisfiable core shrinking. Zbl 1379.68033
Alviano, Mario; Dodaro, Carmine
9
2016
Anytime computation of cautious consequences in answer set programming. Zbl 1307.68012
Alviano, Mario; Dodaro, Carmine; Ricca, Francesco
8
2014
Magic sets for disjunctive Datalog programs. Zbl 1251.68051
Alviano, Mario; Faber, Wolfgang; Greco, Gianluigi; Leone, Nicola
7
2012
Rewriting recursive aggregates in answer set programming: back to monotonicity. Zbl 1379.68034
Alviano, Mario; Faber, Wolfgang; Gebser, Martin
6
2015
Disjunctive ASP with functions: decidable queries and effective computation. Zbl 1209.68086
Alviano, Mario; Faber, Wolfgang; Leone, Nicola
6
2010
Evaluation of disjunctive programs in WASP. Zbl 07115978
Alviano, Mario; Amendola, Giovanni; Dodaro, Carmine; Leone, Nicola; Maratea, Marco; Ricca, Francesco
5
2019
Complexity and compilation of GZ-aggregates in answer set programming. Zbl 1379.68035
Alviano, Mario; Leone, Nicola
5
2015
The complexity boundary of answer set programming with generalized atoms under the FLP semantics. Zbl 1405.68036
Alviano, Mario; Faber, Wolfgang
5
2013
Disjunctive Datalog with existential quantifiers: semantics, decidability, and complexity issues. Zbl 1260.68055
Alviano, Mario; Faber, Wolfgang; Leone, Nicola; Manna, Marco
5
2012
Dynamic magic sets and super-coherent answer set programs. Zbl 1215.68211
Alviano, Mario; Faber, Wolfgang
4
2011
Enhancing DLV for large-scale reasoning. Zbl 07115983
Leone, Nicola; Allocca, Carlo; Alviano, Mario; Calimeri, Francesco; Civili, Cristina; Costabile, Roberta; Fiorentino, Alessio; Fuscà, Davide; Germano, Stefano; Laboccetta, Giovanni; Cuteri, Bernardo; Manna, Marco; Perri, Simona; Reale, Kristian; Ricca, Francesco; Veltri, Pierfrancesco; Zangari, Jessica
3
2019
Model enumeration in propositional circumscription via unsatisfiable core analysis. Zbl 1422.68217
Alviano, Mario
3
2017
Fuzzy answer sets approximations. Zbl 1298.68058
Alviano, Mario; Peñaloza, Rafael
3
2013
Unfounded sets and well-founded semantics of answer set programs with aggregates. Zbl 1234.68367
Alviano, Mario; Calimeri, Francesco; Faber, Wolfgang; Leone, Nicola; Perri, Simona
3
2011
A trajectory calculus for qualitative spatial reasoning using answer set programming. Zbl 1451.68252
Baryannis, George; Tachmazidis, Ilias; Batsakis, Sotiris; Antoniou, Grigoris; Alviano, Mario; Sellis, Timos; Tsai, Pei-Wei
2
2018
Cautious reasoning in ASP via minimal models and unsatisfiable cores. Zbl 1451.68267
Alviano, Mario; Dodaro, Carmine; Järvisalo, Matti; Maratea, Marco; Previti, Alessandro
2
2018
Shared aggregate sets in answer set programming. Zbl 1451.68062
Alviano, Mario; Dodaro, Carmine; Maratea, Marco
2
2018
Evaluating answer set programming with non-convex recursive aggregates. Zbl 1374.68096
Alviano, Mario
2
2016
Complexity of super-coherence problems in ASP. Zbl 1312.68034
Alviano, Mario; Faber, Wolfgang; Woltran, Stefan
2
2014
Dynamic magic sets for programs with monotone recursive aggregates. Zbl 1239.68019
Alviano, Mario; Greco, Gianluigi; Leone, Nicola
2
2011
Enhancing magic sets with an application to ontological reasoning. Zbl 1434.68560
Alviano, Mario; Leone, Nicola; Veltri, Pierfrancesco; Zangari, Jessica
1
2019
Supportedly stable answer sets for logic programs with generalized atoms. Zbl 1365.68147
Alviano, Mario; Faber, Wolfgang
1
2015
Evaluation of disjunctive programs in WASP. Zbl 07115978
Alviano, Mario; Amendola, Giovanni; Dodaro, Carmine; Leone, Nicola; Maratea, Marco; Ricca, Francesco
5
2019
Enhancing DLV for large-scale reasoning. Zbl 07115983
Leone, Nicola; Allocca, Carlo; Alviano, Mario; Calimeri, Francesco; Civili, Cristina; Costabile, Roberta; Fiorentino, Alessio; Fuscà, Davide; Germano, Stefano; Laboccetta, Giovanni; Cuteri, Bernardo; Manna, Marco; Perri, Simona; Reale, Kristian; Ricca, Francesco; Veltri, Pierfrancesco; Zangari, Jessica
3
2019
Enhancing magic sets with an application to ontological reasoning. Zbl 1434.68560
Alviano, Mario; Leone, Nicola; Veltri, Pierfrancesco; Zangari, Jessica
1
2019
A trajectory calculus for qualitative spatial reasoning using answer set programming. Zbl 1451.68252
Baryannis, George; Tachmazidis, Ilias; Batsakis, Sotiris; Antoniou, Grigoris; Alviano, Mario; Sellis, Timos; Tsai, Pei-Wei
2
2018
Cautious reasoning in ASP via minimal models and unsatisfiable cores. Zbl 1451.68267
Alviano, Mario; Dodaro, Carmine; Järvisalo, Matti; Maratea, Marco; Previti, Alessandro
2
2018
Shared aggregate sets in answer set programming. Zbl 1451.68062
Alviano, Mario; Dodaro, Carmine; Maratea, Marco
2
2018
The ASP system DLV2. Zbl 06769663
Alviano, Mario; Calimeri, Francesco; Dodaro, Carmine; Fuscà, Davide; Leone, Nicola; Perri, Simona; Ricca, Francesco; Veltri, Pierfrancesco; Zangari, Jessica
9
2017
Model enumeration in propositional circumscription via unsatisfiable core analysis. Zbl 1422.68217
Alviano, Mario
3
2017
Anytime answer set optimization via unsatisfiable core shrinking. Zbl 1379.68033
Alviano, Mario; Dodaro, Carmine
9
2016
Evaluating answer set programming with non-convex recursive aggregates. Zbl 1374.68096
Alviano, Mario
2
2016
Advances in WASP. Zbl 06504220
Alviano, Mario; Dodaro, Carmine; Leone, Nicola; Ricca, Francesco
18
2015
Rewriting recursive aggregates in answer set programming: back to monotonicity. Zbl 1379.68034
Alviano, Mario; Faber, Wolfgang; Gebser, Martin
6
2015
Complexity and compilation of GZ-aggregates in answer set programming. Zbl 1379.68035
Alviano, Mario; Leone, Nicola
5
2015
Supportedly stable answer sets for logic programs with generalized atoms. Zbl 1365.68147
Alviano, Mario; Faber, Wolfgang
1
2015
Anytime computation of cautious consequences in answer set programming. Zbl 1307.68012
Alviano, Mario; Dodaro, Carmine; Ricca, Francesco
8
2014
Complexity of super-coherence problems in ASP. Zbl 1312.68034
Alviano, Mario; Faber, Wolfgang; Woltran, Stefan
2
2014
The complexity boundary of answer set programming with generalized atoms under the FLP semantics. Zbl 1405.68036
Alviano, Mario; Faber, Wolfgang
5
2013
Fuzzy answer sets approximations. Zbl 1298.68058
Alviano, Mario; Peñaloza, Rafael
3
2013
Team-building with answer set programming in the Gioia-Tauro seaport. Zbl 1250.90050
Ricca, F.; Grasso, G.; Alviano, M.; Manna, M.; Lio, V.; Iiritano, S.; Leone, N.
13
2012
Magic sets for disjunctive Datalog programs. Zbl 1251.68051
Alviano, Mario; Faber, Wolfgang; Greco, Gianluigi; Leone, Nicola
7
2012
Disjunctive Datalog with existential quantifiers: semantics, decidability, and complexity issues. Zbl 1260.68055
Alviano, Mario; Faber, Wolfgang; Leone, Nicola; Manna, Marco
5
2012
Dynamic magic sets and super-coherent answer set programs. Zbl 1215.68211
Alviano, Mario; Faber, Wolfgang
4
2011
Unfounded sets and well-founded semantics of answer set programs with aggregates. Zbl 1234.68367
Alviano, Mario; Calimeri, Francesco; Faber, Wolfgang; Leone, Nicola; Perri, Simona
3
2011
Dynamic magic sets for programs with monotone recursive aggregates. Zbl 1239.68019
Alviano, Mario; Greco, Gianluigi; Leone, Nicola
2
2011
Disjunctive ASP with functions: decidable queries and effective computation. Zbl 1209.68086
Alviano, Mario; Faber, Wolfgang; Leone, Nicola
6
2010
all top 5

Cited by 129 Authors

12 Alviano, Mario
9 Dodaro, Carmine
7 Ricca, Francesco
6 Leone, Nicola
6 Maratea, Marco
5 Manna, Marco
5 Zangari, Jessica
4 Amendola, Giovanni
4 Eiter, Thomas
4 Faber, Wolfgang
4 Fichte, Johannes Klaus
4 Gebser, Martin
4 Woltran, Stefan
3 De Cock, Martine
3 Greco, Sergio
3 Perri, Simona
3 Schockaert, Steven
3 Trubitsyna, Irina
3 Truszczyński, Mirosław
2 Beck, Harald
2 Calautti, Marco
2 Calimeri, Francesco
2 Cuteri, Bernardo
2 Erdem, Esra
2 Fiorentino, Alessio
2 Friedrich, Gerhard E.
2 Gottlob, Georg
2 Hecher, Markus
2 Ianni, Giovambattista
2 Lierler, Yuliya
2 Molinaro, Cristian
2 Morak, Michael
2 Pacenza, Francesco
2 Pieris, Andreas
2 Schekotihin, Konstantin
2 Schulz, Claudia
2 Taupe, Richard
2 Weinzierl, Antonius
2 You, Jia-Huai
2 Zhang, Yan
1 Alonso, José-Antonio
1 Antoniou, Grigoris
1 Arias, Joaquin
1 Asuncion, Vernon
1 Baryannis, George
1 Batsakis, Sotiris
1 Bauters, Kim
1 Béatrix, Christopher
1 Bischl, Bernd
1 Bliem, Bernhard
1 Bomanson, Jori
1 Brewka, Gerhard
1 Brochenin, Rémi
1 Carro, Manuel
1 Catalano, Gelsomina
1 Chen, Yin
1 Costabile, Roberta
1 Cuenca Grau, Bernardo
1 Dao-Tran, Minh
1 Ellmauthaler, Stefan
1 Fandinno, Jorge
1 Fink, Michael
1 Folie, Christian
1 Fréchette, Alexandre
1 Gaggl, Sarah Alice
1 Garcia, Laurent
1 Gasteiger, Philip
1 Gelfond, Michael
1 Greco, Gianluigi
1 Gupta, Gopal K.
1 Hernando, Antonio
1 Hoos, Holger H.
1 Hung, Ling-Hong
1 Hutter, Frank
1 Izmirlioglu, Yusuf
1 Janhunen, Tomi
1 Järvisalo, Matti
1 Ji, Jianmin
1 Kaminski, Mark
1 Kaminski, Roland
1 Kaufmann, Benjamin
1 Kerschke, Pascal
1 Kotthoff, Lars
1 Koubarakis, Manolis
1 Krennwallner, Thomas
1 Lefèvre, Claire
1 Leyton-Brown, Kevin
1 Lindauer, Marius
1 Linsbichler, Thomas
1 Liu, Fangfang
1 Malitsky, Yuri
1 Marchal, Kathleen
1 Marple, Kyle
1 Merhej, Elie
1 Morelli, Maria Concetta
1 Mushthofa, Mushthofa
1 Nenov, Yavor
1 Nikolaou, Charalampos
1 Ogris, Paul
1 Oztok, Umut
...and 29 more Authors

Citations by Year