IRIS
MARATEA, MARCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 11.381
AS - Asia 1.321
NA - Nord America 1.114
Continente sconosciuto - Info sul continente non disponibili 253
SA - Sud America 141
AF - Africa 24
OC - Oceania 3
Totale 14.237
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 11.132
US - Stati Uniti d'America 1.037
SG - Singapore 501
CN - Cina 372
VN - Vietnam 231
FR - Francia 114
BR - Brasile 85
BD - Bangladesh 66
HK - Hong Kong 47
CA - Canada 31
DE - Germania 28
AR - Argentina 25
JP - Giappone 24
GB - Regno Unito 17
NL - Olanda 15
MX - Messico 14
IN - India 12
CH - Svizzera 10
FI - Finlandia 10
ES - Italia 9
EC - Ecuador 8
IQ - Iraq 8
JM - Giamaica 7
RU - Federazione Russa 7
TR - Turchia 7
VE - Venezuela 7
HN - Honduras 6
PH - Filippine 6
PL - Polonia 6
ZA - Sudafrica 6
CO - Colombia 5
CR - Costa Rica 5
PK - Pakistan 5
TW - Taiwan 5
UA - Ucraina 5
CL - Cile 4
JO - Giordania 4
KR - Corea 4
PY - Paraguay 4
UZ - Uzbekistan 4
AU - Australia 3
AZ - Azerbaigian 3
BG - Bulgaria 3
ID - Indonesia 3
IE - Irlanda 3
NI - Nicaragua 3
SA - Arabia Saudita 3
BA - Bosnia-Erzegovina 2
CZ - Repubblica Ceca 2
DZ - Algeria 2
EG - Egitto 2
GT - Guatemala 2
KE - Kenya 2
LT - Lituania 2
LU - Lussemburgo 2
LV - Lettonia 2
MY - Malesia 2
NG - Nigeria 2
NO - Norvegia 2
NP - Nepal 2
PE - Perù 2
SE - Svezia 2
SV - El Salvador 2
TH - Thailandia 2
TN - Tunisia 2
AE - Emirati Arabi Uniti 1
AL - Albania 1
AM - Armenia 1
AO - Angola 1
AT - Austria 1
BB - Barbados 1
BO - Bolivia 1
BS - Bahamas 1
BZ - Belize 1
CY - Cipro 1
ET - Etiopia 1
GA - Gabon 1
GR - Grecia 1
HR - Croazia 1
HU - Ungheria 1
IL - Israele 1
KG - Kirghizistan 1
KN - Saint Kitts e Nevis 1
KZ - Kazakistan 1
LB - Libano 1
LK - Sri Lanka 1
MA - Marocco 1
MN - Mongolia 1
NE - Niger 1
PA - Panama 1
PR - Porto Rico 1
PS - Palestinian Territory 1
RO - Romania 1
RS - Serbia 1
SC - Seychelles 1
SI - Slovenia 1
SN - Senegal 1
SO - Somalia 1
TT - Trinidad e Tobago 1
Totale 13.984
Salva come PNG Salva come JPEG
Città #
Genova 6.804
Genoa 2.601
Rapallo 783
Vado Ligure 783
San Jose 278
Singapore 208
Lauterbourg 98
Ashburn 91
Ho Chi Minh City 72
New York 54
Hanoi 47
Beijing 42
Hong Kong 41
Santa Clara 29
Bordighera 26
Milan 25
Frankfurt am Main 21
Tokyo 21
Chicago 20
Los Angeles 20
São Paulo 16
Council Bluffs 14
Da Nang 14
Haiphong 14
Buffalo 11
Dallas 11
Orem 10
Zurich 10
Amsterdam 9
Helsinki 9
Mexico City 9
Philadelphia 9
Biên Hòa 8
Boardman 8
Miami 8
Rome 8
Tianjin 8
Castrolibero 7
City of London 7
Las Vegas 7
Montreal 7
Naples 7
Phoenix 7
Toronto 7
Atlanta 6
Brooklyn 6
Guangzhou 6
Washington 6
Brasília 5
Charlotte 5
Johannesburg 5
Kingston 5
Plano 5
Queens 5
San Francisco 5
Amman 4
Bernal Oeste 4
Bologna 4
Colorado Springs 4
Houston 4
Istanbul 4
Kansas City 4
Ninh Bình 4
Paris 4
Rio de Janeiro 4
San Pedro Sula 4
Shijiazhuang 4
Warsaw 4
Baghdad 3
Buenos Aires 3
Cardiff 3
Chennai 3
Des Moines 3
Dublin 3
Grand Forks 3
Guayaquil 3
Hưng Yên 3
Jacksonville 3
Kyiv 3
Leander 3
Madrid 3
Managua 3
North Bergen 3
Oklahoma City 3
Palmer 3
Porto Alegre 3
San José 3
Seattle 3
Stockbridge 3
Sydney 3
Thái Bình 3
Van Nuys 3
Wilmington 3
Zanesville 3
Azusa 2
Baku 2
Baltimore 2
Bari 2
Belo Horizonte 2
Berlin 2
Totale 12.490
Salva come PNG Salva come JPEG
Nome #
Algorithms for Solving Satisfiability Problems with Qualitative Preferences 230
(In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver 207
SAT-Based Planning with Minimal-#actions Plans and "soft" Goals 206
Computing All Optimal Solutions in Satisfiability Problems with Preferences 196
A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints 191
Abstract Solvers for Quantified Boolean Formulas and their Applications 189
Cautious reasoning in ASP via minimal models and unsatisfiable cores 186
Answer Set Programming based on Propositional Satisfiability 182
An Experimental Study of Search Strategies and Heuristics in Answer Set Programming 181
Dependent and Independent Variables in Propositional Satisfiability 170
Introducing Preferences in Planning as Satisfiability 166
A Reduction-Based Approach for Solving Disjunctive Temporal Problems with Preferences 166
On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels) 165
Over-Subscription Planning with Boolean Optimization: An Assessment of State-of-the-Art Solutions 164
Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs 163
Automated Selection of Grounding Algorithm in Answer Set Programming 163
Improving Plan Quality in SAT-Based Planning 162
Solving satisfiability problems with preferences 160
Abstract solvers for dung’s argumentation frameworks 160
An ontology for historical research documents 159
The Multi-Engine ASP Solver ME-ASP 159
Automated planning techniques for robot manipulation tasks involving articulated objects 156
An advanced answer set programming encoding for nurse scheduling 156
Experimenting with Look-Back Heuristics for Hard ASP Programs 152
TSAT++: an Open Platform for Satisfiability Modulo Theories 152
OPTSAT: A Tool for Solving SAT Related Optimization Problems 151
Evaluating Search Strategies and Heuristics for Efficient Answer Set Programming 148
Evaluating search heuristics and optimization techniques in propositional satisfiability 148
On the manipulation of articulated objects in human-robot cooperation scenarios 148
Introducing the second international competition on computational models of argumentation 147
Look-back Techniques for ASP Programs with Aggregates 146
Shared aggregate sets in answer set programming 146
Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers 145
The SAT-based Approach to Separation Logic 145
Advances in Multi-engine ASP Solving 144
An Action-based Approach to the Formal Specification and Automated Analysis of Business Processes under Authorization Constraints 143
DLVMC: Enhanced Model Checking in DLV 142
The Sixth Answer Set Programming Competition 142
Systems, Engineering Environments, and Competitions 140
An ASP-Based Approach to Scheduling Pre-operative Assessment Clinic 140
A multi-engine approach to answer-set programming 138
A domain ontology for historical research documents 138
Design and Results of the Fifth Answer Set Programming Competition 137
Translation-based approaches for solving disjunctive temporal problems with preferences 137
Abstract Answer Set Solvers for Cautious Reasoning 134
Multi-level Algorithm Selection for ASP. 134
Special issue: Selected papers from the 15th International Conference of the Italian Association for Artificial Intelligence 133
Disjunctive answer set solvers via templates 132
An ASP-Based Framework for the Manipulation of Articulated Objects Using Dual-Arm Robots 130
Nurse scheduling via answer set programming 129
On the Relation among Answer Set Solvers 128
Experimental evaluation of algorithms for solving problems with combinatorial explosion 128
The Design of the Seventh Answer Set Programming Competition 127
20th RCRA International workshop on "experimental evaluation of algorithms for solving problems with combinatorial explosion" 125
Solving Disjunctive Temporal Problems with Preferences using Maximum Satisfiability 124
A new Approach for Solving Satisfiability Problems with Qualitative Preferences 123
Evaluation Techniques and Systems for Answer Set Programming: a Survey 123
Operating Room Scheduling via Answer Set Programming 122
Solving Operating Room Scheduling Problems with Surgical Teams via Answer Set Programming 118
Efficient Decision Procedures for the Integration of Planning and Formal Verification in Advanced Systems 118
In-Station Train Dispatching: A PDDL+ Planning Approach 118
An experimental evaluation of Max-SAT and PB solvers on over-subscription planning problems 117
A generate-and-test approach for computing "optimal" plans in SAT-based planning 117
A Planning-based Approach for In-Station Train Dispatching 117
What should an ASP Solver output? A Multiple Position Paper 114
KR&R approaches for robot manipulation tasks with articulated objects 113
An Ontology-Based Archive for Historical Research 112
A Pseudo-Boolean approach for solving planning problems with IPC simple preferences 112
Planning as Satisfiability with IPC Simple Preferences and Action Costs 111
Multi-engine ASP solving with policy adaptation 111
A Two-Phase ASP Encoding for Solving Rehabilitation Scheduling 110
Abstract Disjunctive Answer Set Solvers 110
An Efficient Hybrid Planning Framework for In-Station Train Dispatching 110
Design and results of the Second International Competition on Computational Models of Argumentation 109
In-Station Train Movements Prediction: from Shallow to Deep Multi Scale Models 108
A SAT-based polynomial space algorithm for answer set programming 105
Efficient DTPP solving with a reduction-based approach 101
Abstract Solvers for Computing Cautious Consequences of ASP programs 101
A Formal Approach for Cautious Reasoning in Answer Set Programming (Extended Abstract) 100
Prefazione agli Atti del Convegno Italiano di Logica Computazionale Trentesima Edizione, CILC 2015 Genova, 1-3 Luglio 2015 99
Novel Algorithms for Abstract Dialectical Frameworks based on Complexity Analysis of Subclasses and SAT Solving 98
Special issue of the 22nd RCRA international workshop on "Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion" Preface 97
Solving Optimization Problems with DLL 96
SAT-Based Answer Set Programming 95
Applying Machine Learning Techniques to ASP Solving 94
Eighth ASPOCP International Workshop on "Answer Set Programming and Other Computing Paradigms": Preface 94
Planning as Satisfiability with Preferences 93
A Simple Proof-theoretic Characterization of Stable Models: Reduction to Difference Logic and Experiments 92
Computational analysis of freeway traffic control based on a linearized prediction model 91
Chemotherapy Treatment Scheduling via Answer Set Programming 89
Modeling and Reasoning about Business Processes under Authorization Constraints: a Planning-based Approach. 88
Automated Planning Encodings for the Manipulation of Articulated Objects in 3D with Gravity 88
Computing answer sets of a logic program via-enumeration of SAT certificates 86
An overview of ASP applications in the health-care domain 86
Special Issue on the 30th Italian Conference on Computational Logic: CILC 2015 86
An ASP-based Solution for Operating Room Scheduling with Beds Management 86
CASP Solutions for Planning in Hydrid Domains 84
A simple proof-theoretic characterization of Stable Models 83
On the Configuration of {SAT} Formulae 83
An ASP-based Solution to the Chemotherapy Treatment Scheduling problem 81
Totale 13.079
Salva come PNG Salva come JPEG
Categoria #
all - tutte 48.640
article - articoli 15.293
book - libri 0
conference - conferenze 26.841
curatela - curatele 342
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 6.164
Totale 97.280
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.316 40 61 126 243 26 87 60 284 88 108 39 154
2022/2023994 117 60 12 92 132 189 44 45 191 1 107 4
2023/2024597 19 60 15 84 45 110 38 45 33 31 37 80
2024/20251.839 65 138 43 86 305 226 171 268 53 76 223 185
2025/20263.441 368 72 202 275 422 332 532 162 340 318 164 254
2026/2027368 368 0 0 0 0 0 0 0 0 0 0 0
Totale 14.237