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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021102 0 0 0 0 0 0 0 0 0 64 3 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.097 612 256 527 478 1.102 394 626 306 368 428 0 0
Totale 11.007