IRIS
MARATEA, MARCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 11.343
AS - Asia 1.272
NA - Nord America 734
SA - Sud America 129
AF - Africa 23
OC - Oceania 3
Totale 13.504
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 11.104
US - Stati Uniti d'America 686
SG - Singapore 501
CN - Cina 370
VN - Vietnam 228
FR - Francia 112
BR - Brasile 81
HK - Hong Kong 46
BD - Bangladesh 28
DE - Germania 28
JP - Giappone 24
CA - Canada 22
AR - Argentina 21
GB - Regno Unito 16
NL - Olanda 15
MX - Messico 14
IN - India 12
CH - Svizzera 10
FI - Finlandia 10
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
AU - Australia 3
AZ - Azerbaigian 3
BG - Bulgaria 3
CL - Cile 3
ID - Indonesia 3
IE - Irlanda 3
JM - Giamaica 3
SA - Arabia Saudita 3
CR - Costa Rica 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
BB - Barbados 1
BO - Bolivia 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
SV - El Salvador 1
Totale 13.504
Salva come PNG Salva come JPEG
Città #
Genova 6.804
Genoa 2.600
Rapallo 783
Vado Ligure 783
San Jose 265
Singapore 208
Lauterbourg 98
Ho Chi Minh City 72
Ashburn 63
New York 50
Hanoi 44
Beijing 42
Hong Kong 40
Bordighera 26
Frankfurt am Main 21
Tokyo 21
Milan 18
São Paulo 16
Council Bluffs 14
Da Nang 14
Haiphong 14
Los Angeles 13
Santa Clara 13
Orem 10
Zurich 10
Amsterdam 9
Buffalo 9
Chicago 9
Helsinki 9
Mexico City 9
Biên Hòa 8
Boardman 8
Tianjin 8
Castrolibero 7
City of London 7
Naples 7
Guangzhou 6
Montreal 6
Rome 6
Johannesburg 5
Toronto 5
Amman 4
Bernal Oeste 4
Bologna 4
Charlotte 4
Miami 4
Ninh Bình 4
Paris 4
Rio de Janeiro 4
Shijiazhuang 4
Warsaw 4
Baghdad 3
Brasília 3
Buenos Aires 3
Cardiff 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
San Francisco 3
Seattle 3
Sydney 3
Thái Bình 3
Zanesville 3
Atlanta 2
Baku 2
Bari 2
Belo Horizonte 2
Berlin 2
Bogotá 2
Brooklyn 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
Kingston 2
Kuala Lumpur 2
Lahore 2
Madrid 2
Marseille 2
Marília 2
Nairobi 2
Niederanven 2
North Charleston 2
Nuremberg 2
Oklahoma City 2
Palhoça 2
Phoenix 2
Piscataway 2
Pomigliano d'Arco 2
Totale 12.316
Salva come PNG Salva come JPEG
Nome #
Algorithms for Solving Satisfiability Problems with Qualitative Preferences 225
SAT-Based Planning with Minimal-#actions Plans and "soft" Goals 202
(In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver 201
Abstract Solvers for Quantified Boolean Formulas and their Applications 185
Computing All Optimal Solutions in Satisfiability Problems with Preferences 183
A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints 183
Cautious reasoning in ASP via minimal models and unsatisfiable cores 183
Answer Set Programming based on Propositional Satisfiability 179
An Experimental Study of Search Strategies and Heuristics in Answer Set Programming 178
Dependent and Independent Variables in Propositional Satisfiability 168
Introducing Preferences in Planning as Satisfiability 165
A Reduction-Based Approach for Solving Disjunctive Temporal Problems with Preferences 165
On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels) 162
Over-Subscription Planning with Boolean Optimization: An Assessment of State-of-the-Art Solutions 162
Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs 161
Improving Plan Quality in SAT-Based Planning 161
Automated Selection of Grounding Algorithm in Answer Set Programming 160
Abstract solvers for dung’s argumentation frameworks 158
Solving satisfiability problems with preferences 156
The Multi-Engine ASP Solver ME-ASP 155
An ontology for historical research documents 154
Automated planning techniques for robot manipulation tasks involving articulated objects 152
Experimenting with Look-Back Heuristics for Hard ASP Programs 150
OPTSAT: A Tool for Solving SAT Related Optimization Problems 148
An advanced answer set programming encoding for nurse scheduling 148
TSAT++: an Open Platform for Satisfiability Modulo Theories 147
Evaluating Search Strategies and Heuristics for Efficient Answer Set Programming 145
Evaluating search heuristics and optimization techniques in propositional satisfiability 145
Introducing the second international competition on computational models of argumentation 143
On the manipulation of articulated objects in human-robot cooperation scenarios 143
DLVMC: Enhanced Model Checking in DLV 142
Advances in Multi-engine ASP Solving 142
The SAT-based Approach to Separation Logic 142
Shared aggregate sets in answer set programming 142
Look-back Techniques for ASP Programs with Aggregates 141
The Sixth Answer Set Programming Competition 141
Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers 140
An Action-based Approach to the Formal Specification and Automated Analysis of Business Processes under Authorization Constraints 139
Design and Results of the Fifth Answer Set Programming Competition 136
Systems, Engineering Environments, and Competitions 135
An ASP-Based Approach to Scheduling Pre-operative Assessment Clinic 135
A domain ontology for historical research documents 133
A multi-engine approach to answer-set programming 132
Multi-level Algorithm Selection for ASP. 130
Special issue: Selected papers from the 15th International Conference of the Italian Association for Artificial Intelligence 130
Abstract Answer Set Solvers for Cautious Reasoning 129
An ASP-Based Framework for the Manipulation of Articulated Objects Using Dual-Arm Robots 128
Disjunctive answer set solvers via templates 127
Translation-based approaches for solving disjunctive temporal problems with preferences 126
Experimental evaluation of algorithms for solving problems with combinatorial explosion 125
On the Relation among Answer Set Solvers 124
The Design of the Seventh Answer Set Programming Competition 124
20th RCRA International workshop on "experimental evaluation of algorithms for solving problems with combinatorial explosion" 123
Solving Disjunctive Temporal Problems with Preferences using Maximum Satisfiability 122
Operating Room Scheduling via Answer Set Programming 122
Nurse scheduling via answer set programming 121
A new Approach for Solving Satisfiability Problems with Qualitative Preferences 117
An experimental evaluation of Max-SAT and PB solvers on over-subscription planning problems 116
Efficient Decision Procedures for the Integration of Planning and Formal Verification in Advanced Systems 115
What should an ASP Solver output? A Multiple Position Paper 114
In-Station Train Dispatching: A PDDL+ Planning Approach 114
A generate-and-test approach for computing "optimal" plans in SAT-based planning 113
Solving Operating Room Scheduling Problems with Surgical Teams via Answer Set Programming 112
Planning as Satisfiability with IPC Simple Preferences and Action Costs 111
An Ontology-Based Archive for Historical Research 111
Multi-engine ASP solving with policy adaptation 110
A Planning-based Approach for In-Station Train Dispatching 109
A Pseudo-Boolean approach for solving planning problems with IPC simple preferences 107
Abstract Disjunctive Answer Set Solvers 105
Evaluation Techniques and Systems for Answer Set Programming: a Survey 105
In-Station Train Movements Prediction: from Shallow to Deep Multi Scale Models 105
Design and results of the Second International Competition on Computational Models of Argumentation 104
A Two-Phase ASP Encoding for Solving Rehabilitation Scheduling 103
A SAT-based polynomial space algorithm for answer set programming 103
KR&R approaches for robot manipulation tasks with articulated objects 103
An Efficient Hybrid Planning Framework for In-Station Train Dispatching 103
Efficient DTPP solving with a reduction-based approach 96
Abstract Solvers for Computing Cautious Consequences of ASP programs 96
Solving Optimization Problems with DLL 95
Prefazione agli Atti del Convegno Italiano di Logica Computazionale Trentesima Edizione, CILC 2015 Genova, 1-3 Luglio 2015 95
Special issue of the 22nd RCRA international workshop on "Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion" Preface 95
A Formal Approach for Cautious Reasoning in Answer Set Programming (Extended Abstract) 95
SAT-Based Answer Set Programming 93
Eighth ASPOCP International Workshop on "Answer Set Programming and Other Computing Paradigms": Preface 91
Novel Algorithms for Abstract Dialectical Frameworks based on Complexity Analysis of Subclasses and SAT Solving 90
Applying Machine Learning Techniques to ASP Solving 89
Planning as Satisfiability with Preferences 89
A Simple Proof-theoretic Characterization of Stable Models: Reduction to Difference Logic and Experiments 86
Computational analysis of freeway traffic control based on a linearized prediction model 86
Modeling and Reasoning about Business Processes under Authorization Constraints: a Planning-based Approach. 86
Computing answer sets of a logic program via-enumeration of SAT certificates 85
Chemotherapy Treatment Scheduling via Answer Set Programming 85
Automated Planning Encodings for the Manipulation of Articulated Objects in 3D with Gravity 85
An overview of ASP applications in the health-care domain 83
A simple proof-theoretic characterization of Stable Models 82
Special Issue on the 30th Italian Conference on Computational Logic: CILC 2015 81
An ASP-based Solution for Operating Room Scheduling with Beds Management 81
CASP Solutions for Planning in Hydrid Domains 80
A Tool for Encoding Controlled Natural Language Specifications as ASP Rules. 77
On the Configuration of {SAT} Formulae 77
Totale 12.676
Salva come PNG Salva come JPEG
Categoria #
all - tutte 46.352
article - articoli 14.542
book - libri 0
conference - conferenze 25.577
curatela - curatele 326
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 5.907
Totale 92.704
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202173 0 0 0 0 0 0 0 0 0 0 0 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/20263.329 368 72 202 275 422 332 532 162 340 318 164 142
Totale 13.757