Mario Alviano
Mario Alviano
Associate Professor, University of Calabria
Bestätigte E-Mail-Adresse bei mat.unical.it - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Advances in WASP
M Alviano, C Dodaro, N Leone, F Ricca
International Conference on Logic Programming and Nonmonotonic Reasoning, 40-54, 2015
1182015
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
arXiv preprint arXiv:1101.4554, 2011
1062011
WASP: A native ASP solver based on constraint learning
M Alviano, C Dodaro, W Faber, N Leone, F Ricca
International Conference on Logic Programming and Nonmonotonic Reasoning, 54-66, 2013
1042013
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, ...
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2011
802011
The disjunctive datalog system DLV
M Alviano, W Faber, N Leone, S Perri, G Pfeifer, G Terracina
International Datalog 2.0 Workshop, 282-301, 2010
722010
A MaxSAT algorithm using cardinality constraints of bounded size
M Alviano, C Dodaro, F Ricca
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
632015
The fourth answer set programming competition: Preliminary report
M Alviano, F Calimeri, G Charwat, M Dao-Tran, C Dodaro, G Ianni, ...
International Conference on Logic Programming and Nonmonotonic Reasoning, 42-53, 2013
622013
The asp system DLV2
M Alviano, F Calimeri, C Dodaro, D Fuscà, N Leone, S Perri, F Ricca, ...
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2017
582017
Magic sets for disjunctive datalog programs
M Alviano, W Faber, G Greco, N Leone
Artificial Intelligence 187, 156-192, 2012
542012
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
492010
Disjunctive ASP with functions: Decidable queries and effective computation
M Alviano, W Faber, N Leone
arXiv preprint arXiv:1007.4028, 2010
452010
Anytime answer set optimization via unsatisfiable core shrinking
M Alviano, C Dodaro
Theory and Practice of Logic Programming 16 (5-6), 533-551, 2016
372016
Anytime computation of cautious consequences in answer set programming
M Alviano, C Dodaro, F Ricca
arXiv preprint arXiv:1405.3546, 2014
352014
Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues
M Alviano, W Faber, N Leone, M Manna
arXiv preprint arXiv:1210.2316, 2012
322012
Rewriting recursive aggregates in answer set programming: back to monotonicity
M Alviano, W Faber, M Gebser
arXiv preprint arXiv:1507.03923, 2015
302015
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
292020
The complexity boundary of answer set programming with generalized atoms under the FLP semantics
M Alviano, W Faber
International Conference on Logic Programming and Nonmonotonic Reasoning, 67-72, 2013
262013
Unfounded sets and well-founded semantics of answer set programs with aggregates
M Alviano, F Calimeri, W Faber, N Leone, S Perri
Journal of Artificial Intelligence Research 42, 487-527, 2011
252011
The Birth of a WASP: Preliminary Report on a New ASP Solver.
C Dodaro, M Alviano, W Faber, N Leone, F Ricca, M Sirianni
CILC 810, 99-113, 2011
232011
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
202019
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20