IRIS
MARATEA, Marco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 5.068
NA - Nord America 3.915
EU - Europa 1.771
SA - Sud America 1.546
AF - Africa 322
OC - Oceania 12
Continente sconosciuto - Info sul continente non disponibili 7
Totale 12.641
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.671
SG - Singapore 2.180
BR - Brasile 1.137
VN - Vietnam 908
CN - Cina 879
IT - Italia 375
UA - Ucraina 321
DE - Germania 319
FR - Francia 201
HK - Hong Kong 182
BD - Bangladesh 162
AR - Argentina 154
KR - Corea 139
MX - Messico 97
SN - Senegal 93
FI - Finlandia 91
IN - India 87
IQ - Iraq 82
SE - Svezia 77
ZA - Sudafrica 74
CA - Canada 73
TR - Turchia 71
RU - Federazione Russa 69
GB - Regno Unito 66
EC - Ecuador 61
ID - Indonesia 54
PK - Pakistan 52
VE - Venezuela 46
CO - Colombia 45
AT - Austria 39
CL - Cile 37
NL - Olanda 35
UZ - Uzbekistan 35
SA - Arabia Saudita 34
MA - Marocco 29
ES - Italia 26
KE - Kenya 24
PY - Paraguay 23
TN - Tunisia 22
DZ - Algeria 21
PE - Perù 21
BE - Belgio 20
MY - Malesia 20
PL - Polonia 18
AZ - Azerbaigian 17
CZ - Repubblica Ceca 17
JP - Giappone 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
RO - Romania 12
BO - Bolivia 11
NI - Nicaragua 11
KG - Kirghizistan 10
PA - Panama 10
AL - Albania 9
AU - Australia 9
UY - Uruguay 9
BA - Bosnia-Erzegovina 8
BG - Bulgaria 8
GE - Georgia 7
GT - Guatemala 7
NG - Nigeria 7
PS - Palestinian Territory 7
HN - Honduras 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 12.607
Salva come PNG Salva come JPEG
Città #
Singapore 801
San Jose 496
Ashburn 327
Chandler 327
Ho Chi Minh City 312
Boardman 309
Dallas 261
Council Bluffs 207
Hefei 200
Hanoi 191
Beijing 186
Hong Kong 173
Jacksonville 172
Seoul 138
Lauterbourg 134
New York 128
Shanghai 119
São Paulo 101
San Mateo 95
Dakar 93
Dearborn 87
Los Angeles 78
Helsinki 72
Munich 61
Da Nang 53
Lawrence 50
Roxbury 50
Ogden 48
Haiphong 47
Columbus 43
Florence 39
Rio de Janeiro 38
Bremen 35
Rende 35
Izmir 34
Cambridge 32
Des Moines 32
Tashkent 31
Brooklyn 30
Santa Clara 30
Baghdad 29
The Dalles 29
Mexico City 28
Biên Hòa 27
Ottawa 26
Guayaquil 24
Johannesburg 23
Nairobi 23
Guangzhou 22
Ann Arbor 21
Brasília 21
Chicago 21
Seattle 21
Vienna 21
Rome 20
Thái Bình 20
Belo Horizonte 19
Brussels 19
Inglewood 19
Tianjin 19
Catanzaro 18
Hải Dương 18
Dhaka 17
San Francisco 17
Amman 16
Baku 16
Berlin 16
Lahore 16
Montreal 16
Turku 16
Frankfurt am Main 15
Milan 15
Quito 15
Amsterdam 14
Phoenix 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
Tokyo 12
Tunis 12
West Jordan 12
London 11
Managua 11
Ribeirão Preto 11
Riyadh 11
Brno 10
Can Tho 10
Cosenza 10
Curitiba 10
Erbil 10
Totale 6.684
Salva come PNG Salva come JPEG
Nome #
Nurse (Re)scheduling via answer set programming 209
An advanced answer set programming encoding for nurse scheduling 194
DLV: An Advanced System for Knowledge Representation and Reasoning 192
Evaluation of Disjunctive Programs in WASP 181
A multi-engine approach to answer-set programming 162
ASP-Core-2 Input Language Format 162
20th {RCRA} International workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion" 159
"Backjumping and Look-back Heuristics for Disjunctive Logic Programming 156
An ASP-based framework for operating room scheduling 154
An ASP-Based Framework for the Manipulation of Articulated Objects Using Dual-Arm Robots 153
Abstract Solvers for Computing Cautious Consequences of ASP programs 149
A formal approach for cautious reasoning in answer set programming (extended abstract) 148
An ASP based solution for operating room scheduling with surgical teams in hospital environments 144
An ASP-based solution for operating room scheduling with beds management 141
A domain ontology for historical research documents 140
Answer set programming in healthcare: Extended overview 130
Design and Results of the Fifth Answer Set Programming Competition 129
An ASP-based Solution to the Chemotherapy Treatment Scheduling problem 126
An overview of ASP applications in the health-care domain 125
Shared aggregate sets in answer set programming 125
Nuclear Medicine Scheduling via Answer Set Programming 124
AMO-aware Aggregates in Answer Set Programming 122
KR&R approaches for robot manipulation tasks with articulated objects 120
Nurse scheduling via answer set programming 119
A Framework for Risk-Aware Routing of Connected Vehicles via Artificial Intelligence 118
Cautious reasoning in ASP via minimal models and unsatisfiable cores 118
A Two-Phase ASP Encoding for Solving Rehabilitation Scheduling 118
The Sixth Answer Set Programming Competition 113
A Tool for Encoding Controlled Natural Language Specifications as ASP Rules 109
Chemotherapy treatment scheduling via answer set programming 109
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 104
The design of the seventh answer set programming competition 104
A CASP-based approach to PDDL+ planning 103
Systems, Engineering Environments, and Competitions 103
Experimental evaluation of algorithms for solving problems with combinatorial explosion 101
Advances in Multi-engine ASP Solving 101
Explaining ASP-based Operating Room Schedules 101
A Reduction-Based Approach for Solving Disjunctive Temporal Problems with Preferences 99
A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints 98
Operating Room Scheduling via Answer Set Programming 98
Evaluation techniques and systems for answer set programming: A survey 96
23rd RCRA International workshop on “Experimental evaluation of algorithms for solving problems with combinatorial explosion” 96
(In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver 92
On the Relation among Answer Set Solvers 92
The Seventh Answer Set Programming Competition: Design and Results 92
Manipulation of Articulated Objects Using Dual-arm Robots via Answer Set Programming 91
A SAT-based polynomial space algorithm for answer set programming 90
Cyclic Nurse Scheduling with ASP: Two Case Studies from Cosenza Hospitals 89
The Design of the Fifth Answer Set Programming Competition 89
Proceedings 36th International Conference on Logic Programming (Technical Communications) 89
Look-Back Techniques and Heuristics in DLV: Implementation, Evaluation and Comparison to QBF Solvers 88
A Tool For Reasoning Over CNL Sentences With Temporal Constructs 86
A Pseudo-Boolean approach for solving planning problems with IPC simple preferences 85
Experimenting with Look-Back Heuristics on Hard ASP Programs 85
Looking Back in DLV: Experiments and Comparison to QBF Solvers 85
Multi-engine ASP solving with policy adaptation 85
Operating Room Scheduling via Answer Set Programming: improved encoding and test on real data 85
Recent Answer Set Programming Applications to Scheduling Problems in Digital Health 84
A generate-and-test approach for computing "optimal" plans in SAT-based planning 83
A Planning-based Approach for In-Station Train Dispatching 83
Rescheduling master surgical schedules via answer set programming 82
Multi-level Algorithm Selection for ASP 82
DLVMC: Enhanced Model Checking in DLV 82
The Design of the Sixth Answer Set Programming Competition 81
Abstract Answer Set Solvers for Cautious Reasoning 80
Comparing Planning Domain Models Using Answer Set Programming 80
Collaborative Robotic Manipulation: A Use Case of Articulated Objects in Three-dimensions with Gravity 80
A new Approach for Solving Satisfiability Problems with Qualitative Preferences 80
Preface 79
The Multi-Engine ASP Solver me-asp 79
Automated Selection of Grounding Algorithm in Answer Set Programming 78
Operating Room (Re)Scheduling with Bed Management via ASP 78
Scheduling Periodic Treatments via Answer Set Programming 77
Preface 77
Look-back Techniques for ASP Programs with Aggregates 75
Applying Machine Learning Techniques to ASP Solving 75
Solving Rehabilitation Scheduling Problems via a Two-Phase ASP Approach 73
Digital workflow for printability checking and prefabrication in robotic construction 3D printing based on Artificial Intelligence planning. 73
Preface 72
Preface to the Special Issue on the 2022 Conference on Logic Programming and Nonmonotonic Reasoning 72
Solving Operating Room Scheduling Problems with Surgical Teams via Answer Set Programming 72
Nuclear Medicine Rescheduling Problem: A Logic-based Approach 71
In-Station Train Movements Prediction: from Shallow to Deep Multi Scale Models 70
PDDL+ planning via constraint answer set programming 68
What's Hot in the Answer Set Programming Competition 68
Summary report of the second international competition on computational models of argumentation 66
Answer Set Programming based on Propositional Satisfiability 66
Automated Planning Encodings for the Manipulation of Articulated Objects in 3D with Gravity 66
Rescheduling rehabilitation sessions with answer set programming 66
On the Configuration of More and Less Expressive Logic Programs 65
Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving 64
Preface 63
Evaluating search heuristics and optimization techniques in propositional satisfiability 63
An ASP-based solution to the Operating Room Scheduling with care units 62
Operating Room Scheduling via Answer Set Programming: the Case of ASL1 Liguria 61
Special issue of the 24th RCRA InternationalWorkshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 61
Abstract solvers for dung’s argumentation frameworks 60
Scheduling pre-operative assessment clinic with answer set programming 59
Preface 59
Translation-based approaches for solving disjunctive temporal problems with preferences 58
Totale 9.869
Salva come PNG Salva come JPEG
Categoria #
all - tutte 74.618
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 74.618
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202131 0 0 0 0 0 0 0 0 0 0 0 31
2021/2022518 4 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.335 1.089 336 519 659 1.437 496 919 374 400 577 248 281
Totale 12.867