IRIS
MARATEA, Marco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 4.947
NA - Nord America 3.514
EU - Europa 1.658
SA - Sud America 1.542
AF - Africa 321
OC - Oceania 10
Continente sconosciuto - Info sul continente non disponibili 7
Totale 11.999
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.288
SG - Singapore 2.158
BR - Brasile 1.134
VN - Vietnam 907
CN - Cina 847
DE - Germania 316
UA - Ucraina 314
IT - Italia 289
FR - Francia 194
HK - Hong Kong 181
AR - Argentina 154
KR - Corea 138
BD - Bangladesh 104
MX - Messico 96
SN - Senegal 93
FI - Finlandia 91
IN - India 86
IQ - Iraq 82
ZA - Sudafrica 74
SE - Svezia 73
TR - Turchia 70
RU - Federazione Russa 69
GB - Regno Unito 64
CA - Canada 62
EC - Ecuador 61
ID - Indonesia 54
PK - Pakistan 52
VE - Venezuela 46
CO - Colombia 45
AT - Austria 39
CL - Cile 37
UZ - Uzbekistan 35
NL - Olanda 33
SA - Arabia Saudita 33
MA - Marocco 29
ES - Italia 25
KE - Kenya 24
PY - Paraguay 23
TN - Tunisia 22
DZ - Algeria 21
BE - Belgio 20
PE - Perù 20
MY - Malesia 19
PL - Polonia 18
AZ - Azerbaigian 17
CZ - Repubblica Ceca 17
DO - Repubblica Dominicana 16
EG - Egitto 16
JO - Giordania 16
JP - Giappone 16
AE - Emirati Arabi Uniti 15
PH - Filippine 15
ET - Etiopia 14
NP - Nepal 14
KZ - Kazakistan 13
LB - Libano 13
OM - Oman 13
PT - Portogallo 12
RO - Romania 12
BO - Bolivia 11
JM - Giamaica 10
KG - Kirghizistan 10
PA - Panama 10
AL - Albania 9
NI - Nicaragua 9
UY - Uruguay 9
BA - Bosnia-Erzegovina 8
BG - Bulgaria 8
AU - Australia 7
GE - Georgia 7
GT - Guatemala 7
PS - Palestinian Territory 7
HN - Honduras 6
NG - Nigeria 6
CR - Costa Rica 5
GA - Gabon 5
IL - Israele 5
LT - Lituania 5
BY - Bielorussia 4
DK - Danimarca 4
IE - Irlanda 4
SI - Slovenia 4
XK - ???statistics.table.value.countryCode.XK??? 4
CH - Svizzera 3
CI - Costa d'Avorio 3
GR - Grecia 3
HU - Ungheria 3
IR - Iran 3
MN - Mongolia 3
QA - Qatar 3
RS - Serbia 3
SY - Repubblica araba siriana 3
AO - Angola 2
CG - Congo 2
EE - Estonia 2
EU - Europa 2
GY - Guiana 2
HR - Croazia 2
IS - Islanda 2
KW - Kuwait 2
Totale 11.966
Salva come PNG Salva come JPEG
Città #
Singapore 796
San Jose 462
Chandler 322
Ho Chi Minh City 311
Boardman 306
Ashburn 304
Dallas 258
Hefei 199
Hanoi 191
Beijing 182
Hong Kong 172
Jacksonville 167
Seoul 137
Lauterbourg 133
New York 119
Shanghai 118
São Paulo 101
San Mateo 95
Dakar 93
Dearborn 83
Helsinki 72
Los Angeles 71
Munich 61
Da Nang 53
Lawrence 49
Roxbury 49
Ogden 48
Haiphong 47
Florence 39
Rio de Janeiro 38
Bremen 35
Izmir 33
Cambridge 32
Des Moines 32
Rende 32
Tashkent 31
Baghdad 29
Brooklyn 28
The Dalles 28
Biên Hòa 27
Mexico City 27
Council Bluffs 26
Ottawa 25
Guayaquil 24
Johannesburg 23
Nairobi 23
Guangzhou 22
Ann Arbor 21
Brasília 21
Vienna 21
Santa Clara 20
Seattle 20
Thái Bình 20
Belo Horizonte 19
Brussels 19
Inglewood 19
Tianjin 19
Columbus 18
Hải Dương 18
Chicago 17
Dhaka 17
Amman 16
Baku 16
Berlin 16
Lahore 16
San Francisco 16
Turku 16
Frankfurt am Main 15
Quito 15
Amsterdam 14
Montreal 14
Porto Alegre 14
Quảng Ngãi 14
Santiago 14
Warsaw 14
Buenos Aires 13
Chennai 13
Salvador 13
Sumaré 13
Addis Ababa 12
Campinas 12
Cape Town 12
Caracas 12
Nuremberg 12
Rome 12
Tunis 12
West Jordan 12
London 11
Phoenix 11
Ribeirão Preto 11
Riyadh 11
Tokyo 11
Brno 10
Can Tho 10
Cosenza 10
Curitiba 10
Erbil 10
Karachi 10
Medellín 10
Milan 10
Totale 6.315
Salva come PNG Salva come JPEG
Nome #
Nurse (Re)scheduling via answer set programming 196
An advanced answer set programming encoding for nurse scheduling 189
DLV: An Advanced System for Knowledge Representation and Reasoning 186
Evaluation of Disjunctive Programs in WASP 180
A multi-engine approach to answer-set programming 161
ASP-Core-2 Input Language Format 159
20th {RCRA} International workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion" 157
"Backjumping and Look-back Heuristics for Disjunctive Logic Programming 154
An ASP-based framework for operating room scheduling 154
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
An ASP based solution for operating room scheduling with surgical teams in hospital environments 140
An ASP-based solution for operating room scheduling with beds management 135
Answer set programming in healthcare: Extended overview 126
Design and Results of the Fifth Answer Set Programming Competition 124
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
Nuclear Medicine Scheduling via Answer Set Programming 120
A domain ontology for historical research documents 118
KR&R approaches for robot manipulation tasks with articulated objects 118
A Two-Phase ASP Encoding for Solving Rehabilitation Scheduling 118
Cautious reasoning in ASP via minimal models and unsatisfiable cores 117
AMO-aware Aggregates in Answer Set Programming 116
A Framework for Risk-Aware Routing of Connected Vehicles via Artificial Intelligence 114
Nurse scheduling via answer set programming 113
A Tool for Encoding Controlled Natural Language Specifications as ASP Rules 109
Chemotherapy treatment scheduling via answer set programming 106
The Sixth Answer Set Programming Competition 105
A CASP-based approach to PDDL+ planning 102
The design of the seventh answer set programming competition 102
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 100
Experimental evaluation of algorithms for solving problems with combinatorial explosion 100
Explaining ASP-based Operating Room Schedules 100
Systems, Engineering Environments, and Competitions 98
Advances in Multi-engine ASP Solving 97
Operating Room Scheduling via Answer Set Programming 97
A Reduction-Based Approach for Solving Disjunctive Temporal Problems with Preferences 95
Evaluation techniques and systems for answer set programming: A survey 95
23rd RCRA International workshop on “Experimental evaluation of algorithms for solving problems with combinatorial explosion” 94
A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints 93
The Seventh Answer Set Programming Competition: Design and Results 92
Manipulation of Articulated Objects Using Dual-arm Robots via Answer Set Programming 90
(In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver 89
A SAT-based polynomial space algorithm for answer set programming 87
Look-Back Techniques and Heuristics in DLV: Implementation, Evaluation and Comparison to QBF Solvers 86
A Tool For Reasoning Over CNL Sentences With Temporal Constructs 85
The Design of the Fifth Answer Set Programming Competition 84
A Pseudo-Boolean approach for solving planning problems with IPC simple preferences 83
A Planning-based Approach for In-Station Train Dispatching 83
Multi-level Algorithm Selection for ASP 82
Multi-engine ASP solving with policy adaptation 82
Cyclic Nurse Scheduling with ASP: Two Case Studies from Cosenza Hospitals 81
A generate-and-test approach for computing "optimal" plans in SAT-based planning 81
The Design of the Sixth Answer Set Programming Competition 81
Recent Answer Set Programming Applications to Scheduling Problems in Digital Health 80
Looking Back in DLV: Experiments and Comparison to QBF Solvers 80
Operating Room Scheduling via Answer Set Programming: improved encoding and test on real data 80
Abstract Answer Set Solvers for Cautious Reasoning 79
Rescheduling master surgical schedules via answer set programming 79
Experimenting with Look-Back Heuristics on Hard ASP Programs 79
DLVMC: Enhanced Model Checking in DLV 79
The Multi-Engine ASP Solver me-asp 79
A new Approach for Solving Satisfiability Problems with Qualitative Preferences 79
Collaborative Robotic Manipulation: A Use Case of Articulated Objects in Three-dimensions with Gravity 78
Preface 78
Proceedings 36th International Conference on Logic Programming (Technical Communications) 78
Comparing Planning Domain Models Using Answer Set Programming 76
Scheduling Periodic Treatments via Answer Set Programming 76
Preface 75
Applying Machine Learning Techniques to ASP Solving 74
Automated Selection of Grounding Algorithm in Answer Set Programming 74
Preface 72
Look-back Techniques for ASP Programs with Aggregates 70
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
What's Hot in the Answer Set Programming Competition 67
Preface to the Special Issue on the 2022 Conference on Logic Programming and Nonmonotonic Reasoning 66
Summary report of the second international competition on computational models of argumentation 65
Automated Planning Encodings for the Manipulation of Articulated Objects in 3D with Gravity 65
In-Station Train Movements Prediction: from Shallow to Deep Multi Scale Models 63
Digital workflow for printability checking and prefabrication in robotic construction 3D printing based on Artificial Intelligence planning. 63
Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving 63
Rescheduling rehabilitation sessions with answer set programming 63
Preface 62
Answer Set Programming based on Propositional Satisfiability 61
On the Configuration of More and Less Expressive Logic Programs 61
Evaluating search heuristics and optimization techniques in propositional satisfiability 61
Special issue of the 24th RCRA InternationalWorkshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 60
An ASP-based solution to the Operating Room Scheduling with care units 59
Preface 57
Computational analysis of freeway traffic control based on a linearized prediction model 56
Solving Rehabilitation Scheduling Problems via a Two-Phase ASP Approach 56
Abstract Disjunctive Answer Set Solvers 56
AI COVID-19 55
Abstract solvers for Dung's argumentation frameworks 55
Translation-based approaches for solving disjunctive temporal problems with preferences 55
Preface 55
Totale 9.482
Salva come PNG Salva come JPEG
Categoria #
all - tutte 69.854
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 69.854
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202180 0 0 0 0 0 0 0 0 0 46 4 30
2021/2022511 4 74 8 6 40 13 8 105 8 20 77 148
2022/2023729 72 90 9 95 97 74 4 109 77 13 53 36
2023/2024977 39 108 103 21 40 138 44 53 84 68 76 203
2024/20252.479 77 348 56 147 127 175 137 166 384 199 216 447
2025/20266.749 1.082 335 519 657 1.434 492 914 371 400 545 0 0
Totale 12.221