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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021827 0 0 0 0 0 0 0 0 0 363 154 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/202614.724 2.053 787 1.620 2.033 2.893 876 1.580 696 945 1.241 0 0
Totale 36.163