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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20202.887 0 0 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.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/20251.061 248 813 0 0 0 0 0 0 0 0 0 0
Totale 17.777