DODARO, CARMINE
DODARO, CARMINE
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
A General Framework for Representing Controlled Natural Language Sentences and Translation to KR Formalisms
2025-01-01 Caruso, Simone; Dodaro, Carmine; Maratea, Marco; Tarzariol, Alice
A MaxSAT algorithm using cardinality constraints of bounded size
2015-01-01 Alviano, Mario; Dodaro, Carmine; Ricca, Francesco
A Tool for Encoding Controlled Natural Language Specifications as ASP Rules.
2022-01-01 Dodaro, Carmine; Maratea, Marco; Riccio, Francesco
A Tool For Reasoning Over CNL Sentences With Temporal Constructs
2024-01-01 Bruno, P.; Caruso, S.; Dodaro, C.; Maratea, M.
A Two-Phase ASP Encoding for Solving Rehabilitation Scheduling
2021-01-01 Cardellini, M.; De Nardi, P.; Dodaro, C.; Galata, G.; Giardini, A.; Maratea, M.; Porro, I.
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 ASP-based Solution to the Chemotherapy Treatment Scheduling problem
2021-01-01 Dodaro, C.; Galata, G.; Grioni, A.; Maratea, M.; Mochi, M.; Porro, I.
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
Anytime answer set optimization via unsatisfiable core shrinking
2016-01-01 Alviano, Mario; Dodaro, Carmine
Anytime computation of cautious consequences in answer set programming
2014-01-01 Alviano, Mario; Dodaro, Carmine; Ricca, Francesco
ASPQ: An ASP-based 2QBF solver
2016-01-01 Amendola, Giovanni; Dodaro, Carmine; Ricca, Francesco
Cautious reasoning in ASP via minimal models and unsatisfiable cores
2018-01-01 Mario, Alviano; Dodaro, Carmine; Matti, Järvisalo; Maratea, Marco; Alessandro, Previti
Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper)
2016-01-01 Dodaro, Carmine; Gasteiger, Philip; Leone, Nicola; Musitsch, Benjamin; Ricca, Francesco; Shchekotykhin, Kostyantyn
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
Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis
2017-01-01 Cuteri, Bernardo; Dodaro, Carmine; Ricca, Francesco; Schüller, Peter
Core-guided MaxSAT with soft cardinality constraints
2014-01-01 Morgado, Antonio; Dodaro, Carmine; Marques Silva, Joao
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A General Framework for Representing Controlled Natural Language Sentences and Translation to KR Formalisms | 1-gen-2025 | Caruso, Simone; Dodaro, Carmine; Maratea, Marco; Tarzariol, Alice | |
| A MaxSAT algorithm using cardinality constraints of bounded size | 1-gen-2015 | Alviano, Mario; Dodaro, Carmine; Ricca, Francesco | |
| A Tool for Encoding Controlled Natural Language Specifications as ASP Rules. | 1-gen-2022 | Dodaro, Carmine; Maratea, Marco; Riccio, Francesco | |
| A Tool For Reasoning Over CNL Sentences With Temporal Constructs | 1-gen-2024 | Bruno, P.; Caruso, S.; Dodaro, C.; Maratea, M. | |
| A Two-Phase ASP Encoding for Solving Rehabilitation Scheduling | 1-gen-2021 | Cardellini, M.; De Nardi, P.; Dodaro, C.; Galata, G.; Giardini, A.; Maratea, M.; Porro, I. | |
| 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 ASP-based Solution to the Chemotherapy Treatment Scheduling problem | 1-gen-2021 | Dodaro, C.; Galata, G.; Grioni, A.; Maratea, M.; Mochi, M.; Porro, I. | |
| 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 | |
| Anytime answer set optimization via unsatisfiable core shrinking | 1-gen-2016 | Alviano, Mario; Dodaro, Carmine | |
| Anytime computation of cautious consequences in answer set programming | 1-gen-2014 | Alviano, Mario; Dodaro, Carmine; Ricca, Francesco | |
| ASPQ: An ASP-based 2QBF solver | 1-gen-2016 | Amendola, Giovanni; Dodaro, Carmine; Ricca, Francesco | |
| Cautious reasoning in ASP via minimal models and unsatisfiable cores | 1-gen-2018 | Mario, Alviano; Dodaro, Carmine; Matti, Järvisalo; Maratea, Marco; Alessandro, Previti | |
| Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper) | 1-gen-2016 | Dodaro, Carmine; Gasteiger, Philip; Leone, Nicola; Musitsch, Benjamin; Ricca, Francesco; Shchekotykhin, Kostyantyn | |
| 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 | |
| Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis | 1-gen-2017 | Cuteri, Bernardo; Dodaro, Carmine; Ricca, Francesco; Schüller, Peter | |
| Core-guided MaxSAT with soft cardinality constraints | 1-gen-2014 | Morgado, Antonio; Dodaro, Carmine; Marques Silva, Joao |