DODARO, CARMINE

DODARO, CARMINE  

100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi  

Mostra records
Risultati 1 - 20 di 31 (tempo di esecuzione: 0.038 secondi).
Titolo Data di pubblicazione Autore(i) File
An advanced answer set programming encoding for nurse scheduling 1-gen-2017 Alviano, Mario; Dodaro, Carmine; Maratea, Marco
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
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
The ASP system DLV2 1-gen-2017 Alviano, Mario; Calimeri, Francesco; Dodaro, Carmine; Fuscà , Davide; Leone, Nicola; Perri, Simona; Ricca, Francesco; Veltri, Pierfrancesco; Zangari, Jessica
The ASP System DLV: Advancements and Applications 1-gen-2018 Adrian, Weronika T.; Alviano, Mario; Calimeri, Francesco; Cuteri, Bernardo; Dodaro, Carmine; Faber, Wolfgang; Fuscà, Davide; Leone, Nicola; Manna, Marco; Perri, Simona; Ricca, Francesco; Veltri, Pierfrancesco; Zangari, Jessica
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
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
The fourth answer set programming competition: Preliminary report 1-gen-2013 Alviano, Mario; Calimeri, Francesco; Charwat, Günther; Dao Tran, Minh; Dodaro, Carmine; Ianni, Giovambattista; Krennwallner, Thomas; Kronegger, Martin; Oetsch, Johannes; Pfandler, Andreas; Pührer, Jörg; Redl, Christoph; Ricca, Francesco; Schneider, Patrik; Schwengerer, Martin; Spendier, Lara Katharina; Wallner, Johannes Peter; Xiao, Guohui
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