IRIS
MARATEA, Marco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.388
AS - Asia 5.113
EU - Europa 2.284
SA - Sud America 1.561
AF - Africa 323
Continente sconosciuto - Info sul continente non disponibili 242
OC - Oceania 13
Totale 14.924
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.039
SG - Singapore 2.187
BR - Brasile 1.145
VN - Vietnam 911
CN - Cina 892
IT - Italia 865
UA - Ucraina 321
DE - Germania 319
FR - Francia 202
HK - Hong Kong 185
BD - Bangladesh 172
AR - Argentina 157
KR - Corea 139
CA - Canada 113
MX - Messico 99
SN - Senegal 93
FI - Finlandia 91
IN - India 88
IQ - Iraq 82
SE - Svezia 77
ZA - Sudafrica 74
GB - Regno Unito 73
TR - Turchia 71
RU - Federazione Russa 69
EC - Ecuador 62
ID - Indonesia 56
PK - Pakistan 52
VE - Venezuela 48
CO - Colombia 46
AT - Austria 39
NL - Olanda 39
CL - Cile 37
UZ - Uzbekistan 35
SA - Arabia Saudita 34
MA - Marocco 29
ES - Italia 27
KE - Kenya 25
PY - Paraguay 23
JP - Giappone 22
NI - Nicaragua 22
TN - Tunisia 22
DZ - Algeria 21
PE - Perù 21
BE - Belgio 20
MY - Malesia 20
CZ - Repubblica Ceca 19
PL - Polonia 18
AZ - Azerbaigian 17
DO - Repubblica Dominicana 16
EG - Egitto 16
JO - Giordania 16
PH - Filippine 16
RO - Romania 16
AE - Emirati Arabi Uniti 15
CR - Costa Rica 15
SV - El Salvador 15
ET - Etiopia 14
GT - Guatemala 14
JM - Giamaica 14
NP - Nepal 14
HN - Honduras 13
KZ - Kazakistan 13
LB - Libano 13
OM - Oman 13
PT - Portogallo 13
BO - Bolivia 11
AU - Australia 10
KG - Kirghizistan 10
PA - Panama 10
AL - Albania 9
UY - Uruguay 9
BA - Bosnia-Erzegovina 8
BG - Bulgaria 8
CW - ???statistics.table.value.countryCode.CW??? 8
GE - Georgia 7
NG - Nigeria 7
PS - Palestinian Territory 7
TT - Trinidad e Tobago 7
GA - Gabon 5
IE - Irlanda 5
IL - Israele 5
LT - Lituania 5
BY - Bielorussia 4
DK - Danimarca 4
GP - Guadalupe 4
GR - Grecia 4
RS - Serbia 4
SI - Slovenia 4
XK - ???statistics.table.value.countryCode.XK??? 4
CH - Svizzera 3
CI - Costa d'Avorio 3
EE - Estonia 3
HU - Ungheria 3
IR - Iran 3
MN - Mongolia 3
QA - Qatar 3
SY - Repubblica araba siriana 3
TH - Thailandia 3
AO - Angola 2
CG - Congo 2
Totale 14.654
Salva come PNG Salva come JPEG
Città #
Singapore 807
Council Bluffs 651
San Jose 633
Ashburn 569
Chandler 327
Ho Chi Minh City 313
Boardman 310
Dallas 262
Hefei 200
Hanoi 191
Beijing 189
Jacksonville 177
Hong Kong 176
Staranzano 167
New York 165
Seoul 138
Lauterbourg 134
Milan 120
Shanghai 120
São Paulo 105
San Mateo 96
Dakar 93
Dearborn 87
Los Angeles 84
Helsinki 72
Chicago 70
Munich 61
Da Nang 54
Santa Clara 52
Phoenix 51
Lawrence 50
Roxbury 50
Ogden 48
Haiphong 47
Florence 45
Columbus 43
Rome 40
Rio de Janeiro 38
Bremen 35
Rende 35
Brooklyn 34
Izmir 34
Des Moines 33
Cambridge 32
Tashkent 31
The Dalles 31
Baghdad 29
Mexico City 28
Biên Hòa 27
Miano 27
Atlanta 26
Ottawa 26
Guayaquil 25
Nairobi 24
Johannesburg 23
Naples 23
Guangzhou 22
Longmont 22
Managua 22
Montreal 22
Seattle 22
Vienna 22
Ann Arbor 21
Brasília 21
Omaha 21
Thái Bình 20
Belo Horizonte 19
Brussels 19
Catanzaro 19
Inglewood 19
San Francisco 19
Tianjin 19
Toronto 19
Dhaka 18
Hải Dương 18
Amman 16
Baku 16
Berlin 16
Lahore 16
Turku 16
Amsterdam 15
Frankfurt am Main 15
Porto Alegre 15
Quito 15
Tokyo 15
Buenos Aires 14
Quảng Ngãi 14
Salvador 14
San Salvador 14
Santiago 14
Warsaw 14
Chennai 13
London 13
Myrtle Beach 13
Sumaré 13
Addis Ababa 12
Campinas 12
Cape Town 12
Caracas 12
Nuremberg 12
Totale 8.093
Salva come PNG Salva come JPEG
Nome #
Nurse (Re)scheduling via answer set programming 229
DLV: An Advanced System for Knowledge Representation and Reasoning 214
An advanced answer set programming encoding for nurse scheduling 206
Evaluation of Disjunctive Programs in WASP 198
A multi-engine approach to answer-set programming 176
ASP-Core-2 Input Language Format 173
20th {RCRA} International workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion" 171
An ASP-Based Framework for the Manipulation of Articulated Objects Using Dual-Arm Robots 168
An ASP-based framework for operating room scheduling 168
"Backjumping and Look-back Heuristics for Disjunctive Logic Programming 167
Abstract Solvers for Computing Cautious Consequences of ASP programs 167
A formal approach for cautious reasoning in answer set programming (extended abstract) 159
An ASP based solution for operating room scheduling with surgical teams in hospital environments 154
Design and Results of the Fifth Answer Set Programming Competition 153
An ASP-based solution for operating room scheduling with beds management 152
A domain ontology for historical research documents 151
Answer set programming in healthcare: Extended overview 146
Nuclear Medicine Scheduling via Answer Set Programming 141
An ASP-based Solution to the Chemotherapy Treatment Scheduling problem 137
AMO-aware Aggregates in Answer Set Programming 136
Shared aggregate sets in answer set programming 135
An overview of ASP applications in the health-care domain 134
KR&R approaches for robot manipulation tasks with articulated objects 133
Nurse scheduling via answer set programming 131
A Framework for Risk-Aware Routing of Connected Vehicles via Artificial Intelligence 130
Cautious reasoning in ASP via minimal models and unsatisfiable cores 130
A Two-Phase ASP Encoding for Solving Rehabilitation Scheduling 129
The Sixth Answer Set Programming Competition 123
A CASP-based approach to PDDL+ planning 118
A Tool for Encoding Controlled Natural Language Specifications as ASP Rules 118
Systems, Engineering Environments, and Competitions 118
The design of the seventh answer set programming competition 117
Chemotherapy treatment scheduling via answer set programming 117
A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints 113
Evaluation techniques and systems for answer set programming: A survey 113
Explaining ASP-based Operating Room Schedules 113
A Reduction-Based Approach for Solving Disjunctive Temporal Problems with Preferences 112
Joint Proceedings of the 1st International Workshop on HYbrid Models for Coupling Deductive and Inductive ReAsoning (HYDRA 2022) and the 29th RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2022) co-located with the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022), Genova Nervi, Italy, September 5, 2022 112
Experimental evaluation of algorithms for solving problems with combinatorial explosion 110
Manipulation of Articulated Objects Using Dual-arm Robots via Answer Set Programming 109
Advances in Multi-engine ASP Solving 109
Operating Room Scheduling via Answer Set Programming 109
Look-Back Techniques and Heuristics in DLV: Implementation, Evaluation and Comparison to QBF Solvers 108
On the Relation among Answer Set Solvers 107
23rd RCRA International workshop on “Experimental evaluation of algorithms for solving problems with combinatorial explosion” 107
(In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver 104
The Seventh Answer Set Programming Competition: Design and Results 104
The Design of the Fifth Answer Set Programming Competition 102
Rescheduling master surgical schedules via answer set programming 101
A Planning-based Approach for In-Station Train Dispatching 101
A SAT-based polynomial space algorithm for answer set programming 100
Cyclic Nurse Scheduling with ASP: Two Case Studies from Cosenza Hospitals 100
Operating Room Scheduling via Answer Set Programming: improved encoding and test on real data 99
A Tool For Reasoning Over CNL Sentences With Temporal Constructs 98
A generate-and-test approach for computing "optimal" plans in SAT-based planning 96
A Pseudo-Boolean approach for solving planning problems with IPC simple preferences 96
Collaborative Robotic Manipulation: A Use Case of Articulated Objects in Three-dimensions with Gravity 96
Experimenting with Look-Back Heuristics on Hard ASP Programs 95
The Multi-Engine ASP Solver me-asp 95
Proceedings 36th International Conference on Logic Programming (Technical Communications) 95
Recent Answer Set Programming Applications to Scheduling Problems in Digital Health 94
Multi-engine ASP solving with policy adaptation 94
Comparing Planning Domain Models Using Answer Set Programming 93
Looking Back in DLV: Experiments and Comparison to QBF Solvers 93
Abstract Answer Set Solvers for Cautious Reasoning 92
A new Approach for Solving Satisfiability Problems with Qualitative Preferences 92
Operating Room (Re)Scheduling with Bed Management via ASP 91
Scheduling Periodic Treatments via Answer Set Programming 90
Multi-level Algorithm Selection for ASP 90
DLVMC: Enhanced Model Checking in DLV 90
The Design of the Sixth Answer Set Programming Competition 90
Solving Rehabilitation Scheduling Problems via a Two-Phase ASP Approach 89
Preface 89
Preface 88
Look-back Techniques for ASP Programs with Aggregates 88
Digital workflow for printability checking and prefabrication in robotic construction 3D printing based on Artificial Intelligence planning. 86
Automated Selection of Grounding Algorithm in Answer Set Programming 86
Preface 84
Nuclear Medicine Rescheduling Problem: A Logic-based Approach 84
Preface to the Special Issue on the 2022 Conference on Logic Programming and Nonmonotonic Reasoning 83
Applying Machine Learning Techniques to ASP Solving 82
Solving Operating Room Scheduling Problems with Surgical Teams via Answer Set Programming 81
On the Configuration of More and Less Expressive Logic Programs 80
Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving 79
In-Station Train Movements Prediction: from Shallow to Deep Multi Scale Models 78
Summary report of the second international competition on computational models of argumentation 78
Answer Set Programming based on Propositional Satisfiability 78
PDDL+ planning via constraint answer set programming 78
Rescheduling rehabilitation sessions with answer set programming 78
Automated Planning Encodings for the Manipulation of Articulated Objects in 3D with Gravity 77
Scheduling pre-operative assessment clinic with answer set programming 77
Operating Room Scheduling via Answer Set Programming: the Case of ASL1 Liguria 76
What's Hot in the Answer Set Programming Competition 76
An ASP-based solution to the Operating Room Scheduling with care units 75
An Efficient Hybrid Planning Framework for In-Station Train Dispatching 74
Preface 74
Evaluating search heuristics and optimization techniques in propositional satisfiability 73
Abstract solvers for Dung's argumentation frameworks 72
AI COVID-19 71
Preface 71
Totale 11.117
Salva come PNG Salva come JPEG
Categoria #
all - tutte 82.893
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 82.893
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022431 0 0 0 9 41 13 8 105 9 20 77 149
2022/2023742 73 90 9 97 100 75 4 109 81 13 53 38
2023/2024982 42 108 103 21 40 138 44 54 84 68 76 204
2024/20252.491 78 351 56 147 127 175 137 168 385 199 217 451
2025/20267.365 1.089 336 519 659 1.437 496 919 374 400 577 248 311
2026/20272.027 383 123 609 912 0 0 0 0 0 0 0 0
Totale 14.924