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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021195 0 0 0 0 0 51 5 53 6 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/20264.307 1.082 335 519 657 1.434 280 0 0 0 0 0 0
Totale 9.779