IRIS
DODARO, CARMINE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 2.541
Totale 2.541
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 2.541
Totale 2.541
Salva come PNG Salva come JPEG
Città #
Genova 1.748
Rapallo 401
Genoa 280
Vado Ligure 98
Bordighera 14
Totale 2.541
Salva come PNG Salva come JPEG
Nome #
Core-guided MaxSAT with soft cardinality constraints 135
The fourth answer set programming competition: Preliminary report 124
WASP: A native ASP solver based on constraint learning 120
Comparing alternative solutions for unfounded set propagation in ASP 120
Answer set enumeration via assumption literals 118
Cautious reasoning in ASP via minimal models and unsatisfiable cores 111
On the application of answer set programming to the conference paper assignment problem 108
Allotment problem in travel industry: A solution based on ASP 106
Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper) 105
Interactive debugging of non-ground ASP programs 103
Shared aggregate sets in answer set programming 100
Anytime answer set optimization via unsatisfiable core shrinking 88
Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis 84
An advanced answer set programming encoding for nurse scheduling 81
Advances in WASP 79
Anytime computation of cautious consequences in answer set programming 79
Completion of disjunctive logic programs 77
Operating Room Scheduling via Answer Set Programming 74
Unsatisfiable core shrinking for anytime answer set optimization 70
The ASP System DLV: Advancements and Applications 69
Nurse scheduling via answer set programming 67
KR&R approaches for robot manipulation tasks with articulated objects 59
A MaxSAT algorithm using cardinality constraints of bounded size 57
The ASP system DLV2 53
JWASP: A new Java-based ASP solver 51
ASPQ: An ASP-based 2QBF solver 50
External propagators in wasp: Preliminary report 49
Optimal Stable Model Search: Algorithms and Implementation. 47
Externally supported models for efficient computation of paracoherent answer sets 42
On the computation of paracoherent answer sets 37
An overview of ASP applications in the health-care domain 36
Deep Learning for the Generation of Heuristics in Answer Set Programming: A Case Study of Graph Coloring 23
On the Configuration of More and Less Expressive Logic Programs 19
A Two-Phase ASP Encoding for Solving Rehabilitation Scheduling 18
An ASP-based Solution to the Chemotherapy Treatment Scheduling problem 18
Solving Operating Room Scheduling Problems with Surgical Teams via Answer Set Programming 15
A Tool for Encoding Controlled Natural Language Specifications as ASP Rules. 9
Operating Room (Re)Scheduling with Bed Management via ASP 9
Totale 2.610
Salva come PNG Salva come JPEG
Categoria #
all - tutte 9.643
article - articoli 3.005
book - libri 0
conference - conferenze 6.127
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 511
Totale 19.286
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020645 0 0 30 44 52 79 110 43 52 112 86 37
2020/2021184 16 20 19 13 8 14 3 20 7 29 16 19
2021/2022401 10 19 17 77 3 38 11 93 47 30 5 51
2022/2023476 35 43 3 50 48 104 29 32 65 3 60 4
2023/2024234 10 28 8 34 20 41 22 16 6 17 13 19
2024/2025105 42 56 7 0 0 0 0 0 0 0 0 0
Totale 2.610