IRIS
DODARO, Carmine
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.852
AS - Asia 3.825
EU - Europa 2.173
SA - Sud America 1.141
AF - Africa 318
OC - Oceania 11
Continente sconosciuto - Info sul continente non disponibili 5
Totale 11.325
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.650
SG - Singapore 1.529
BR - Brasile 795
VN - Vietnam 652
CN - Cina 651
IT - Italia 545
UA - Ucraina 426
DE - Germania 404
HK - Hong Kong 208
FR - Francia 176
SN - Senegal 162
BD - Bangladesh 137
SE - Svezia 130
IN - India 113
AR - Argentina 100
TR - Turchia 87
GB - Regno Unito 80
CA - Canada 79
FI - Finlandia 76
IQ - Iraq 75
RU - Federazione Russa 71
EC - Ecuador 63
KR - Corea 62
MX - Messico 62
AT - Austria 55
ZA - Sudafrica 53
ID - Indonesia 51
VE - Venezuela 47
CO - Colombia 37
NL - Olanda 34
SA - Arabia Saudita 34
PK - Pakistan 33
BE - Belgio 32
CL - Cile 31
ES - Italia 30
PY - Paraguay 28
MY - Malesia 23
UZ - Uzbekistan 20
MA - Marocco 19
PL - Polonia 18
KE - Kenya 16
PE - Perù 16
PH - Filippine 16
RO - Romania 15
CZ - Repubblica Ceca 14
JO - Giordania 13
AE - Emirati Arabi Uniti 12
EG - Egitto 12
JP - Giappone 12
PT - Portogallo 12
BO - Bolivia 11
DZ - Algeria 11
JM - Giamaica 11
NP - Nepal 11
TN - Tunisia 11
UY - Uruguay 11
AU - Australia 10
AZ - Azerbaigian 10
KZ - Kazakistan 10
NI - Nicaragua 10
HN - Honduras 9
CR - Costa Rica 8
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
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
BH - Bahrain 4
CH - Svizzera 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
SK - Slovacchia (Repubblica Slovacca) 3
SV - El Salvador 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
QA - Qatar 2
RS - Serbia 2
Totale 11.300
Salva come PNG Salva come JPEG
Città #
Singapore 583
Chandler 488
San Jose 327
Ashburn 294
Dallas 280
Ho Chi Minh City 220
Jacksonville 213
Hong Kong 188
Boardman 178
San Mateo 171
Beijing 166
Dakar 162
Hanoi 154
Council Bluffs 133
Dearborn 117
Lauterbourg 89
Rende 73
Bremen 71
Hefei 71
Lawrence 69
Roxbury 69
São Paulo 69
Helsinki 63
New York 63
Shanghai 61
Seoul 60
Columbus 53
Florence 53
Des Moines 51
Cambridge 48
Munich 45
Los Angeles 43
Izmir 42
Rome 42
Rio de Janeiro 39
The Dalles 38
Grafing 37
Ottawa 37
Ogden 36
Santa Clara 36
Vienna 36
Da Nang 34
Brooklyn 33
Baghdad 29
Seattle 28
Haiphong 26
Inglewood 26
Catanzaro 25
Brussels 23
Guangzhou 23
Milan 23
San Francisco 23
Quito 22
Belo Horizonte 21
Guayaquil 21
Frankfurt am Main 20
Tashkent 19
Caracas 17
Palermo 17
Berlin 16
Biên Hòa 16
Johannesburg 16
Sanayi 16
Ann Arbor 15
Brasília 15
Chicago 15
Kyiv 15
Warsaw 15
Amsterdam 14
Cosenza 14
Curitiba 14
Lahore 14
Nairobi 14
Redwood City 14
Santiago 14
Amman 13
Bari 13
Thái Bình 13
Toronto 13
Turin 13
Wilmington 13
Chennai 12
Messina 12
Naples 12
Pune 12
Asunción 11
Buffalo 11
Kuala Lumpur 11
Lima 11
Mexico City 11
Montreal 11
Mumbai 11
Nuremberg 11
Riyadh 11
Thái Nguyên 11
Tianjin 11
Baku 10
Fortaleza 10
London 10
Managua 10
Totale 6.022
Salva come PNG Salva come JPEG
Nome #
The ASP System DLV2 254
Nurse (Re)scheduling via answer set programming 209
An advanced answer set programming encoding for nurse scheduling 194
Evaluation of Disjunctive Programs in WASP 181
Efficiently Coupling the I-DLV Grounder with ASP Solvers 180
The ASP System DLV: Advancements and Applications 178
Algorithm Selection for Paracoherent Answer Set Computation 170
ASPQ: An ASP-based 2QBF solver 168
An ASP-based framework for operating room scheduling 154
Advances in WASP 153
An ASP-Based Framework for the Manipulation of Articulated Objects Using Dual-Arm Robots 153
Abstract Solvers for Computing Cautious Consequences of ASP programs 149
A formal approach for cautious reasoning in answer set programming (extended abstract) 148
RecyBat24: a dataset for detecting lithium-ion batteries in electronic waste disposal 147
Model Enumeration via Assumption Literals 144
An ASP based solution for operating room scheduling with surgical teams in hospital environments 144
A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size 143
An ASP-based solution for operating room scheduling with beds management 141
Computing modular paracoherent answer sets: Preliminary result 141
Answer set enumeration via assumption literals 140
Allotment Problem in Travel Industry: A Solution Based on ASP 137
A Hybrid Approach to Optimization in Answer Set Programming 137
Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis 135
Empowering ASPQ to win in QBFEval 2018 134
Debugging of answer set programs using paracoherent reasoning 134
Better Paracoherent Answer Sets with Less Resources 132
Answer set programming in healthcare: Extended overview 130
An ASP-based Solution to the Chemotherapy Treatment Scheduling problem 126
An overview of ASP applications in the health-care domain 125
Shared aggregate sets in answer set programming 125
Nuclear Medicine Scheduling via Answer Set Programming 124
WASP: A native ASP solver based on constraint learning 124
Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper) 123
Data validation for answer set programming (extended abstract) 123
AMO-aware Aggregates in Answer Set Programming 122
Structured Declarative Language 122
Paracoherent answer set computation 122
Anytime computation of cautious consequences in answer set programming 121
Inconsistency Proofs for ASP: The ASP-DRUPE Format 121
Anytime answer set optimization via unsatisfiable core shrinking 120
KR&R approaches for robot manipulation tasks with articulated objects 120
Enumeration of Minimal Models and MUSes in WASP 119
ASP and subset minimality: Enumeration, cautious reasoning and MUSes 119
Nurse scheduling via answer set programming 119
A Framework for Risk-Aware Routing of Connected Vehicles via Artificial Intelligence 118
Cautious reasoning in ASP via minimal models and unsatisfiable cores 118
A Two-Phase ASP Encoding for Solving Rehabilitation Scheduling 118
Partial Compilation of ASP Programs 117
The Birth of a WASP: Preliminary Report on a New ASP Solver 116
JWASP: A New Java-Based {ASP} Solver 115
Core-guided MaxSAT with soft cardinality constraints 114
Overcoming the grounding bottleneck due to constraints in ASP solving: Constraints become propagators 112
Completion of Disjunctive Logic Programs 111
A Tool for Encoding Controlled Natural Language Specifications as ASP Rules 109
Chemotherapy treatment scheduling via answer set programming 109
Interactive Debugging of Non-ground ASP Programs 106
The Fourth Answer Set Programming Competition: Preliminary Report 106
Deep Learning Approaches for Segmentation and Classification of Breast Ultrasound Images 105
Reduct-based Stability Check Using Literal Assumptions 105
Comparing alternative solutions for unfounded set propagation in ASP 101
Explaining ASP-based Operating Room Schedules 101
Compilation of aggregates in ASP: Preliminary results 100
Compilation of Aggregates in ASP Systems 100
Preliminary Report on WASP 2.0 99
External propagators in wasp: Preliminary report 99
Data Validation Meets Answer Set Programming 99
Optimum stable model search: algorithms and implementation 98
Operating Room Scheduling via Answer Set Programming 98
Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search 97
On the implementation of weak constraints in WASP 95
Debugging non-ground ASP programs: Technique and graphical tools 94
On the application of answer set programming to the conference paper assignment problem 93
Minipref: A tool for preferences in SAT 93
On the Computation of Paracoherent Answer Sets 92
Manipulation of Articulated Objects Using Dual-arm Robots via Answer Set Programming 91
Externally supported models for efficient computation of paracoherent answer sets 90
The External Interface for Extending WASP 90
Cyclic Nurse Scheduling with ASP: Two Case Studies from Cosenza Hospitals 89
Compilation of ASP programs: Recent developments 88
A Tool For Reasoning Over CNL Sentences With Temporal Constructs 86
Operating Room Scheduling via Answer Set Programming: improved encoding and test on real data 85
Recent Answer Set Programming Applications to Scheduling Problems in Digital Health 84
ValAsp: A Tool for Data Validation in Answer Set Programming 84
Unsatisfiable core shrinking for anytime answer set optimization 83
Comparing Planning Domain Models Using Answer Set Programming 80
Operating Room (Re)Scheduling with Bed Management via ASP 78
Deep Learning for the Generation of Heuristics in Answer Set Programming: A Case Study of Graph Coloring 77
Scheduling Periodic Treatments via Answer Set Programming 77
Compilation of Tight ASP Programs 75
Solving Rehabilitation Scheduling Problems via a Two-Phase ASP Approach 73
Solving Operating Room Scheduling Problems with Surgical Teams via Answer Set Programming 72
Nuclear Medicine Rescheduling Problem: A Logic-based Approach 71
Blending Grounding and Compilation for Efficient ASP Solving 70
LTL on Weighted Finite Traces: Formal Foundations and Algorithms 70
A dual-stage Deep Learning framework for Breast Ultrasound Image Segmentation and Classification 69
Managing caching strategies for stream reasoning with reinforcement learning 67
Rescheduling rehabilitation sessions with answer set programming 66
On the Configuration of More and Less Expressive Logic Programs 65
Operating Room Scheduling via Answer Set Programming: the Case of ASL1 Liguria 61
CNL2ASP: Converting Controlled Natural Language Sentences into ASP 50
Totale 11.434
Salva come PNG Salva come JPEG
Categoria #
all - tutte 61.294
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 61.294
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202135 0 0 0 0 0 0 0 0 0 0 0 35
2021/2022876 1 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.618 612 256 527 478 1.102 394 626 306 368 448 275 226
Totale 11.528