IRIS
LEONE, Nicola
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 7209
EU - Europa 5276
AS - Asia 1011
AF - Africa 399
OC - Oceania 24
SA - Sud America 19
Continente sconosciuto - Info sul continente non disponibili 16
AN - ???statistics.table.value.continent.AN??? 1
Totale 13955
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6936
UA - Ucraina 2344
DE - Germania 1450
SE - Svezia 748
TR - Turchia 385
SN - Senegal 384
IT - Italia 315
CN - Cina 304
CA - Canada 272
HK - Hong Kong 234
AT - Austria 184
GB - Regno Unito 64
BE - Belgio 55
FR - Francia 38
IN - India 37
FI - Finlandia 35
AU - Australia 24
IR - Iran 24
EU - Europa 15
DZ - Algeria 14
RO - Romania 9
BR - Brasile 8
ES - Italia 7
JP - Giappone 7
SA - Arabia Saudita 6
CL - Cile 5
PL - Polonia 4
BD - Bangladesh 3
BG - Bulgaria 3
IE - Irlanda 3
AZ - Azerbaigian 2
BY - Bielorussia 2
CZ - Repubblica Ceca 2
EC - Ecuador 2
HU - Ungheria 2
LA - Repubblica Popolare Democratica del Laos 2
NL - Olanda 2
PE - Perù 2
SG - Singapore 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
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
VN - Vietnam 1
ZA - Sudafrica 1
Totale 13955
Salva come PNG Salva come JPEG
Città #
Jacksonville 1588
Chandler 1327
Dearborn 836
San Mateo 710
Dakar 384
Izmir 333
Lawrence 332
Roxbury 332
Cambridge 235
Grafing 233
Ottawa 232
Des Moines 218
Vienna 178
Ann Arbor 167
Bremen 162
Inglewood 146
Brooklyn 113
Beijing 109
Rende 108
Wilmington 108
Brussels 55
San Francisco 42
Helsinki 35
Toronto 34
Boardman 31
Houston 28
Redwood City 26
Falls Church 23
Leawood 22
Nanjing 22
Augusta 20
Hefei 19
Jinan 19
Ardabil 18
Fremont 18
Littleton 16
Norwalk 16
Rome 16
Sanayi 16
Shenyang 14
Ashburn 13
Guangzhou 13
Kocaeli 13
Mumbai 12
Catania 11
Catanzaro 10
Lanzhou 10
Nanchang 10
Ningbo 10
Woodbridge 10
Canberra 9
Changsha 9
Berlin 8
Kyiv 8
Melbourne 8
Monmouth Junction 8
Seattle 8
Cosenza 7
Haikou 7
Jiaxing 7
Tianjin 7
Zhengzhou 7
Hebei 6
Kunming 6
Sydney 6
Taizhou 6
Tokyo 6
London 5
Milan 5
Bucharest 4
Chongqing 4
Fuscaldo 4
Hangzhou 4
Hanover 4
Lamezia Terme 4
Los Angeles 4
New York 4
Riva Del Garda 4
Riyadh 4
Sabz 4
Cardiff 3
Curinga 3
Dhaka 3
Dublin 3
Fuzhou 3
Madrid 3
Markham 3
Mondragone 3
Palermo 3
Paris 3
Sofia 3
Udine 3
Amsterdam 2
Andover 2
Bocale 2
Bratislava 2
Charlotte 2
Crotone 2
Darmstadt 2
Erchie 2
Totale 8682
Salva come PNG Salva come JPEG
Nome #
A Backjumping Tecnique for Disjunctive Logic Programming 265
The ASP System DLV2 141
The ASP System DLV: Advancements and Applications 86
A Backjumping Technique for Disjunctive Logic Programming 81
DLV: An Advanced System for Knowledge Representation and Reasoning 74
An ASP-based system for team-building in the Gioia-Tauro seaport 73
A Logic-Based System for e-Tourism 72
Finite Controllability of Conjunctive Query Answering with Existential Rules: Two Steps Forward 71
Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLV 70
Computable Functions in ASP: Theory and Implementation -- [Winner of the ICLP TEST OF TIME AWARD at ICLP 2018] 69
A Backjumping Technique for Disjunctive Logic Programming 67
On Look-Ahead Heuristics in Disjunctive Logic Programming 66
Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation 66
Answer Set Programming: Language, Applications and Development Tools 65
Reasoning over Ontologies with DLV 65
System Description: DLV with Aggregates 65
Fast query answering over existential rules 65
Un Sistema ad Agenti per il Supporto alla Costruzione di Percorsi Didattici 64
Advanced Parallel Algorithms far Processing Acyclic Conjunctive Queries, Rules, and Constraints, 64
Entity set expansion from the Web via ASP 64
First Steps towards Reasoning on Big Data with DLV 64
Enhancing DLV for Large-Scale Reasoning 64
Un Linguaggio Logico per Basi di Dati e Conoscenza 63
A long tour from theory to practice 62
Aggregate Functions in DLV 62
Evaluation of Disjunctive Programs in WASP 62
A well-Founded Semantics for Ordered Logic Programming 62
On the computation of disjunctive stable models 60
Document layout analysis for semantic information extraction 60
The DLV System 60
Large Scale DLV: Preliminary Results 60
A DLP System with Object-Oriented Features 60
DLV - Declarative Problem Solving Using Answer Set Programming 59
Boosting Information Integration: The INFOMIX System 59
Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation 59
System Description: DLV 59
Answer Set Planning under Action Costs 58
Allotment Problem in Travel Industry: A Solution Based on ASP 58
Adding Efficient Data Management to Logic Programming Systems 58
An ASP System with Functions, Lists, and Sets 58
Reasoning on anonymity in Datalog+/- 58
On the complexity of regular-grammars with integer attributes 57
ASP at Work: Spin-off and Applications of the DLV System 57
ASP-Core-2 Input Language Format 57
Structural Decomposition Methods: Key Notions and Database Applications 56
A Comparison of Heuristics for Answer Set Programming 56
Answer Set Programming 56
Census Data Repair: A Challenging Application of Disjunctive Logic Programming 56
Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues 56
Enhancing Existential Rules by Closed-World Variables 56
Computing LOGCFL Certificates 55
Introduction to the special issue on the 25th annual GULP conference 55
Stable Models and their Computation for Logic Programming with Inheritance and True Negation 55
On the Expressive Power of Ordered Logic 55
Design and Implementation of Aggregate Functions in the DLV System 55
Abduction with Penalization in Logic Programming 55
A Logic Programming Approach to Knowledge-State Planning: Semantics and Complexity 55
The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track 55
Partial Semantics for Disjunctive Deductive Databases 55
OntoDLV: An ASP-based System for Enterprise Ontologies 54
Collegamento di Basi di Dati Orientate agli Oggetti a Basi di Dati Relazionali Remote 54
COMPLEX: An Object-Oriented Logic Programming System 54
DATALOG with Nested Rules 54
A Comparison of Structural CSP Decomposition Methods 53
Parametric Connectives in Disjunctive Logic Programming 53
Enhancing DLV Instantiator by Backjumping Techniques 53
Datalog Development Tools 53
Erratum to the paper: “A Logic-Based System for e-Tourism” 53
Improving ASP Instantiators by Join-Ordering Methods 53
Declarative and Fixpoint Characterizations of Disjunctive Stable Models 53
The Disjunctive Datalog System DLV 53
Hypertree Decompositions: A Survey 53
Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper) 52
Interoperability Mechanisms for Ontology Management Systems 52
Constraint Optimization Production Planning Problem. A Note on Theory, Selected Approaches and Computational Experiments 52
Pruning Operators for Disjunctive Logic Programming Systems 52
Solving Hard Problems for the Second Level of the Polynomial Hierarchy: Heuristics and Benchmarks 51
Efficient Query Answering over Datalog with Existential Quantifiers 51
BackJumping Techniques for Rules Instantiation in the DLV System 51
A Deductive Environment for Dealing with Objects and Non-Monotonic Reasoning 51
Proceedings of the 8th European Conference on Logics in Artificial Intelligence - LNAI 51
A Language for Updating Logic Programs 51
Advances in WASP 51
Disjunctive Stable Models: Unfounded Sets, Fixpoint Semantics and Computation 50
Answer Set Programming 50
Handling Function Symbols in the DLV Grounder 50
A Comparison of Structural CSP Decomposition Methods 50
Bottom-up Evaluation of Finitely Recursive Queries 50
A Logic Programming Approach to Knowledge-State Planning, II: the DLVK System 50
An ASP-Based Framework for the Manipulation of Articulated Objects Using Dual-Arm Robots 50
Computing Preferred Answer Sets by Meta-Interpretation in Answer Set Programming 49
IDUM a Logic-Based System for e-Tourism 49
JASP: A Framework for Integrating Answer Set Programming with Java 49
Census Data Repair: a challenging application of Disjunctive Logic Programming 49
Disjunctive Logic Programs with Inheritance 49
A Deductive System far Non-Monotonic Reasoning 49
Finite model reasoning over existential rules 49
Erratum: A logic-based system for e-tourism (Fundamenta Informaticae (2010) 105:1-2) 49
Evaluation techniques and systems for answer set programming: A survey 49
Valutazione Efficiente della Semantica Non Deterministica dei Programmi Logici Disgiuntivi 48
Totale 6017
Salva come PNG Salva come JPEG
Categoria #
all - tutte 46496
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 46496
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2017/201889 0000 00 00 24231032
2018/2019704 19083 3153 14 1123335
2019/20203559 35032242350 236838 314374 5656341280
2020/20212751 41825327356 22365 29348 34363154310
2021/20223932 293839270 357277 125799 5273581977
2022/20233207 45441663338 520303 113666 334000
Totale 14357