IRIS
MARATEA, MARCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 11.307
AS - Asia 1.244
NA - Nord America 445
SA - Sud America 129
AF - Africa 23
OC - Oceania 2
Totale 13.150
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 11.070
SG - Singapore 496
US - Stati Uniti d'America 410
CN - Cina 364
VN - Vietnam 228
FR - Francia 112
BR - Brasile 81
HK - Hong Kong 43
DE - Germania 28
JP - Giappone 24
AR - Argentina 21
CA - Canada 17
GB - Regno Unito 16
BD - Bangladesh 14
NL - Olanda 14
IN - India 12
MX - Messico 12
FI - Finlandia 10
CH - Svizzera 9
IQ - Iraq 8
EC - Ecuador 7
RU - Federazione Russa 7
PH - Filippine 6
VE - Venezuela 6
ZA - Sudafrica 6
ES - Italia 5
PK - Pakistan 5
PL - Polonia 5
TW - Taiwan 5
UA - Ucraina 5
CO - Colombia 4
JO - Giordania 4
KR - Corea 4
PY - Paraguay 4
TR - Turchia 4
UZ - Uzbekistan 4
AZ - Azerbaigian 3
BG - Bulgaria 3
CL - Cile 3
ID - Indonesia 3
IE - Irlanda 3
SA - Arabia Saudita 3
AU - Australia 2
CZ - Repubblica Ceca 2
DZ - Algeria 2
EG - Egitto 2
HN - Honduras 2
KE - Kenya 2
LT - Lituania 2
LU - Lussemburgo 2
LV - Lettonia 2
MY - Malesia 2
NG - Nigeria 2
NP - Nepal 2
PE - Perù 2
SE - Svezia 2
TH - Thailandia 2
TN - Tunisia 2
AE - Emirati Arabi Uniti 1
AL - Albania 1
AO - Angola 1
AT - Austria 1
BA - Bosnia-Erzegovina 1
BO - Bolivia 1
CR - Costa Rica 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
NI - Nicaragua 1
NO - Norvegia 1
PA - Panama 1
PS - Palestinian Territory 1
RO - Romania 1
RS - Serbia 1
SI - Slovenia 1
SN - Senegal 1
SO - Somalia 1
Totale 13.150
Salva come PNG Salva come JPEG
Città #
Genova 6.804
Genoa 2.597
Rapallo 783
Vado Ligure 783
Singapore 203
San Jose 150
Lauterbourg 98
Ho Chi Minh City 72
Ashburn 49
Hanoi 44
Beijing 38
Hong Kong 37
New York 32
Bordighera 26
Frankfurt am Main 21
Tokyo 21
Milan 17
São Paulo 16
Council Bluffs 14
Da Nang 14
Haiphong 14
Los Angeles 10
Orem 10
Amsterdam 9
Helsinki 9
Zurich 9
Biên Hòa 8
Chicago 8
Santa Clara 8
Tianjin 8
Castrolibero 7
City of London 7
Mexico City 7
Guangzhou 6
Johannesburg 5
Amman 4
Bernal Oeste 4
Buffalo 4
Montreal 4
Ninh Bình 4
Paris 4
Rio de Janeiro 4
Rome 4
Shijiazhuang 4
Toronto 4
Warsaw 4
Baghdad 3
Bologna 3
Brasília 3
Buenos Aires 3
Cardiff 3
Charlotte 3
Chennai 3
Dallas 3
Des Moines 3
Dublin 3
Guayaquil 3
Hưng Yên 3
Kyiv 3
North Bergen 3
Porto Alegre 3
Thái Bình 3
Baku 2
Bari 2
Belo Horizonte 2
Berlin 2
Boardman 2
Bogotá 2
Bắc Giang 2
Bến Tre 2
Ciudad del Este 2
Dhaka 2
Divinópolis 2
Düsseldorf 2
Huzhou 2
Hải Dương 2
Islamabad 2
Kuala Lumpur 2
Lahore 2
Madrid 2
Marseille 2
Marília 2
Miami 2
Nairobi 2
Naples 2
Niederanven 2
North Charleston 2
Nuremberg 2
Palhoça 2
Pomigliano d'Arco 2
Quito 2
Riga 2
San Francisco 2
Santiago 2
Shenzhen 2
Sorocaba 2
Stockholm 2
Sydney 2
São José dos Campos 2
Tashkent 2
Totale 12.112
Salva come PNG Salva come JPEG
Nome #
Algorithms for Solving Satisfiability Problems with Qualitative Preferences 222
SAT-Based Planning with Minimal-#actions Plans and "soft" Goals 199
(In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver 199
Cautious reasoning in ASP via minimal models and unsatisfiable cores 182
Computing All Optimal Solutions in Satisfiability Problems with Preferences 181
Abstract Solvers for Quantified Boolean Formulas and their Applications 181
A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints 179
An Experimental Study of Search Strategies and Heuristics in Answer Set Programming 174
Answer Set Programming based on Propositional Satisfiability 173
Dependent and Independent Variables in Propositional Satisfiability 164
Introducing Preferences in Planning as Satisfiability 162
On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels) 161
Over-Subscription Planning with Boolean Optimization: An Assessment of State-of-the-Art Solutions 161
A Reduction-Based Approach for Solving Disjunctive Temporal Problems with Preferences 161
Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs 159
Improving Plan Quality in SAT-Based Planning 158
Automated Selection of Grounding Algorithm in Answer Set Programming 156
Abstract solvers for dung’s argumentation frameworks 155
Solving satisfiability problems with preferences 154
An ontology for historical research documents 153
The Multi-Engine ASP Solver ME-ASP 153
Automated planning techniques for robot manipulation tasks involving articulated objects 151
Experimenting with Look-Back Heuristics for Hard ASP Programs 149
OPTSAT: A Tool for Solving SAT Related Optimization Problems 146
Evaluating search heuristics and optimization techniques in propositional satisfiability 144
An advanced answer set programming encoding for nurse scheduling 144
Evaluating Search Strategies and Heuristics for Efficient Answer Set Programming 143
TSAT++: an Open Platform for Satisfiability Modulo Theories 143
DLVMC: Enhanced Model Checking in DLV 141
Shared aggregate sets in answer set programming 141
Introducing the second international competition on computational models of argumentation 140
On the manipulation of articulated objects in human-robot cooperation scenarios 140
Advances in Multi-engine ASP Solving 139
The Sixth Answer Set Programming Competition 139
The SAT-based Approach to Separation Logic 139
Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers 138
Look-back Techniques for ASP Programs with Aggregates 138
An Action-based Approach to the Formal Specification and Automated Analysis of Business Processes under Authorization Constraints 138
Systems, Engineering Environments, and Competitions 133
Design and Results of the Fifth Answer Set Programming Competition 131
A multi-engine approach to answer-set programming 130
An ASP-Based Approach to Scheduling Pre-operative Assessment Clinic 130
A domain ontology for historical research documents 129
Abstract Answer Set Solvers for Cautious Reasoning 128
Multi-level Algorithm Selection for ASP. 128
Special issue: Selected papers from the 15th International Conference of the Italian Association for Artificial Intelligence 128
Disjunctive answer set solvers via templates 126
An ASP-Based Framework for the Manipulation of Articulated Objects Using Dual-Arm Robots 126
Experimental evaluation of algorithms for solving problems with combinatorial explosion 124
On the Relation among Answer Set Solvers 123
Translation-based approaches for solving disjunctive temporal problems with preferences 122
Solving Disjunctive Temporal Problems with Preferences using Maximum Satisfiability 120
20th RCRA International workshop on "experimental evaluation of algorithms for solving problems with combinatorial explosion" 120
The Design of the Seventh Answer Set Programming Competition 120
Operating Room Scheduling via Answer Set Programming 119
A new Approach for Solving Satisfiability Problems with Qualitative Preferences 113
Efficient Decision Procedures for the Integration of Planning and Formal Verification in Advanced Systems 113
Nurse scheduling via answer set programming 113
What should an ASP Solver output? A Multiple Position Paper 112
An experimental evaluation of Max-SAT and PB solvers on over-subscription planning problems 111
An Ontology-Based Archive for Historical Research 110
Planning as Satisfiability with IPC Simple Preferences and Action Costs 109
A generate-and-test approach for computing "optimal" plans in SAT-based planning 109
Solving Operating Room Scheduling Problems with Surgical Teams via Answer Set Programming 108
Multi-engine ASP solving with policy adaptation 108
In-Station Train Dispatching: A PDDL+ Planning Approach 108
A Planning-based Approach for In-Station Train Dispatching 105
Abstract Disjunctive Answer Set Solvers 103
Evaluation Techniques and Systems for Answer Set Programming: a Survey 103
Design and results of the Second International Competition on Computational Models of Argumentation 103
A Pseudo-Boolean approach for solving planning problems with IPC simple preferences 102
KR&R approaches for robot manipulation tasks with articulated objects 101
A SAT-based polynomial space algorithm for answer set programming 100
In-Station Train Movements Prediction: from Shallow to Deep Multi Scale Models 99
An Efficient Hybrid Planning Framework for In-Station Train Dispatching 98
A Two-Phase ASP Encoding for Solving Rehabilitation Scheduling 97
Solving Optimization Problems with DLL 94
Efficient DTPP solving with a reduction-based approach 94
Abstract Solvers for Computing Cautious Consequences of ASP programs 94
A Formal Approach for Cautious Reasoning in Answer Set Programming (Extended Abstract) 94
Special issue of the 22nd RCRA international workshop on "Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion" Preface 93
Prefazione agli Atti del Convegno Italiano di Logica Computazionale Trentesima Edizione, CILC 2015 Genova, 1-3 Luglio 2015 92
SAT-Based Answer Set Programming 91
Eighth ASPOCP International Workshop on "Answer Set Programming and Other Computing Paradigms": Preface 89
Novel Algorithms for Abstract Dialectical Frameworks based on Complexity Analysis of Subclasses and SAT Solving 89
Applying Machine Learning Techniques to ASP Solving 88
Planning as Satisfiability with Preferences 86
Computational analysis of freeway traffic control based on a linearized prediction model 84
Chemotherapy Treatment Scheduling via Answer Set Programming 84
Modeling and Reasoning about Business Processes under Authorization Constraints: a Planning-based Approach. 83
Automated Planning Encodings for the Manipulation of Articulated Objects in 3D with Gravity 83
A Simple Proof-theoretic Characterization of Stable Models: Reduction to Difference Logic and Experiments 82
Computing answer sets of a logic program via-enumeration of SAT certificates 80
An overview of ASP applications in the health-care domain 80
An ASP-based Solution for Operating Room Scheduling with Beds Management 79
Special Issue on the 30th Italian Conference on Computational Logic: CILC 2015 78
CASP Solutions for Planning in Hydrid Domains 77
A simple proof-theoretic characterization of Stable Models 73
Solving Train Load Planning Problems with Boolean Optimization 73
On the Configuration of {SAT} Formulae 73
Totale 12.395
Salva come PNG Salva come JPEG
Categoria #
all - tutte 44.136
article - articoli 13.857
book - libri 0
conference - conferenze 24.321
curatela - curatele 307
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 5.651
Totale 88.272
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021237 0 0 0 0 0 0 0 0 0 98 66 73
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/20262.970 368 72 202 275 422 332 532 162 340 265 0 0
Totale 13.398