Follow
Carmine Dodaro
Carmine Dodaro
Department of Mathematics and Computer Science, University of Calabria
Verified email at mat.unical.it - Homepage
Title
Cited by
Cited by
Year
Advances in WASP
M Alviano, C Dodaro, N Leone, F Ricca
International Conference on Logic Programming and Nonmonotonic Reasoning, 40-54, 2015
1462015
Core-guided MaxSAT with soft cardinality constraints
A Morgado, C Dodaro, J Marques-Silva
International Conference on Principles and Practice of Constraint …, 2014
1332014
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
1222013
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
1032017
A MaxSAT algorithm using cardinality constraints of bounded size
M Alviano, C Dodaro, F Ricca
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
842015
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
702013
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
Theory and Practice of Logic Programming 16 (5-6), 653-669, 2016
632016
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
592019
Nurse scheduling via answer set programming
C Dodaro, M Maratea
Logic Programming and Nonmonotonic Reasoning: 14th International Conference …, 2017
502017
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
482018
Anytime answer set optimization via unsatisfiable core shrinking
M Alviano, C Dodaro
Theory and Practice of Logic Programming 16 (5-6), 533-551, 2016
482016
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
432020
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
432017
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
382014
An ASP-based solution to the chemotherapy treatment scheduling problem
C Dodaro, G Galatà, A Grioni, M Maratea, M Mochi, I Porro
Theory and Practice of Logic Programming 21 (6), 835-851, 2021
332021
On the application of answer set programming to the conference paper assignment problem
G Amendola, C Dodaro, N Leone, F Ricca
AI* IA 2016 Advances in Artificial Intelligence: XVth International …, 2016
312016
Allotment problem in travel industry: A solution based on ASP
C Dodaro, N Leone, B Nardi, F Ricca
Web Reasoning and Rule Systems: 9th International Conference, RR 2015 …, 2015
302015
Nurse (re) scheduling via answer set programming
M Alviano, C Dodaro, M Maratea
Intelligenza Artificiale 12 (2), 109-124, 2018
272018
An ASP-based solution for operating room scheduling with beds management
C Dodaro, G Galatà, MK Khan, M Maratea, I Porro
Rules and Reasoning: Third International Joint Conference, RuleML+ RR 2019 …, 2019
262019
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
252011
The system can't perform the operation now. Try again later.
Articles 1–20