Carmine Dodaro
Carmine Dodaro
Email confirmado em mat.unical.it - Página inicial
Título
Citado por
Citado por
Ano
Advances in WASP
M Alviano, C Dodaro, N Leone, F Ricca
International Conference on Logic Programming and Nonmonotonic Reasoning, 40-54, 2015
1202015
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
1052013
Core-guided MaxSAT with soft cardinality constraints
A Morgado, C Dodaro, J Marques-Silva
International Conference on Principles and Practice of Constraint …, 2014
842014
A MaxSAT algorithm using cardinality constraints of bounded size
M Alviano, C Dodaro, F Ricca
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
672015
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
652017
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
Combining answer set programming and domain heuristics for solving hard industrial problems (application paper)
C Dodaro, P Gasteiger, N Leone, B Musitsch, F Ricca, K Shchekotykhin
arXiv preprint arXiv:1608.00730, 2016
412016
Anytime answer set optimization via unsatisfiable core shrinking
M Alviano, C Dodaro
arXiv preprint arXiv:1608.00731, 2016
392016
Anytime computation of cautious consequences in answer set programming
M Alviano, C Dodaro, F Ricca
arXiv preprint arXiv:1405.3546, 2014
352014
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
312020
Allotment problem in travel industry: A solution based on ASP
C Dodaro, N Leone, B Nardi, F Ricca
International Conference on Web Reasoning and Rule Systems, 77-92, 2015
272015
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
242011
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
232019
On the application of answer set programming to the conference paper assignment problem
G Amendola, C Dodaro, N Leone, F Ricca
Conference of the Italian Association for Artificial Intelligence, 164-178, 2016
232016
Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis
B Cuteri, C Dodaro, F Ricca, P Schüller
arXiv preprint arXiv:1707.04027, 2017
212017
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 (2), 177-179, 2018
202018
An advanced answer set programming encoding for nurse scheduling
M Alviano, C Dodaro, M Maratea
Conference of the Italian Association for Artificial Intelligence, 468-482, 2017
192017
Nurse scheduling via answer set programming
C Dodaro, M Maratea
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2017
162017
On the computation of paracoherent answer sets
G Amendola, C Dodaro, W Faber, N Leone, F Ricca
Proceedings of the AAAI Conference on Artificial Intelligence 31 (1), 2017
162017
Interactive debugging of non-ground ASP programs
C Dodaro, P Gasteiger, B Musitsch, F Ricca, K Shchekotykhin
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2015
162015
O sistema não pode efectuar a operação agora. Tente novamente mais tarde.
Artigos 1–20