IRIS
DODARO, CARMINE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 3.548
AS - Asia 197
NA - Nord America 68
SA - Sud America 17
AF - Africa 3
Totale 3.833
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 3.540
SG - Singapore 82
US - Stati Uniti d'America 64
VN - Vietnam 60
CN - Cina 42
BR - Brasile 13
HK - Hong Kong 4
AR - Argentina 3
MX - Messico 3
BD - Bangladesh 2
NL - Olanda 2
UZ - Uzbekistan 2
ZA - Sudafrica 2
AM - Armenia 1
BA - Bosnia-Erzegovina 1
DO - Repubblica Dominicana 1
GB - Regno Unito 1
GH - Ghana 1
IQ - Iraq 1
KR - Corea 1
MD - Moldavia 1
RO - Romania 1
RU - Federazione Russa 1
SA - Arabia Saudita 1
TJ - Tagikistan 1
UA - Ucraina 1
VE - Venezuela 1
Totale 3.833
Salva come PNG Salva come JPEG
Città #
Genova 1.748
Genoa 1.066
Rapallo 401
Vado Ligure 299
Singapore 34
Ashburn 29
Ho Chi Minh City 25
Bordighera 14
Beijing 11
Hanoi 7
New York 5
Haiphong 4
Hong Kong 4
Los Angeles 4
Biên Hòa 3
Da Nang 3
Hải Dương 3
The Dalles 3
Boardman 2
Denver 2
Johannesburg 2
Orem 2
Palermo 2
San Jose 2
Thái Bình 2
Tianjin 2
Vĩnh Long 2
Accra 1
Angra dos Reis 1
Atlanta 1
Buenos Aires 1
Buffalo 1
Bình Dương 1
Bắc Ninh 1
Campinas 1
Colombo 1
Des Moines 1
Dushanbe 1
Erbil 1
Farroupilha 1
Guarulhos 1
Hưng Yên 1
Iturama 1
Jizzakh 1
Lajinha 1
Longchamps 1
Lấp Vò 1
Makkah 1
Manchester 1
Marano Marchesato 1
Mexico City 1
Morelia 1
Ninh Bình 1
North Bergen 1
Osasco 1
Palhoça 1
Posadas 1
Quận Chín 1
Rio de Janeiro 1
Rome 1
Rostov-on-Don 1
Sarajevo 1
Simferopol 1
Suseong-gu 1
São Borja 1
São Paulo 1
Tashkent 1
Thái Nguyên 1
Tijuana 1
Turin 1
Valparaíso 1
Varniţa 1
West Columbia 1
Wuhan 1
Yerevan 1
Totale 3.729
Salva come PNG Salva come JPEG
Nome #
Core-guided MaxSAT with soft cardinality constraints 188
Cautious reasoning in ASP via minimal models and unsatisfiable cores 168
Answer set enumeration via assumption literals 157
Comparing alternative solutions for unfounded set propagation in ASP 154
WASP: A native ASP solver based on constraint learning 146
The fourth answer set programming competition: Preliminary report 143
Allotment problem in travel industry: A solution based on ASP 141
Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper) 139
On the application of answer set programming to the conference paper assignment problem 134
Interactive debugging of non-ground ASP programs 130
Anytime answer set optimization via unsatisfiable core shrinking 130
Shared aggregate sets in answer set programming 126
An advanced answer set programming encoding for nurse scheduling 123
Completion of disjunctive logic programs 117
Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis 117
Anytime computation of cautious consequences in answer set programming 113
Advances in WASP 108
Operating Room Scheduling via Answer Set Programming 94
A MaxSAT algorithm using cardinality constraints of bounded size 92
KR&R approaches for robot manipulation tasks with articulated objects 90
Deep Learning for the Generation of Heuristics in Answer Set Programming: A Case Study of Graph Coloring 87
JWASP: A new Java-based ASP solver 87
Nurse scheduling via answer set programming 87
Unsatisfiable core shrinking for anytime answer set optimization 86
External propagators in wasp: Preliminary report 86
ASPQ: An ASP-based 2QBF solver 85
The ASP System DLV: Advancements and Applications 80
The ASP system DLV2 78
A Two-Phase ASP Encoding for Solving Rehabilitation Scheduling 70
Optimal Stable Model Search: Algorithms and Implementation. 69
An overview of ASP applications in the health-care domain 68
Externally supported models for efficient computation of paracoherent answer sets 62
On the computation of paracoherent answer sets 58
Solving Operating Room Scheduling Problems with Surgical Teams via Answer Set Programming 56
On the Configuration of More and Less Expressive Logic Programs 50
An ASP-based Solution to the Chemotherapy Treatment Scheduling problem 50
A Tool for Encoding Controlled Natural Language Specifications as ASP Rules. 49
Operating Room (Re)Scheduling with Bed Management via ASP 44
A Tool For Reasoning Over CNL Sentences With Temporal Constructs 20
Recent Answer Set Programming Applications to Scheduling Problems in Digital Health 14
A General Framework for Representing Controlled Natural Language Sentences and Translation to KR Formalisms 9
Totale 3.905
Salva come PNG Salva come JPEG
Categoria #
all - tutte 14.424
article - articoli 4.381
book - libri 0
conference - conferenze 9.047
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 996
Totale 28.848
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021108 0 0 0 0 0 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/2025720 42 56 12 31 111 61 80 132 26 24 61 84
2025/2026680 194 20 101 83 216 66 0 0 0 0 0 0
Totale 3.905