IRIS
DODARO, CARMINE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 3.668
AS - Asia 521
NA - Nord America 284
SA - Sud America 48
AF - Africa 13
OC - Oceania 1
Totale 4.535
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 3.581
US - Stati Uniti d'America 271
SG - Singapore 202
CN - Cina 137
VN - Vietnam 111
FR - Francia 41
BR - Brasile 31
HK - Hong Kong 24
DE - Germania 15
JP - Giappone 11
BD - Bangladesh 8
MX - Messico 7
NL - Olanda 7
AR - Argentina 6
GB - Regno Unito 6
IQ - Iraq 4
TR - Turchia 4
ZA - Sudafrica 4
ES - Italia 3
FI - Finlandia 3
IN - India 3
CA - Canada 2
CO - Colombia 2
EC - Ecuador 2
GH - Ghana 2
ID - Indonesia 2
NP - Nepal 2
PE - Perù 2
PH - Filippine 2
RO - Romania 2
UZ - Uzbekistan 2
VE - Venezuela 2
AM - Armenia 1
AO - Angola 1
AU - Australia 1
BA - Bosnia-Erzegovina 1
BG - Bulgaria 1
BO - Bolivia 1
CL - Cile 1
CR - Costa Rica 1
DO - Repubblica Dominicana 1
DZ - Algeria 1
EG - Egitto 1
GA - Gabon 1
GR - Grecia 1
HN - Honduras 1
HR - Croazia 1
IE - Irlanda 1
KE - Kenya 1
KH - Cambogia 1
KR - Corea 1
LT - Lituania 1
MD - Moldavia 1
MR - Mauritania 1
MY - Malesia 1
NG - Nigeria 1
PA - Panama 1
PK - Pakistan 1
PY - Paraguay 1
RU - Federazione Russa 1
SA - Arabia Saudita 1
SE - Svezia 1
TH - Thailandia 1
TJ - Tagikistan 1
TW - Taiwan 1
UA - Ucraina 1
Totale 4.535
Salva come PNG Salva come JPEG
Città #
Genova 1.748
Genoa 1.067
Rapallo 401
Vado Ligure 299
Singapore 96
San Jose 84
Ashburn 83
Ho Chi Minh City 36
Lauterbourg 35
Hanoi 25
Hong Kong 22
Bordighera 14
Frankfurt am Main 12
Beijing 11
Tokyo 11
Milan 10
New York 9
Castrolibero 7
Council Bluffs 7
Los Angeles 7
Haiphong 6
Amsterdam 5
Boardman 5
Da Nang 5
Orem 5
Rome 5
Santa Clara 5
The Dalles 5
Biên Hòa 4
Shijiazhuang 4
Chicago 3
Des Moines 3
Helsinki 3
Hải Dương 3
Johannesburg 3
Palermo 3
Turin 3
Vibo Valentia 3
Accra 2
Baghdad 2
Berlin 2
Brasília 2
Bắc Ninh 2
Campinas 2
Cardiff 2
City of London 2
Da Lat 2
Dallas 2
Denver 2
Mexico City 2
North Bergen 2
Piscataway 2
Rio de Janeiro 2
San Francisco 2
Shenzhen 2
São Paulo 2
Thái Bình 2
Tianjin 2
Vĩnh Long 2
Acapulco de Juárez 1
Adana 1
Angra dos Reis 1
Annapolis 1
Apizaco 1
Arroio Grande 1
Asunción 1
Atlanta 1
Barretos 1
Benito Juarez 1
Blida 1
Bogotá 1
Buenos Aires 1
Buffalo 1
Bình Dương 1
Cairo 1
Caracas 1
Cascavel 1
Changsha 1
Colombo 1
Cuenca 1
Dhaka 1
Don Torcuato 1
Dublin 1
Durban 1
Dushanbe 1
Edremit 1
El Cajon 1
Erbil 1
Farroupilha 1
General La Madrid 1
Guangzhou 1
Guarulhos 1
Hemet 1
Honolulu 1
Houston 1
Huzhou 1
Hưng Yên 1
Irwin 1
Iturama 1
Izmir 1
Totale 4.140
Salva come PNG Salva come JPEG
Nome #
Core-guided MaxSAT with soft cardinality constraints 205
Cautious reasoning in ASP via minimal models and unsatisfiable cores 182
Answer set enumeration via assumption literals 172
Comparing alternative solutions for unfounded set propagation in ASP 165
WASP: A native ASP solver based on constraint learning 164
Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper) 160
Interactive debugging of non-ground ASP programs 159
The fourth answer set programming competition: Preliminary report 157
On the application of answer set programming to the conference paper assignment problem 157
Allotment problem in travel industry: A solution based on ASP 153
Anytime answer set optimization via unsatisfiable core shrinking 153
An advanced answer set programming encoding for nurse scheduling 144
Shared aggregate sets in answer set programming 141
Completion of disjunctive logic programs 132
Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis 130
Anytime computation of cautious consequences in answer set programming 129
Deep Learning for the Generation of Heuristics in Answer Set Programming: A Case Study of Graph Coloring 127
Advances in WASP 120
Operating Room Scheduling via Answer Set Programming 119
Nurse scheduling via answer set programming 113
Solving Operating Room Scheduling Problems with Surgical Teams via Answer Set Programming 108
A MaxSAT algorithm using cardinality constraints of bounded size 106
Unsatisfiable core shrinking for anytime answer set optimization 101
KR&R approaches for robot manipulation tasks with articulated objects 101
The ASP system DLV2 98
JWASP: A new Java-based ASP solver 98
A Two-Phase ASP Encoding for Solving Rehabilitation Scheduling 97
External propagators in wasp: Preliminary report 97
ASPQ: An ASP-based 2QBF solver 94
The ASP System DLV: Advancements and Applications 92
An overview of ASP applications in the health-care domain 80
Optimal Stable Model Search: Algorithms and Implementation. 76
Externally supported models for efficient computation of paracoherent answer sets 73
A Tool for Encoding Controlled Natural Language Specifications as ASP Rules. 72
An ASP-based Solution to the Chemotherapy Treatment Scheduling problem 72
On the computation of paracoherent answer sets 64
Operating Room (Re)Scheduling with Bed Management via ASP 60
On the Configuration of More and Less Expressive Logic Programs 60
A Tool For Reasoning Over CNL Sentences With Temporal Constructs 36
Recent Answer Set Programming Applications to Scheduling Problems in Digital Health 21
A General Framework for Representing Controlled Natural Language Sentences and Translation to KR Formalisms 19
Totale 4.607
Salva come PNG Salva come JPEG
Categoria #
all - tutte 15.432
article - articoli 4.620
book - libri 0
conference - conferenze 9.654
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.158
Totale 30.864
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202164 0 0 0 0 0 0 0 0 0 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/2025720 42 56 12 31 111 61 80 132 26 24 61 84
2025/20261.382 194 20 101 83 216 161 278 70 162 97 0 0
Totale 4.607