LEONE, Nicola
 Distribuzione geografica
Continente #
NA - Nord America 8.298
EU - Europa 5.926
AS - Asia 1.138
AF - Africa 400
OC - Oceania 24
SA - Sud America 19
Continente sconosciuto - Info sul continente non disponibili 16
AN - Antartide 1
Totale 15.822
Nazione #
US - Stati Uniti d'America 8.024
UA - Ucraina 2.344
DE - Germania 1.513
SE - Svezia 748
IT - Italia 460
AT - Austria 435
CN - Cina 392
TR - Turchia 385
SN - Senegal 384
CA - Canada 273
HK - Hong Kong 234
FI - Finlandia 135
BE - Belgio 101
GB - Regno Unito 71
IN - India 58
FR - Francia 40
NL - Olanda 27
AU - Australia 24
IR - Iran 24
SG - Singapore 18
EU - Europa 15
DZ - Algeria 14
RO - Romania 9
BR - Brasile 8
ES - Italia 7
JP - Giappone 7
SA - Arabia Saudita 7
CH - Svizzera 5
CL - Cile 5
CZ - Repubblica Ceca 5
IE - Irlanda 4
PL - Polonia 4
BD - Bangladesh 3
BG - Bulgaria 3
AZ - Azerbaigian 2
BY - Bielorussia 2
EC - Ecuador 2
GR - Grecia 2
HU - Ungheria 2
LA - Repubblica Popolare Democratica del Laos 2
PE - Perù 2
SK - Slovacchia (Repubblica Slovacca) 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AE - Emirati Arabi Uniti 1
AL - Albania 1
AR - Argentina 1
BA - Bosnia-Erzegovina 1
DK - Danimarca 1
EG - Egitto 1
FK - Isole Falkland (Malvinas) 1
GS - Georgia del Sud e Isole Sandwich Australi 1
HR - Croazia 1
KH - Cambogia 1
LK - Sri Lanka 1
LU - Lussemburgo 1
MX - Messico 1
PH - Filippine 1
PT - Portogallo 1
RS - Serbia 1
TW - Taiwan 1
VN - Vietnam 1
ZA - Sudafrica 1
Totale 15.822
Città #
Jacksonville 1.588
Chandler 1.327
Dearborn 836
San Mateo 710
Dakar 384
Vienna 358
Izmir 333
Lawrence 332
Roxbury 332
Cambridge 235
Grafing 233
Ottawa 232
Des Moines 218
Ashburn 202
Ann Arbor 167
Bremen 162
New York 156
Inglewood 146
Helsinki 135
Rende 117
Brooklyn 113
Beijing 109
Wilmington 108
Brussels 100
Shanghai 85
Florence 75
Boardman 53
San Francisco 42
Seattle 40
Toronto 34
Houston 28
Redwood City 26
Washington 26
Falls Church 23
Leawood 22
Nanjing 22
Pune 21
Augusta 20
Hefei 19
Jinan 19
Ardabil 18
Fremont 18
Seelze 17
Littleton 16
Norwalk 16
Rome 16
Sanayi 16
Shenyang 14
Guangzhou 13
Kocaeli 13
Mumbai 12
Catania 11
Catanzaro 11
Cosenza 11
Hanover 11
Lanzhou 10
Nanchang 10
Ningbo 10
Woodbridge 10
Canberra 9
Changsha 9
Berlin 8
Kyiv 8
Melbourne 8
Monmouth Junction 8
Castrolibero 7
Haikou 7
Jiaxing 7
Stefanaconi 7
Tianjin 7
Zhengzhou 7
Hebei 6
Kunming 6
Milan 6
Serra San Bruno 6
Sydney 6
Taizhou 6
Tokyo 6
Cirò Marina 5
London 5
Spilinga 5
Bucharest 4
Chongqing 4
Crotone 4
Fuscaldo 4
Hangzhou 4
Kilburn 4
Lamezia Terme 4
Los Angeles 4
Riva Del Garda 4
Riyadh 4
Sabz 4
Tappahannock 4
Trento 4
Brno 3
Cardiff 3
Curinga 3
Dhaka 3
Dublin 3
Falkenstein 3
Totale 9.660
Nome #
A Backjumping Tecnique for Disjunctive Logic Programming 284
The ASP System DLV2 152
A Backjumping Technique for Disjunctive Logic Programming 104
DLV: An Advanced System for Knowledge Representation and Reasoning 104
Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLV 101
The ASP System DLV: Advancements and Applications 100
A Backjumping Technique for Disjunctive Logic Programming 95
An ASP-based system for team-building in the Gioia-Tauro seaport 95
Computable Functions in ASP: Theory and Implementation -- [Winner of the ICLP TEST OF TIME AWARD at ICLP 2018] 92
A Logic-Based System for e-Tourism 89
Finite Controllability of Conjunctive Query Answering with Existential Rules: Two Steps Forward 88
Aggregate Functions in DLV 87
Document layout analysis for semantic information extraction 86
Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation 85
A long tour from theory to practice 84
Boosting Information Integration: The INFOMIX System 80
Reasoning over Ontologies with DLV 80
Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation 79
System Description: DLV with Aggregates 79
Enhancing DLV for Large-Scale Reasoning 79
Adding Efficient Data Management to Logic Programming Systems 78
Fast query answering over existential rules 78
Evaluation of Disjunctive Programs in WASP 78
Answer Set Planning under Action Costs 77
System Description: DLV 77
Advanced Parallel Algorithms far Processing Acyclic Conjunctive Queries, Rules, and Constraints, 76
First Steps towards Reasoning on Big Data with DLV 76
A DLP System with Object-Oriented Features 76
A Logic Programming Approach to Knowledge-State Planning: Semantics and Complexity 75
Large Scale DLV: Preliminary Results 75
On Look-Ahead Heuristics in Disjunctive Logic Programming 74
Answer Set Programming: Language, Applications and Development Tools 74
DLV - Declarative Problem Solving Using Answer Set Programming 73
Entity set expansion from the Web via ASP 73
The DLV System 73
ASP-Core-2 Input Language Format 72
An ASP System with Functions, Lists, and Sets 70
Answer Set Programming 70
Un Sistema ad Agenti per il Supporto alla Costruzione di Percorsi Didattici 69
Allotment Problem in Travel Industry: A Solution Based on ASP 69
Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues 69
Un Linguaggio Logico per Basi di Dati e Conoscenza 68
A Comparison of Heuristics for Answer Set Programming 68
A Comparison of Structural CSP Decomposition Methods 68
Abduction with Penalization in Logic Programming 68
A Language for Updating Logic Programs 68
A well-Founded Semantics for Ordered Logic Programming 68
A GeneraI Method to Determine the Expression Complexity of Database Query Languages 67
A Deductive Environment for Dealing with Objects and Non-Monotonic Reasoning 67
A Comparison of Structural CSP Decomposition Methods 66
BackJumping Techniques for Rules Instantiation in the DLV System 66
A graphic tool for ontology reasoning under Datalog∃ 66
ASP at Work: Spin-off and Applications of the DLV System 66
A Language for Updating Logic Programs and its Implementation 66
Reasoning on anonymity in Datalog+/- 66
Erratum: A logic-based system for e-tourism (Fundamenta Informaticae (2010) 105:1-2) 66
An ASP-Based Framework for the Manipulation of Articulated Objects Using Dual-Arm Robots 66
On the computation of disjunctive stable models 65
Answer Set Programming 65
Census Data Repair: A Challenging Application of Disjunctive Logic Programming 65
The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track 65
Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper) 64
Design and Implementation of Aggregate Functions in the DLV System 64
A Comparison of Heuristics far Answer Set Programming 64
Declarative and Fixpoint Characterizations of Disjunctive Stable Models 64
Interoperability Mechanisms for Ontology Management Systems 64
A Logic Programming Approach to Knowledge-State Planning, II: the DLVK System 64
Constraint Optimization Production Planning Problem. A Note on Theory, Selected Approaches and Computational Experiments 64
Enhancing Existential Rules by Closed-World Variables 64
A Visual Tracer for DLV 63
COMPLEX: An Object-Oriented Logic Programming System 63
Advances in WASP 63
A Deductive System far Non-Monotonic Reasoning 62
Querying large expressive horn ontologies 62
Computing LOGCFL Certificates 61
OntoDLV: An ASP-based System for Enterprise Ontologies 61
Introduction to the special issue on the 25th annual GULP conference 61
Stable Models and their Computation for Logic Programming with Inheritance and True Negation 61
Datalog Development Tools 61
Erratum to the paper: “A Logic-Based System for e-Tourism” 61
Answer Set Planning under Action Costs 61
Structural Decomposition Methods: Key Notions and Database Applications 60
Pruning Operators for Disjunctive Logic Programming Systems 60
A Logic-Based Tool for Semantic Information Extraction 60
On the complexity of regular-grammars with integer attributes 59
Efficient Query Answering over Datalog with Existential Quantifiers 59
Finite model reasoning over existential rules 59
The AI system DLV: Ontologies, reasoning, and more 59
JASP: A Framework for Integrating Answer Set Programming with Java 58
Census Data Repair: a challenging application of Disjunctive Logic Programming 58
Boosting Information Integration: The INFOMIX System 58
DATALOG with Nested Rules 58
On the Expressive Power of Ordered Logic 57
Handling Function Symbols in the DLV Grounder 57
Declarative and Computational Properties of Logic Programs with Aggregates 57
An Efficient Strategy for the Bottom-up Evaluation of Datalog Queries 57
Robbers, Marshals, and Guards: Game Theoretic and Logical Characterizations of Hypertree Width 57
The Disjunctive Datalog System DLV 57
Collegamento di Basi di Dati Orientate agli Oggetti a Basi di Dati Relazionali Remote 57
Partial Semantics for Disjunctive Deductive Databases 57
Totale 7.281
Categoria #
all - tutte 87.055
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 87.055


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019355 0 0 0 0 0 0 0 4 11 2 333 5
2019/20203.559 350 322 42 350 236 838 314 374 56 56 341 280
2020/20212.751 418 25 327 356 22 365 29 348 34 363 154 310
2021/20223.932 29 383 9 270 357 277 125 799 52 73 581 977
2022/20233.797 454 416 63 338 520 303 113 666 390 106 221 207
2023/20241.284 197 92 213 148 163 326 81 64 0 0 0 0
Totale 16.231