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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022514 0 75 8 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/2027473 383 90 0 0 0 0 0 0 0 0 0 0
Totale 13.370