IRIS
LEONE, Nicola
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 8.399
EU - Europa 5.582
AS - Asia 1.274
AF - Africa 400
OC - Oceania 25
SA - Sud America 19
Continente sconosciuto - Info sul continente non disponibili 16
AN - Antartide 1
Totale 15.716
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 8.124
UA - Ucraina 2.344
DE - Germania 1.487
SE - Svezia 748
IT - Italia 461
CN - Cina 436
TR - Turchia 385
SN - Senegal 384
CA - Canada 274
HK - Hong Kong 256
AT - Austria 161
FI - Finlandia 138
GB - Regno Unito 71
KR - Corea 70
IN - India 58
BE - Belgio 48
FR - Francia 44
NL - Olanda 27
AU - Australia 25
IR - Iran 24
SG - Singapore 18
EU - Europa 15
DZ - Algeria 14
ES - Italia 11
RO - Romania 9
BR - Brasile 8
JP - Giappone 7
SA - Arabia Saudita 7
CH - Svizzera 5
CL - Cile 5
IE - Irlanda 4
PL - Polonia 4
BD - Bangladesh 3
BG - Bulgaria 3
AZ - Azerbaigian 2
BY - Bielorussia 2
CZ - Repubblica Ceca 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.716
Salva come PNG Salva come JPEG
Città #
Jacksonville 1.588
Chandler 1.327
Dearborn 836
San Mateo 710
Dakar 384
Izmir 333
Lawrence 332
Roxbury 332
Cambridge 235
Grafing 233
Ottawa 232
Des Moines 218
Ashburn 201
Ann Arbor 167
Bremen 162
New York 156
Inglewood 146
Vienna 144
Helsinki 137
Shanghai 129
Rende 118
Brooklyn 113
Beijing 109
Wilmington 108
Ogden 81
Florence 75
Seoul 70
Boardman 53
Brussels 47
San Francisco 42
Seattle 40
Toronto 34
Houston 28
Redwood City 26
Washington 26
Falls Church 23
Hong Kong 22
Leawood 22
Nanjing 22
Pune 21
Augusta 20
Hefei 19
Jinan 19
Ardabil 18
Fremont 18
Littleton 16
Norwalk 16
Rome 16
Sanayi 16
Shenyang 14
Guangzhou 13
Kocaeli 13
Mumbai 12
Catania 11
Catanzaro 11
Cosenza 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
Viladecans 4
Cardiff 3
Curinga 3
Dhaka 3
Dublin 3
Totale 9.582
Salva come PNG Salva come JPEG
Nome #
A Backjumping Tecnique for Disjunctive Logic Programming 281
The ASP System DLV2 154
The ASP System DLV: Advancements and Applications 100
DLV: An Advanced System for Knowledge Representation and Reasoning 92
A Backjumping Technique for Disjunctive Logic Programming 89
A Logic-Based System for e-Tourism 86
Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLV 86
Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation 84
A long tour from theory to practice 83
A Backjumping Technique for Disjunctive Logic Programming 83
An ASP-based system for team-building in the Gioia-Tauro seaport 82
Reasoning over Ontologies with DLV 82
Computable Functions in ASP: Theory and Implementation -- [Winner of the ICLP TEST OF TIME AWARD at ICLP 2018] 81
Finite Controllability of Conjunctive Query Answering with Existential Rules: Two Steps Forward 80
Fast query answering over existential rules 78
Advanced Parallel Algorithms far Processing Acyclic Conjunctive Queries, Rules, and Constraints, 77
Enhancing DLV for Large-Scale Reasoning 77
On Look-Ahead Heuristics in Disjunctive Logic Programming 76
DLV - Declarative Problem Solving Using Answer Set Programming 76
Answer Set Programming: Language, Applications and Development Tools 76
Evaluation of Disjunctive Programs in WASP 76
Aggregate Functions in DLV 75
The DLV System 75
Document layout analysis for semantic information extraction 74
Large Scale DLV: Preliminary Results 74
Entity set expansion from the Web via ASP 73
First Steps towards Reasoning on Big Data with DLV 73
A DLP System with Object-Oriented Features 73
System Description: DLV with Aggregates 71
ASP-Core-2 Input Language Format 71
A Comparison of Heuristics for Answer Set Programming 70
An ASP System with Functions, Lists, and Sets 69
A Language for Updating Logic Programs 69
A well-Founded Semantics for Ordered Logic Programming 69
Boosting Information Integration: The INFOMIX System 68
Answer Set Programming 68
Abduction with Penalization in Logic Programming 68
Reasoning on anonymity in Datalog+/- 68
Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues 68
Un Sistema ad Agenti per il Supporto alla Costruzione di Percorsi Didattici 67
A Comparison of Structural CSP Decomposition Methods 67
BackJumping Techniques for Rules Instantiation in the DLV System 67
A graphic tool for ontology reasoning under Datalog∃ 67
A Logic Programming Approach to Knowledge-State Planning: Semantics and Complexity 67
Census Data Repair: A Challenging Application of Disjunctive Logic Programming 67
Erratum: A logic-based system for e-tourism (Fundamenta Informaticae (2010) 105:1-2) 67
The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track 67
Un Linguaggio Logico per Basi di Dati e Conoscenza 66
Answer Set Planning under Action Costs 66
Allotment Problem in Travel Industry: A Solution Based on ASP 66
A Deductive Environment for Dealing with Objects and Non-Monotonic Reasoning 66
A Logic Programming Approach to Knowledge-State Planning, II: the DLVK System 66
A Language for Updating Logic Programs and its Implementation 66
An ASP-Based Framework for the Manipulation of Articulated Objects Using Dual-Arm Robots 66
On the computation of disjunctive stable models 65
A Comparison of Structural CSP Decomposition Methods 65
Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper) 65
Adding Efficient Data Management to Logic Programming Systems 65
Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation 65
Declarative and Fixpoint Characterizations of Disjunctive Stable Models 65
ASP at Work: Spin-off and Applications of the DLV System 65
Constraint Optimization Production Planning Problem. A Note on Theory, Selected Approaches and Computational Experiments 65
Answer Set Programming 64
A GeneraI Method to Determine the Expression Complexity of Database Query Languages 64
Interoperability Mechanisms for Ontology Management Systems 64
System Description: DLV 64
COMPLEX: An Object-Oriented Logic Programming System 64
Enhancing Existential Rules by Closed-World Variables 64
Datalog Development Tools 63
A Comparison of Heuristics far Answer Set Programming 63
A Deductive System far Non-Monotonic Reasoning 63
Querying large expressive horn ontologies 63
Introduction to the special issue on the 25th annual GULP conference 62
Design and Implementation of Aggregate Functions in the DLV System 62
Erratum to the paper: “A Logic-Based System for e-Tourism” 62
Advances in WASP 62
Pruning Operators for Disjunctive Logic Programming Systems 62
Answer Set Planning under Action Costs 62
Computing LOGCFL Certificates 61
Efficient Query Answering over Datalog with Existential Quantifiers 61
Development tools for datalog 61
On the complexity of regular-grammars with integer attributes 60
Structural Decomposition Methods: Key Notions and Database Applications 60
A Logic-Based Tool for Semantic Information Extraction 60
Stable Models and their Computation for Logic Programming with Inheritance and True Negation 59
IDUM a Logic-Based System for e-Tourism 59
JASP: A Framework for Integrating Answer Set Programming with Java 59
Census Data Repair: a challenging application of Disjunctive Logic Programming 59
Declarative and Computational Properties of Logic Programs with Aggregates 59
Finite model reasoning over existential rules 59
OntoDLV: An ASP-based System for Enterprise Ontologies 58
Handling Function Symbols in the DLV Grounder 58
An Efficient Strategy for the Bottom-up Evaluation of Datalog Queries 58
DATALOG with Nested Rules 58
On the Expressive Power of Ordered Logic 57
Collegamento di Basi di Dati Orientate agli Oggetti a Basi di Dati Relazionali Remote 57
The AI system DLV: Ontologies, reasoning, and more 57
Partial Semantics for Disjunctive Deductive Databases 57
Boosting Information Integration: The INFOMIX System 56
Robbers, Marshals, and Guards: Game Theoretic and Logical Characterizations of Hypertree Width 56
Totale 7.090
Salva come PNG Salva come JPEG
Categoria #
all - tutte 93.092
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 93.092
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019340 0 0 0 0 0 0 0 0 0 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.514 454 416 63 338 520 303 34 639 363 82 170 132
2023/20241.461 177 87 199 119 132 326 81 75 165 100 0 0
Totale 16.125