DODARO, CARMINE
DODARO, CARMINE
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
A MaxSAT algorithm using cardinality constraints of bounded size
2015-01-01 Alviano, Mario; Dodaro, Carmine; Ricca, Francesco
Advances in WASP
2015-01-01 Alviano, Mario; Dodaro, Carmine; Leone, Nicola; Ricca, Francesco
Allotment problem in travel industry: A solution based on ASP
2015-01-01 Dodaro, Carmine; Leone, Nicola; Nardi, Barbara; Ricca, Francesco
An advanced answer set programming encoding for nurse scheduling
2017-01-01 Alviano, Mario; Dodaro, Carmine; Maratea, Marco
An overview of ASP applications in the health-care domain
2018-01-01 Dodaro, Carmine; Galatà, Giuseppe; Maratea, Marco; Porro, Ivan
Answer set enumeration via assumption literals
2016-01-01 Alviano, Mario; Dodaro, Carmine
ASPQ: An ASP-based 2QBF solver
2016-01-01 Amendola, Giovanni; Dodaro, Carmine; Ricca, Francesco
Comparing alternative solutions for unfounded set propagation in ASP
2013-01-01 Alviano, Mario; Dodaro, Carmine; Ricca, Francesco
Completion of disjunctive logic programs
2016-01-01 Alviano, Mario; Dodaro, Carmine
Core-guided MaxSAT with soft cardinality constraints
2014-01-01 Morgado, Antonio; Dodaro, Carmine; Marques Silva, Joao
Deep Learning for the Generation of Heuristics in Answer Set Programming: A Case Study of Graph Coloring
2022-01-01 Dodaro, C.; Ilardi, D.; Oneto, L.; Ricca, F.
External propagators in wasp: Preliminary report
2016-01-01 Dodaro, Carmine; Ricca, Francesco; Schüller, Peter
Externally supported models for efficient computation of paracoherent answer sets
2018-01-01 Amendola, Giovanni; Dodaro, Carmine; Faber, Wolfgang; Ricca, Francesco
Interactive debugging of non-ground ASP programs
2015-01-01 Dodaro, Carmine; Gasteiger, Philip; Musitsch, Benjamin; Ricca, Francesco; Shchekotykhin, Kostyantyn
JWASP: A new Java-based ASP solver
2015-01-01 Alviano, Mario; Dodaro, Carmine; Ricca, Francesco
KR&R approaches for robot manipulation tasks with articulated objects
2018-01-01 Bertolucci, Riccardo; Capitanelli, Alessio; Dodaro, Carmine; Maratea, Marco; Mastrogiovanni, Fulvio; Vallati, Mauro
Nurse scheduling via answer set programming
2017-01-01 Dodaro, Carmine; Maratea, Marco
On the application of answer set programming to the conference paper assignment problem
2016-01-01 Amendola, Giovanni; Dodaro, Carmine; Leone, Nicola; Ricca, Francesco
On the computation of paracoherent answer sets
2017-01-01 Amendola, Giovanni; Dodaro, Carmine; Faber, Wolfgang; Leone, Nicola; Ricca, Francesco
Operating Room Scheduling via Answer Set Programming
2018-01-01 Dodaro, Carmine; Galatà, Giuseppe; Maratea, Marco; Porro, Ivan
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A MaxSAT algorithm using cardinality constraints of bounded size | 1-gen-2015 | Alviano, Mario; Dodaro, Carmine; Ricca, Francesco | |
| Advances in WASP | 1-gen-2015 | Alviano, Mario; Dodaro, Carmine; Leone, Nicola; Ricca, Francesco | |
| Allotment problem in travel industry: A solution based on ASP | 1-gen-2015 | Dodaro, Carmine; Leone, Nicola; Nardi, Barbara; Ricca, Francesco | |
| An advanced answer set programming encoding for nurse scheduling | 1-gen-2017 | Alviano, Mario; Dodaro, Carmine; Maratea, Marco | |
| An overview of ASP applications in the health-care domain | 1-gen-2018 | Dodaro, Carmine; Galatà, Giuseppe; Maratea, Marco; Porro, Ivan | |
| Answer set enumeration via assumption literals | 1-gen-2016 | Alviano, Mario; Dodaro, Carmine | |
| ASPQ: An ASP-based 2QBF solver | 1-gen-2016 | Amendola, Giovanni; Dodaro, Carmine; Ricca, Francesco | |
| Comparing alternative solutions for unfounded set propagation in ASP | 1-gen-2013 | Alviano, Mario; Dodaro, Carmine; Ricca, Francesco | |
| Completion of disjunctive logic programs | 1-gen-2016 | Alviano, Mario; Dodaro, Carmine | |
| Core-guided MaxSAT with soft cardinality constraints | 1-gen-2014 | Morgado, Antonio; Dodaro, Carmine; Marques Silva, Joao | |
| Deep Learning for the Generation of Heuristics in Answer Set Programming: A Case Study of Graph Coloring | 1-gen-2022 | Dodaro, C.; Ilardi, D.; Oneto, L.; Ricca, F. | |
| External propagators in wasp: Preliminary report | 1-gen-2016 | Dodaro, Carmine; Ricca, Francesco; Schüller, Peter | |
| Externally supported models for efficient computation of paracoherent answer sets | 1-gen-2018 | Amendola, Giovanni; Dodaro, Carmine; Faber, Wolfgang; Ricca, Francesco | |
| Interactive debugging of non-ground ASP programs | 1-gen-2015 | Dodaro, Carmine; Gasteiger, Philip; Musitsch, Benjamin; Ricca, Francesco; Shchekotykhin, Kostyantyn | |
| JWASP: A new Java-based ASP solver | 1-gen-2015 | Alviano, Mario; Dodaro, Carmine; Ricca, Francesco | |
| KR&R approaches for robot manipulation tasks with articulated objects | 1-gen-2018 | Bertolucci, Riccardo; Capitanelli, Alessio; Dodaro, Carmine; Maratea, Marco; Mastrogiovanni, Fulvio; Vallati, Mauro | |
| Nurse scheduling via answer set programming | 1-gen-2017 | Dodaro, Carmine; Maratea, Marco | |
| On the application of answer set programming to the conference paper assignment problem | 1-gen-2016 | Amendola, Giovanni; Dodaro, Carmine; Leone, Nicola; Ricca, Francesco | |
| On the computation of paracoherent answer sets | 1-gen-2017 | Amendola, Giovanni; Dodaro, Carmine; Faber, Wolfgang; Leone, Nicola; Ricca, Francesco | |
| Operating Room Scheduling via Answer Set Programming | 1-gen-2018 | Dodaro, Carmine; Galatà, Giuseppe; Maratea, Marco; Porro, Ivan |