Следене
Mario Alviano
Mario Alviano
Professor, University of Calabria
Потвърден имейл адрес: unical.it - Начална страница
Заглавие
Позовавания
Позовавания
Година
Advances in WASP
M Alviano, C Dodaro, N Leone, F Ricca
International Conference on Logic Programming and Nonmonotonic Reasoning, 40-54, 2015
1642015
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
1592012
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
1382017
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
1302013
A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size.
M Alviano, C Dodaro, F Ricca
IJCAI 2015, 2677-2683, 2015
922015
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
912011
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
902011
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
762019
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
752013
Magic sets for disjunctive datalog programs
M Alviano, W Faber, G Greco, N Leone
Artificial Intelligence 187, 156-192, 2012
682012
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
642018
Anytime answer set optimization via unsatisfiable core shrinking
M Alviano, C Dodaro
Theory and Practice of Logic Programming 16 (5-6), 533-551, 2016
592016
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
532010
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
522017
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
522010
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
492020
Nurse (re) scheduling via answer set programming
M Alviano, C Dodaro, M Maratea
Intelligenza Artificiale 12 (2), 109-124, 2019
422019
The pyglaf argumentation reasoner
M Alviano
Technical Communications of the 33rd International Conference on Logic …, 2018
422018
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
412015
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
402014
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20