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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021310 0 0 0 0 0 0 0 0 0 0 0 310
2021/20223.932 29 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/202615.989 2.053 787 1.620 2.033 2.893 876 1.580 696 945 1.333 587 586
Totale 37.428