IRIS
LEONE, NICOLA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 14.410
AS - Asia 11.867
EU - Europa 7.522
SA - Sud America 3.526
AF - Africa 819
Continente sconosciuto - Info sul continente non disponibili 444
OC - Oceania 35
AN - Antartide 1
Totale 38.624
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 13.679
SG - Singapore 4.535
BR - Brasile 2.538
UA - Ucraina 2.416
CN - Cina 2.382
VN - Vietnam 1.965
DE - Germania 1.764
IT - Italia 835
SE - Svezia 767
HK - Hong Kong 525
FR - Francia 478
TR - Turchia 456
SN - Senegal 393
CA - Canada 390
BD - Bangladesh 382
AR - Argentina 367
KR - Corea 345
FI - Finlandia 271
IN - India 266
AT - Austria 192
RU - Federazione Russa 183
IQ - Iraq 177
GB - Regno Unito 174
MX - Messico 174
EC - Ecuador 169
ZA - Sudafrica 129
ID - Indonesia 127
CO - Colombia 115
VE - Venezuela 94
PK - Pakistan 93
PY - Paraguay 76
UZ - Uzbekistan 73
CL - Cile 69
MA - Marocco 65
SA - Arabia Saudita 63
BE - Belgio 56
NL - Olanda 54
PL - Polonia 51
ES - Italia 50
PH - Filippine 50
MY - Malesia 47
DZ - Algeria 45
PE - Perù 45
TN - Tunisia 43
CZ - Repubblica Ceca 38
JP - Giappone 38
UY - Uruguay 38
EG - Egitto 37
JM - Giamaica 35
KE - Kenya 34
AU - Australia 33
JO - Giordania 33
AE - Emirati Arabi Uniti 29
NP - Nepal 28
AZ - Azerbaigian 26
IR - Iran 26
KZ - Kazakistan 26
DO - Repubblica Dominicana 24
IL - Israele 24
AL - Albania 23
OM - Oman 23
CR - Costa Rica 21
LB - Libano 18
ET - Etiopia 17
PA - Panama 16
BG - Bulgaria 15
CH - Svizzera 15
EU - Europa 15
RO - Romania 15
BY - Bielorussia 14
IE - Irlanda 14
LT - Lituania 14
SV - El Salvador 14
PS - Palestinian Territory 13
PT - Portogallo 12
GT - Guatemala 11
KG - Kirghizistan 11
NI - Nicaragua 11
RS - Serbia 11
TT - Trinidad e Tobago 11
BH - Bahrain 10
BO - Bolivia 10
NG - Nigeria 10
GE - Georgia 9
HN - Honduras 9
KW - Kuwait 9
TH - Thailandia 9
GA - Gabon 8
GR - Grecia 7
HU - Ungheria 7
MD - Moldavia 7
MN - Mongolia 7
DK - Danimarca 6
KH - Cambogia 6
AM - Armenia 5
AO - Angola 5
BB - Barbados 5
CI - Costa d'Avorio 5
HR - Croazia 5
QA - Qatar 5
Totale 38.095
Salva come PNG Salva come JPEG
Città #
Singapore 1.698
Jacksonville 1.593
Chandler 1.327
Council Bluffs 907
Dearborn 836
San Jose 803
Dallas 779
Ashburn 777
Boardman 755
San Mateo 710
Ho Chi Minh City 696
Beijing 614
Hanoi 442
Dakar 393
Seoul 339
Izmir 335
Lawrence 332
Roxbury 332
Lauterbourg 296
Shanghai 284
Hong Kong 276
New York 257
Hefei 250
Helsinki 239
Ottawa 238
Cambridge 235
Grafing 233
Des Moines 223
São Paulo 204
Ann Arbor 167
Bremen 163
Vienna 159
Brooklyn 158
Inglewood 146
Los Angeles 144
Munich 141
Santa Clara 123
Rende 122
Wilmington 108
Haiphong 98
Da Nang 87
Columbus 82
Rome 82
Florence 81
Ogden 81
Rio de Janeiro 78
Milan 70
San Francisco 66
Guangzhou 65
Tashkent 63
Toronto 62
Baghdad 61
Brasília 57
Quito 53
The Dalles 52
Tianjin 52
Brussels 51
Seattle 51
Dhaka 50
Curitiba 48
Guayaquil 47
Phoenix 46
Belo Horizonte 45
Johannesburg 42
Mexico City 42
Frankfurt am Main 39
Mumbai 39
Porto Alegre 39
Biên Hòa 37
Hải Dương 37
Lahore 37
Orem 36
Houston 35
Buenos Aires 34
Santiago 33
Warsaw 33
Asunción 32
Lima 32
Montevideo 32
Salvador 32
Tokyo 32
Erbil 31
London 31
Ninh Bình 31
Turku 31
Amman 30
Medellín 30
Caracas 29
Montreal 29
Pune 29
Washington 29
Brno 27
Omaha 27
Chicago 26
Falkenstein 26
Nairobi 26
Nanjing 26
Redwood City 26
Thái Bình 26
Campinas 25
Totale 20.540
Salva come PNG Salva come JPEG
Nome #
A Backjumping Tecnique for Disjunctive Logic Programming 375
The ASP System DLV2 256
A Backjumping Technique for Disjunctive Logic Programming 215
A Backjumping Technique for Disjunctive Logic Programming 210
A long tour from theory to practice 206
Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues 203
Enhancing DLV for Large-Scale Reasoning 198
DLV: An Advanced System for Knowledge Representation and Reasoning 196
Answer Set Programming 195
Reasoning over Ontologies with DLV 195
The DLV System 193
Large Scale DLV: Preliminary Results 192
A Logic-Based System for e-Tourism 189
Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation 188
An ASP System with Functions, Lists, and Sets 187
Evaluation of Disjunctive Programs in WASP 187
Smart Devices and Large Scale Reasoning via ASP: Tools and Applications 182
The ASP System DLV: Advancements and Applications 181
Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs 180
Querying large expressive horn ontologies 180
Fast query answering over existential rules 177
Advanced Parallel Algorithms far Processing Acyclic Conjunctive Queries, Rules, and Constraints, 175
Abduction with Penalization in Logic Programming 175
A Language for Updating Logic Programs 169
Design and Implementation of Aggregate Functions in the DLV System 168
New DLV Features for Data Integration 168
Computable Functions in ASP: Theory and Implementation -- [Winner of the ICLP TEST OF TIME AWARD at ICLP 2018] 168
A well-Founded Semantics for Ordered Logic Programming 167
Enhancing Existential Rules by Closed-World Variables 166
A Comparison of Structural CSP Decomposition Methods 164
A Logic Programming Approach to Knowledge-State Planning: Semantics and Complexity 164
ASP-Core-2 Input Language Format 163
A DLP System with Object-Oriented Features 163
A graphic tool for ontology reasoning under Datalog∃ 162
Entity set expansion from the Web via ASP 162
Complexity of Acyclic Conjunctive Queries 162
First Steps towards Reasoning on Big Data with DLV 162
"Backjumping and Look-back Heuristics for Disjunctive Logic Programming 160
Computing LOGCFL Certificates 159
A Deductive System far Non-Monotonic Reasoning 159
An ASP-Based Framework for the Manipulation of Articulated Objects Using Dual-Arm Robots 158
BackJumping Techniques for Rules Instantiation in the DLV System 157
A Logic Programming Approach to Knowledge-State Planning, II: the DLVK System 157
Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLV 157
A Comparison of Heuristics for Answer Set Programming 156
DLV - Declarative Problem Solving Using Answer Set Programming 155
A Language for Updating Logic Programs and its Implementation 155
Advances in WASP 155
Aggregate Functions in DLV 154
Enhancing Magic Sets with an Application to Ontological Reasoning 153
Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates 152
The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track 152
An ASP-based system for team-building in the Gioia-Tauro seaport 151
Answer Set Programming: Language, Applications and Development Tools 150
A Deductive Environment for Dealing with Objects and Non-Monotonic Reasoning 150
Census Data Repair: A Challenging Application of Disjunctive Logic Programming 150
A Logic-Based Tool for Semantic Information Extraction 150
Pruning Operators for Disjunctive Logic Programming Systems 149
Declarative and Computational Properties of Logic Programs with Aggregates 148
Reasoning on anonymity in Datalog+/- 148
Boosting Information Integration: The INFOMIX System 147
Census Data Repair: a challenging application of Disjunctive Logic Programming 147
Document layout analysis for semantic information extraction 147
ASP at Work: Spin-off and Applications of the DLV System 146
Constraint Optimization Production Planning Problem. A Note on Theory, Selected Approaches and Computational Experiments 146
A Comparison of Structural CSP Decomposition Methods 145
Datalog Development Tools 144
Answer Set Planning under Action Costs 144
A Comparison of Heuristics far Answer Set Programming 143
The DLV System for Knowledge Representation and Reasoning 143
System Description: DLV with Aggregates 142
Allotment Problem in Travel Industry: A Solution Based on ASP 141
A Visual Tracer for DLV 141
A GeneraI Method to Determine the Expression Complexity of Database Query Languages 141
The AI system DLV: Ontologies, reasoning, and more 141
Enhancing DLV Instantiator by Backjumping Techniques 140
Finite model reasoning over existential rules 140
ASP-Based Declarative Reasoning in Data-Intensive Enterprise and IoT Applications 139
On Look-Ahead Heuristics in Disjunctive Logic Programming 139
A DLV-based Reasoner for Datalog+/- Languages 139
COMPLEX: An Object-Oriented Logic Programming System 139
Answer Set Planning under Action Costs 139
OntoDLV: An ASP-based System for Enterprise Ontologies 138
Finite Controllability of Conjunctive Query Answering with Existential Rules: Two Steps Forward 136
The Diagnosis Front-End of the DLV System 136
A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification 134
Handling Function Symbols in the DLV Grounder 134
Disjunctive Logic Programs with Inheritance 134
Structural Decomposition Methods: Key Notions and Database Applications 133
Un Sistema ad Agenti per il Supporto alla Costruzione di Percorsi Didattici 132
WASP: A native ASP solver based on constraint learning 132
Weighted Hypertree Decompositions and Optimal Query Plans 132
A Formal Comparison between Datalog-based Languages for Stream Reasoning 131
Magic Sets and their Application to Data Integration 131
Well-Founded Semantics for Logic Programs with Aggregates: Implementation and Experimentation 131
Erratum: A logic-based system for e-tourism (Fundamenta Informaticae (2010) 105:1-2) 131
Erratum to the paper: “A Logic-Based System for e-Tourism” 130
Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation 130
Parametric Connectives in Disjunctive Logic Programming 129
Applications of Answer Set Programming to Smart Devices and Large Scale Reasoning 128
Totale 15.993
Salva come PNG Salva come JPEG
Categoria #
all - tutte 209.969
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 209.969
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20223.903 0 383 9 270 357 277 125 799 52 73 581 977
2022/20233.514 454 416 63 338 520 303 34 639 363 82 170 132
2023/20242.052 177 87 199 119 132 326 81 75 165 126 115 450
2024/20254.723 248 813 141 230 421 211 138 346 646 257 465 807
2025/202616.086 2.053 787 1.620 2.033 2.893 876 1.580 696 945 1.333 587 683
2026/20271.099 873 226 0 0 0 0 0 0 0 0 0 0
Totale 38.624