IRIS
DODARO, Carmine
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.970
EU - Europa 1.219
AS - Asia 219
AF - Africa 161
SA - Sud America 7
OC - Oceania 5
Continente sconosciuto - Info sul continente non disponibili 2
Totale 3.583
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.922
UA - Ucraina 395
DE - Germania 293
IT - Italia 214
SN - Senegal 157
SE - Svezia 123
CN - Cina 72
TR - Turchia 65
CA - Canada 41
GB - Regno Unito 38
FI - Finlandia 37
IN - India 37
AT - Austria 33
FR - Francia 29
BE - Belgio 22
HK - Hong Kong 12
RO - Romania 11
SA - Arabia Saudita 10
KR - Corea 8
NI - Nicaragua 7
IQ - Iraq 6
AU - Australia 5
NL - Olanda 5
SG - Singapore 5
ES - Italia 4
CL - Cile 3
CZ - Repubblica Ceca 3
PT - Portogallo 3
BR - Brasile 2
EU - Europa 2
GR - Grecia 2
HU - Ungheria 2
PL - Polonia 2
UY - Uruguay 2
ZA - Sudafrica 2
AE - Emirati Arabi Uniti 1
BD - Bangladesh 1
BG - Bulgaria 1
EG - Egitto 1
IL - Israele 1
IR - Iran 1
RU - Federazione Russa 1
SC - Seychelles 1
SI - Slovenia 1
Totale 3.583
Salva come PNG Salva come JPEG
Città #
Chandler 488
Jacksonville 210
San Mateo 171
Dakar 157
Dearborn 117
Bremen 70
Lawrence 69
Roxbury 69
Ashburn 67
Florence 49
Cambridge 48
Des Moines 44
Izmir 42
Grafing 37
Helsinki 37
Ottawa 37
Ogden 36
Shanghai 33
Rende 30
Vienna 29
Inglewood 26
Seattle 26
Brooklyn 25
New York 23
Beijing 19
Brussels 18
Sanayi 16
Ann Arbor 15
Redwood City 14
Rome 12
Wilmington 12
San Francisco 11
Berlin 10
Pune 10
Kyiv 8
Seoul 8
Las Vegas 7
Los Angeles 7
Managua 7
Bucharest 6
Augsburg 5
Catanzaro 5
Cosenza 5
Genova 5
Palermo 5
Chernivtsi 4
Fremont 4
Jeddah 4
Messina 4
Potsdam 4
Toronto 4
Barcelona 3
Bari 3
Bologna 3
Chicago 3
Cirò Marina 3
Gunzenhausen 3
Jinan 3
Lisbon 3
London 3
Milan 3
Nanjing 3
Neuenkirchen 3
Paris 3
Prague 3
Reggio Calabria 3
Rochester 3
Seelze 3
Trento 3
Acqui Terme 2
Bagnara Calabra 2
Basildon 2
Bengaluru 2
Boardman 2
Cagliari 2
Canberra 2
Casalnuovo di Napoli 2
Civitavecchia 2
Dayton 2
Dresden 2
Fairfield 2
Ferrara 2
Gistel 2
Hefei 2
Hong Kong 2
Houston 2
Leawood 2
Montevideo 2
Norwalk 2
Sacile 2
Santiago 2
Sassari 2
São Paulo 2
Tirol 2
Warsaw 2
Washington 2
Zhengzhou 2
Acri 1
Airdrie 1
Almere Stad 1
Totale 2.282
Salva come PNG Salva come JPEG
Nome #
The ASP System DLV2 154
The ASP System DLV: Advancements and Applications 100
ASPQ: An ASP-based 2QBF solver 82
Nurse (Re)scheduling via answer set programming 79
An advanced answer set programming encoding for nurse scheduling 78
Evaluation of Disjunctive Programs in WASP 77
Algorithm Selection for Paracoherent Answer Set Computation 75
Empowering ASPQ to win in QBFEval 2018 70
Model Enumeration via Assumption Literals 70
Allotment Problem in Travel Industry: A Solution Based on ASP 66
An ASP-Based Framework for the Manipulation of Articulated Objects Using Dual-Arm Robots 66
Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper) 65
Anytime answer set optimization via unsatisfiable core shrinking 65
Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis 65
Data validation for answer set programming (extended abstract) 64
Anytime computation of cautious consequences in answer set programming 63
An ASP-based solution for operating room scheduling with beds management 63
Advances in WASP 62
Debugging of answer set programs using paracoherent reasoning 62
An ASP-based framework for operating room scheduling 61
Computing modular paracoherent answer sets: Preliminary result 59
Completion of Disjunctive Logic Programs 57
Shared aggregate sets in answer set programming 56
Cautious reasoning in ASP via minimal models and unsatisfiable cores 56
A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size 55
Nurse scheduling via answer set programming 55
Efficiently Coupling the I-DLV Grounder with ASP Solvers 55
A Hybrid Approach to Optimization in Answer Set Programming 54
Operating Room Scheduling via Answer Set Programming 54
Abstract Solvers for Computing Cautious Consequences of ASP programs 54
Answer set enumeration via assumption literals 53
Core-guided MaxSAT with soft cardinality constraints 52
A formal approach for cautious reasoning in answer set programming (extended abstract) 51
Better Paracoherent Answer Sets with Less Resources 50
Comparing alternative solutions for unfounded set propagation in ASP 49
Optimum stable model search: algorithms and implementation 49
Partial Compilation of ASP Programs 48
On the implementation of weak constraints in WASP 47
Reduct-based Stability Check Using Literal Assumptions 47
The Fourth Answer Set Programming Competition: Preliminary Report 47
KR&R approaches for robot manipulation tasks with articulated objects 46
An overview of ASP applications in the health-care domain 46
External propagators in wasp: Preliminary report 45
Answer set programming in healthcare: Extended overview 45
On the application of answer set programming to the conference paper assignment problem 44
Minipref: A tool for preferences in SAT 43
Explaining ASP-based Operating Room Schedules 43
On the Computation of Paracoherent Answer Sets 42
Compilation of aggregates in ASP: Preliminary results 42
The Birth of a WASP: Preliminary Report on a New ASP Solver 40
Unsatisfiable core shrinking for anytime answer set optimization 40
Overcoming the grounding bottleneck due to constraints in ASP solving: Constraints become propagators 40
Interactive Debugging of Non-ground ASP Programs 38
JWASP: A New Java-Based {ASP} Solver 38
An ASP based solution for operating room scheduling with surgical teams in hospital environments 38
Chemotherapy treatment scheduling via answer set programming 38
Inconsistency Proofs for ASP: The ASP-DRUPE Format 37
Preliminary Report on WASP 2.0 36
Data Validation Meets Answer Set Programming 36
WASP: A native ASP solver based on constraint learning 35
Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search 34
The External Interface for Extending WASP 33
An ASP-based Solution to the Chemotherapy Treatment Scheduling problem 33
Operating Room (Re)Scheduling with Bed Management via ASP 30
A Two-Phase ASP Encoding for Solving Rehabilitation Scheduling 29
Enumeration of Minimal Models and MUSes in WASP 22
A Tool for Encoding Controlled Natural Language Specifications as ASP Rules 22
ASP and subset minimality: Enumeration, cautious reasoning and MUSes 22
Manipulation of Articulated Objects Using Dual-arm Robots via Answer Set Programming 20
Managing caching strategies for stream reasoning with reinforcement learning 19
Paracoherent answer set computation 19
Compilation of Aggregates in ASP Systems 18
Solving Operating Room Scheduling Problems with Surgical Teams via Answer Set Programming 16
ValAsp: A Tool for Data Validation in Answer Set Programming 12
Deep Learning for the Generation of Heuristics in Answer Set Programming: A Case Study of Graph Coloring 9
Debugging non-ground ASP programs: Technique and graphical tools 9
Scheduling Periodic Treatments via Answer Set Programming 9
LTL on Weighted Finite Traces: Formal Foundations and Algorithms 6
Solving Rehabilitation Scheduling Problems via a Two-Phase ASP Approach 5
On the Configuration of More and Less Expressive Logic Programs 5
Externally supported models for efficient computation of paracoherent answer sets 4
Compilation of ASP programs: Recent developments 4
Operating Room Scheduling via Answer Set Programming: the Case of ASL1 Liguria 3
Rescheduling rehabilitation sessions with answer set programming 2
Totale 3.732
Salva come PNG Salva come JPEG
Categoria #
all - tutte 25.090
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 25.090
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201942 0 0 0 0 0 0 0 0 0 0 42 0
2019/2020531 32 29 46 58 35 112 38 60 8 26 58 29
2020/2021482 67 9 47 78 16 65 11 73 14 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/2024538 50 46 89 37 54 82 40 53 56 31 0 0
Totale 3.732