IRIS
LEONE, Nicola
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 9.269
EU - Europa 5.768
AS - Asia 2.596
AF - Africa 400
SA - Sud America 26
OC - Oceania 25
Continente sconosciuto - Info sul continente non disponibili 16
AN - Antartide 1
Totale 18.101
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 8.991
UA - Ucraina 2.344
DE - Germania 1.563
CN - Cina 973
SG - Singapore 780
SE - Svezia 750
IT - Italia 485
TR - Turchia 385
SN - Senegal 384
CA - Canada 275
HK - Hong Kong 257
AT - Austria 164
FI - Finlandia 148
GB - Regno Unito 72
KR - Corea 71
IN - India 59
BE - Belgio 50
FR - Francia 46
CZ - Repubblica Ceca 37
NL - Olanda 31
AU - Australia 25
IR - Iran 24
EU - Europa 15
DZ - Algeria 14
ES - Italia 12
JP - Giappone 12
BR - Brasile 11
RU - Federazione Russa 10
RO - Romania 9
SA - Arabia Saudita 8
CH - Svizzera 7
CL - Cile 6
GR - Grecia 5
IE - Irlanda 5
PT - Portogallo 5
AZ - Azerbaigian 4
BD - Bangladesh 4
BG - Bulgaria 4
PL - Polonia 4
AR - Argentina 3
HU - Ungheria 3
BY - Bielorussia 2
DK - Danimarca 2
EC - Ecuador 2
IL - Israele 2
JO - Giordania 2
LA - Repubblica Popolare Democratica del Laos 2
LK - Sri Lanka 2
LV - Lettonia 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
BA - Bosnia-Erzegovina 1
BO - Bolivia 1
EG - Egitto 1
FK - Isole Falkland (Malvinas) 1
GS - Georgia del Sud e Isole Sandwich Australi 1
HR - Croazia 1
JM - Giamaica 1
KG - Kirghizistan 1
KH - Cambogia 1
LT - Lituania 1
LU - Lussemburgo 1
MX - Messico 1
PA - Panama 1
PH - Filippine 1
RS - Serbia 1
TH - Thailandia 1
TW - Taiwan 1
UZ - Uzbekistan 1
ZA - Sudafrica 1
Totale 18.101
Salva come PNG Salva come JPEG
Città #
Jacksonville 1.588
Chandler 1.327
Dearborn 836
Boardman 753
San Mateo 710
Singapore 607
Dakar 384
Izmir 333
Lawrence 332
Roxbury 332
Shanghai 271
Cambridge 235
Grafing 233
Ottawa 232
Ashburn 220
Des Moines 218
Ann Arbor 167
Bremen 162
New York 156
Helsinki 147
Vienna 147
Inglewood 146
Beijing 134
Rende 118
Brooklyn 113
Wilmington 108
Ogden 81
Florence 75
Seoul 70
Munich 65
Brussels 49
Guangzhou 46
San Francisco 42
Los Angeles 40
Seattle 40
Toronto 35
Houston 29
Brno 27
Redwood City 26
Washington 26
Nanjing 24
Falls Church 23
Jiaxing 23
Rome 23
Hong Kong 22
Jinan 22
Leawood 22
Pune 21
Augusta 20
Hefei 20
Ardabil 18
Fremont 18
Littleton 16
Norwalk 16
Sanayi 16
Wuhan 16
Santa Clara 15
Shenyang 14
Berlin 13
Kocaeli 13
Mumbai 13
Catania 11
Catanzaro 11
Cosenza 11
Ningbo 11
Tokyo 11
Hangzhou 10
Lanzhou 10
Nanchang 10
Woodbridge 10
Canberra 9
Changsha 9
Wuxi 9
Kyiv 8
Melbourne 8
Milan 8
Monmouth Junction 8
Castrolibero 7
Chongqing 7
Haikou 7
Jinhua 7
Kunming 7
Shenzhen 7
Stefanaconi 7
Tianjin 7
Zhengzhou 7
Hebei 6
London 6
Olomouc 6
Reggio Calabria 6
Serra San Bruno 6
Sydney 6
Taizhou 6
Cirò Marina 5
Fuzhou 5
Quanzhou 5
Riyadh 5
Spilinga 5
Yiwu 5
Bucharest 4
Totale 11.341
Salva come PNG Salva come JPEG
Nome #
A Backjumping Tecnique for Disjunctive Logic Programming 299
The ASP System DLV2 165
The ASP System DLV: Advancements and Applications 109
DLV: An Advanced System for Knowledge Representation and Reasoning 106
A long tour from theory to practice 99
A Backjumping Technique for Disjunctive Logic Programming 99
A Backjumping Technique for Disjunctive Logic Programming 98
Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation 98
A Logic-Based System for e-Tourism 98
Advanced Parallel Algorithms far Processing Acyclic Conjunctive Queries, Rules, and Constraints, 98
Reasoning over Ontologies with DLV 95
Computable Functions in ASP: Theory and Implementation -- [Winner of the ICLP TEST OF TIME AWARD at ICLP 2018] 95
Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLV 93
Enhancing DLV for Large-Scale Reasoning 92
First Steps towards Reasoning on Big Data with DLV 90
Evaluation of Disjunctive Programs in WASP 90
An ASP-based system for team-building in the Gioia-Tauro seaport 89
Fast query answering over existential rules 89
Large Scale DLV: Preliminary Results 88
DLV - Declarative Problem Solving Using Answer Set Programming 85
Boosting Information Integration: The INFOMIX System 85
Aggregate Functions in DLV 84
Finite Controllability of Conjunctive Query Answering with Existential Rules: Two Steps Forward 84
Entity set expansion from the Web via ASP 84
Document layout analysis for semantic information extraction 83
The DLV System 83
A DLP System with Object-Oriented Features 83
On Look-Ahead Heuristics in Disjunctive Logic Programming 82
A graphic tool for ontology reasoning under Datalog∃ 81
Abduction with Penalization in Logic Programming 81
Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues 81
An ASP System with Functions, Lists, and Sets 80
Answer Set Programming: Language, Applications and Development Tools 80
Answer Set Programming 80
A Language for Updating Logic Programs 80
A Language for Updating Logic Programs and its Implementation 80
ASP-Core-2 Input Language Format 80
A Comparison of Heuristics for Answer Set Programming 79
A Logic Programming Approach to Knowledge-State Planning: Semantics and Complexity 79
System Description: DLV with Aggregates 79
Enhancing Existential Rules by Closed-World Variables 79
A well-Founded Semantics for Ordered Logic Programming 79
A Deductive Environment for Dealing with Objects and Non-Monotonic Reasoning 78
A Logic Programming Approach to Knowledge-State Planning, II: the DLVK System 78
Reasoning on anonymity in Datalog+/- 78
BackJumping Techniques for Rules Instantiation in the DLV System 77
The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track 77
A Comparison of Structural CSP Decomposition Methods 76
Un Linguaggio Logico per Basi di Dati e Conoscenza 76
Allotment Problem in Travel Industry: A Solution Based on ASP 76
Erratum: A logic-based system for e-tourism (Fundamenta Informaticae (2010) 105:1-2) 76
An ASP-Based Framework for the Manipulation of Articulated Objects Using Dual-Arm Robots 76
Un Sistema ad Agenti per il Supporto alla Costruzione di Percorsi Didattici 75
A Comparison of Structural CSP Decomposition Methods 75
Census Data Repair: A Challenging Application of Disjunctive Logic Programming 75
Querying large expressive horn ontologies 75
On the computation of disjunctive stable models 74
A GeneraI Method to Determine the Expression Complexity of Database Query Languages 74
Constraint Optimization Production Planning Problem. A Note on Theory, Selected Approaches and Computational Experiments 74
COMPLEX: An Object-Oriented Logic Programming System 74
Answer Set Planning under Action Costs 73
ASP at Work: Spin-off and Applications of the DLV System 73
Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation 72
An Efficient Strategy for the Bottom-up Evaluation of Datalog Queries 72
Computing LOGCFL Certificates 71
On the complexity of regular-grammars with integer attributes 71
Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper) 71
A Comparison of Heuristics far Answer Set Programming 71
A Deductive System far Non-Monotonic Reasoning 71
Declarative and Computational Properties of Logic Programs with Aggregates 71
System Description: DLV 71
Answer Set Planning under Action Costs 71
Design and Implementation of Aggregate Functions in the DLV System 70
Adding Efficient Data Management to Logic Programming Systems 70
Declarative and Fixpoint Characterizations of Disjunctive Stable Models 70
Advances in WASP 70
Pruning Operators for Disjunctive Logic Programming Systems 70
OntoDLV: An ASP-based System for Enterprise Ontologies 69
Answer Set Programming 69
Interoperability Mechanisms for Ontology Management Systems 69
A Logic-Based Tool for Semantic Information Extraction 69
Enhancing DLV Instantiator by Backjumping Techniques 68
Datalog Development Tools 68
Census Data Repair: a challenging application of Disjunctive Logic Programming 68
Finite model reasoning over existential rules 68
Introduction to the special issue on the 25th annual GULP conference 67
Erratum to the paper: “A Logic-Based System for e-Tourism” 67
The AI system DLV: Ontologies, reasoning, and more 67
Handling Function Symbols in the DLV Grounder 66
Efficient Query Answering over Datalog with Existential Quantifiers 66
On the Expressive Power of Ordered Logic 65
Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates 65
Robbers, Marshals, and Guards: Game Theoretic and Logical Characterizations of Hypertree Width 65
Development tools for datalog 65
Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings 65
Hypertree Decompositions: A Survey 65
Stable Models and their Computation for Logic Programming with Inheritance and True Negation 64
Structural Decomposition Methods: Key Notions and Database Applications 64
IDUM a Logic-Based System for e-Tourism 64
Boosting Information Integration: The INFOMIX System 64
Totale 8.060
Salva come PNG Salva come JPEG
Categoria #
all - tutte 122.333
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 122.333
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20202.495 0 0 0 0 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.794 248 813 141 230 362 0 0 0 0 0 0 0
Totale 18.510