IRIS
DODARO, Carmine
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.207
AS - Asia 3.888
EU - Europa 2.244
SA - Sud America 1.158
AF - Africa 318
Continente sconosciuto - Info sul continente non disponibili 209
OC - Oceania 11
Totale 12.035
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.982
SG - Singapore 1.535
BR - Brasile 805
CN - Cina 666
VN - Vietnam 654
IT - Italia 610
UA - Ucraina 426
DE - Germania 404
HK - Hong Kong 211
FR - Francia 177
SN - Senegal 162
BD - Bangladesh 161
SE - Svezia 130
IN - India 118
AR - Argentina 103
CA - Canada 90
TR - Turchia 87
GB - Regno Unito 81
FI - Finlandia 76
IQ - Iraq 75
RU - Federazione Russa 71
EC - Ecuador 65
KR - Corea 62
MX - Messico 62
AT - Austria 55
ZA - Sudafrica 53
ID - Indonesia 52
VE - Venezuela 49
CO - Colombia 37
NL - Olanda 35
SA - Arabia Saudita 34
PK - Pakistan 33
BE - Belgio 32
CL - Cile 31
ES - Italia 30
PY - Paraguay 28
MY - Malesia 25
UZ - Uzbekistan 20
MA - Marocco 19
PL - Polonia 18
KE - Kenya 16
PE - Perù 16
PH - Filippine 16
RO - Romania 16
JP - Giappone 15
CZ - Repubblica Ceca 14
JO - Giordania 13
AE - Emirati Arabi Uniti 12
CR - Costa Rica 12
EG - Egitto 12
JM - Giamaica 12
PT - Portogallo 12
BO - Bolivia 11
DZ - Algeria 11
HN - Honduras 11
NI - Nicaragua 11
NP - Nepal 11
TN - Tunisia 11
UY - Uruguay 11
AU - Australia 10
AZ - Azerbaigian 10
KZ - Kazakistan 10
DO - Repubblica Dominicana 8
IL - Israele 8
LB - Libano 8
BG - Bulgaria 7
IR - Iran 7
NG - Nigeria 7
KW - Kuwait 6
PA - Panama 6
BY - Bielorussia 5
CH - Svizzera 5
CI - Costa d'Avorio 5
ET - Etiopia 5
GA - Gabon 5
GE - Georgia 5
GT - Guatemala 5
IE - Irlanda 5
KG - Kirghizistan 5
OM - Oman 5
SV - El Salvador 5
BH - Bahrain 4
HU - Ungheria 4
SI - Slovenia 4
SY - Repubblica araba siriana 4
AL - Albania 3
BA - Bosnia-Erzegovina 3
MD - Moldavia 3
NO - Norvegia 3
RS - Serbia 3
SK - Slovacchia (Repubblica Slovacca) 3
TT - Trinidad e Tobago 3
XK - ???statistics.table.value.countryCode.XK??? 3
AM - Armenia 2
AO - Angola 2
EU - Europa 2
GR - Grecia 2
GY - Guiana 2
HR - Croazia 2
KH - Cambogia 2
Totale 11.803
Salva come PNG Salva come JPEG
Città #
Singapore 587
Chandler 488
San Jose 335
Ashburn 312
Dallas 282
Council Bluffs 280
Ho Chi Minh City 221
Jacksonville 213
Hong Kong 191
Boardman 178
San Mateo 171
Beijing 170
Dakar 162
Hanoi 154
Dearborn 117
Lauterbourg 89
São Paulo 74
Rende 73
Bremen 71
Hefei 71
Lawrence 69
New York 69
Roxbury 69
Helsinki 63
Shanghai 61
Santa Clara 60
Seoul 60
The Dalles 55
Columbus 53
Florence 53
Rome 52
Des Moines 51
Los Angeles 49
Cambridge 48
Milan 48
Munich 45
Izmir 42
Rio de Janeiro 39
Grafing 37
Ottawa 37
Ogden 36
Vienna 36
Brooklyn 34
Da Nang 34
Baghdad 29
Seattle 28
Catanzaro 26
Haiphong 26
Inglewood 26
Brussels 23
Guangzhou 23
Quito 23
San Francisco 23
Belo Horizonte 21
Guayaquil 21
Frankfurt am Main 20
Chicago 19
Phoenix 19
Tashkent 19
Caracas 17
Palermo 17
Berlin 16
Biên Hòa 16
Johannesburg 16
Mumbai 16
Sanayi 16
Ann Arbor 15
Brasília 15
Kyiv 15
Toronto 15
Warsaw 15
Amsterdam 14
Cosenza 14
Curitiba 14
Lahore 14
Nairobi 14
Redwood City 14
Santiago 14
Amman 13
Bari 13
Buffalo 13
Naples 13
Thái Bình 13
Turin 13
Wilmington 13
Chennai 12
Kuala Lumpur 12
Messina 12
Pune 12
Asunción 11
Lima 11
Managua 11
Mexico City 11
Montreal 11
Nuremberg 11
Riyadh 11
Thái Nguyên 11
Tianjin 11
Baku 10
Fortaleza 10
Totale 6.330
Salva come PNG Salva come JPEG
Nome #
The ASP System DLV2 256
Nurse (Re)scheduling via answer set programming 218
An advanced answer set programming encoding for nurse scheduling 196
Evaluation of Disjunctive Programs in WASP 187
Efficiently Coupling the I-DLV Grounder with ASP Solvers 185
The ASP System DLV: Advancements and Applications 181
Algorithm Selection for Paracoherent Answer Set Computation 171
ASPQ: An ASP-based 2QBF solver 170
An ASP-based framework for operating room scheduling 159
An ASP-Based Framework for the Manipulation of Articulated Objects Using Dual-Arm Robots 158
Abstract Solvers for Computing Cautious Consequences of ASP programs 157
Advances in WASP 155
RecyBat24: a dataset for detecting lithium-ion batteries in electronic waste disposal 152
Model Enumeration via Assumption Literals 150
A formal approach for cautious reasoning in answer set programming (extended abstract) 149
Computing modular paracoherent answer sets: Preliminary result 147
An ASP based solution for operating room scheduling with surgical teams in hospital environments 147
A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size 146
Answer set enumeration via assumption literals 145
An ASP-based solution for operating room scheduling with beds management 143
Better Paracoherent Answer Sets with Less Resources 143
Allotment Problem in Travel Industry: A Solution Based on ASP 141
A Hybrid Approach to Optimization in Answer Set Programming 140
Empowering ASPQ to win in QBFEval 2018 139
Debugging of answer set programs using paracoherent reasoning 139
Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis 138
Overcoming the grounding bottleneck due to constraints in ASP solving: Constraints become propagators 137
Answer set programming in healthcare: Extended overview 134
WASP: A native ASP solver based on constraint learning 132
Enumeration of Minimal Models and MUSes in WASP 131
Completion of Disjunctive Logic Programs 130
Nuclear Medicine Scheduling via Answer Set Programming 129
Paracoherent answer set computation 129
An ASP-based Solution to the Chemotherapy Treatment Scheduling problem 129
An overview of ASP applications in the health-care domain 127
Anytime computation of cautious consequences in answer set programming 126
Data validation for answer set programming (extended abstract) 126
Shared aggregate sets in answer set programming 126
AMO-aware Aggregates in Answer Set Programming 125
Structured Declarative Language 125
Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper) 125
KR&R approaches for robot manipulation tasks with articulated objects 123
ASP and subset minimality: Enumeration, cautious reasoning and MUSes 122
Nurse scheduling via answer set programming 122
Inconsistency Proofs for ASP: The ASP-DRUPE Format 122
Partial Compilation of ASP Programs 122
The Birth of a WASP: Preliminary Report on a New ASP Solver 121
Anytime answer set optimization via unsatisfiable core shrinking 121
A Two-Phase ASP Encoding for Solving Rehabilitation Scheduling 121
Cautious reasoning in ASP via minimal models and unsatisfiable cores 120
Core-guided MaxSAT with soft cardinality constraints 120
A Framework for Risk-Aware Routing of Connected Vehicles via Artificial Intelligence 119
JWASP: A New Java-Based {ASP} Solver 118
Interactive Debugging of Non-ground ASP Programs 111
Chemotherapy treatment scheduling via answer set programming 111
A Tool for Encoding Controlled Natural Language Specifications as ASP Rules 110
The Fourth Answer Set Programming Competition: Preliminary Report 110
Reduct-based Stability Check Using Literal Assumptions 108
Deep Learning Approaches for Segmentation and Classification of Breast Ultrasound Images 107
Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search 107
Comparing alternative solutions for unfounded set propagation in ASP 104
Preliminary Report on WASP 2.0 103
External propagators in wasp: Preliminary report 103
Compilation of aggregates in ASP: Preliminary results 103
Compilation of Aggregates in ASP Systems 103
Explaining ASP-based Operating Room Schedules 103
On the Computation of Paracoherent Answer Sets 101
Optimum stable model search: algorithms and implementation 101
Data Validation Meets Answer Set Programming 101
Operating Room Scheduling via Answer Set Programming 100
Debugging non-ground ASP programs: Technique and graphical tools 99
Manipulation of Articulated Objects Using Dual-arm Robots via Answer Set Programming 99
On the implementation of weak constraints in WASP 98
ValAsp: A Tool for Data Validation in Answer Set Programming 96
Minipref: A tool for preferences in SAT 96
On the application of answer set programming to the conference paper assignment problem 95
The External Interface for Extending WASP 95
Cyclic Nurse Scheduling with ASP: Two Case Studies from Cosenza Hospitals 92
Externally supported models for efficient computation of paracoherent answer sets 92
Compilation of ASP programs: Recent developments 91
Operating Room Scheduling via Answer Set Programming: improved encoding and test on real data 90
A Tool For Reasoning Over CNL Sentences With Temporal Constructs 88
Recent Answer Set Programming Applications to Scheduling Problems in Digital Health 86
Deep Learning for the Generation of Heuristics in Answer Set Programming: A Case Study of Graph Coloring 86
Unsatisfiable core shrinking for anytime answer set optimization 85
Comparing Planning Domain Models Using Answer Set Programming 83
Scheduling Periodic Treatments via Answer Set Programming 82
Operating Room (Re)Scheduling with Bed Management via ASP 81
Compilation of Tight ASP Programs 77
Solving Rehabilitation Scheduling Problems via a Two-Phase ASP Approach 77
Solving Operating Room Scheduling Problems with Surgical Teams via Answer Set Programming 75
A dual-stage Deep Learning framework for Breast Ultrasound Image Segmentation and Classification 74
Blending Grounding and Compilation for Efficient ASP Solving 74
Managing caching strategies for stream reasoning with reinforcement learning 74
Nuclear Medicine Rescheduling Problem: A Logic-based Approach 72
LTL on Weighted Finite Traces: Formal Foundations and Algorithms 71
Rescheduling rehabilitation sessions with answer set programming 71
On the Configuration of More and Less Expressive Logic Programs 69
Operating Room Scheduling via Answer Set Programming: the Case of ASL1 Liguria 66
CNL2ASP: Converting Controlled Natural Language Sentences into ASP 55
Totale 11.869
Salva come PNG Salva come JPEG
Categoria #
all - tutte 63.842
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 63.842
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022875 0 119 10 28 79 44 22 185 11 30 120 227
2022/20231.161 117 160 16 137 175 93 8 182 113 33 85 42
2023/2024726 50 46 89 37 54 82 40 53 56 32 44 143
2024/20251.990 71 217 54 184 157 124 156 157 252 102 158 358
2025/20265.661 612 256 527 478 1.102 394 626 306 368 448 275 269
2026/2027464 317 147 0 0 0 0 0 0 0 0 0 0
Totale 12.035