IRIS
RICCA, Francesco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 6.809
AS - Asia 6.646
EU - Europa 4.298
SA - Sud America 1.853
AF - Africa 424
OC - Oceania 19
Continente sconosciuto - Info sul continente non disponibili 9
Totale 20.058
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.489
SG - Singapore 2.936
BR - Brasile 1.411
CN - Cina 1.322
UA - Ucraina 1.234
DE - Germania 955
VN - Vietnam 869
IT - Italia 769
HK - Hong Kong 536
SE - Svezia 357
SN - Senegal 261
TR - Turchia 227
KR - Corea 197
AR - Argentina 191
CA - Canada 171
FI - Finlandia 171
RU - Federazione Russa 157
AT - Austria 153
GB - Regno Unito 129
IN - India 104
MX - Messico 86
BD - Bangladesh 79
FR - Francia 74
EC - Ecuador 72
IQ - Iraq 69
ID - Indonesia 65
ZA - Sudafrica 60
NL - Olanda 55
CO - Colombia 41
BE - Belgio 40
PK - Pakistan 36
PY - Paraguay 34
CL - Cile 33
ES - Italia 33
PL - Polonia 29
VE - Venezuela 29
MA - Marocco 28
UZ - Uzbekistan 21
SA - Arabia Saudita 20
AU - Australia 18
CZ - Repubblica Ceca 18
JP - Giappone 18
UY - Uruguay 18
RO - Romania 17
EG - Egitto 16
KE - Kenya 16
GR - Grecia 14
KZ - Kazakistan 14
PA - Panama 14
TN - Tunisia 14
AZ - Azerbaigian 13
PE - Perù 13
AE - Emirati Arabi Uniti 12
DO - Repubblica Dominicana 12
JO - Giordania 12
LT - Lituania 12
IR - Iran 11
IL - Israele 10
NP - Nepal 10
AL - Albania 9
DZ - Algeria 9
HN - Honduras 9
JM - Giamaica 9
PT - Portogallo 9
BG - Bulgaria 8
BO - Bolivia 8
CR - Costa Rica 8
IE - Irlanda 8
MY - Malesia 8
NO - Norvegia 8
CH - Svizzera 7
LB - Libano 7
BH - Bahrain 6
EU - Europa 6
GE - Georgia 6
HU - Ungheria 6
OM - Oman 6
AO - Angola 5
MN - Mongolia 5
PS - Palestinian Territory 5
CI - Costa d'Avorio 4
SK - Slovacchia (Repubblica Slovacca) 4
BY - Bielorussia 3
ET - Etiopia 3
GT - Guatemala 3
HR - Croazia 3
KG - Kirghizistan 3
KW - Kuwait 3
LA - Repubblica Popolare Democratica del Laos 3
LV - Lettonia 3
NI - Nicaragua 3
PH - Filippine 3
XK - ???statistics.table.value.countryCode.XK??? 3
AM - Armenia 2
BA - Bosnia-Erzegovina 2
BB - Barbados 2
DK - Danimarca 2
GA - Gabon 2
GY - Guiana 2
IS - Islanda 2
Totale 20.032
Salva come PNG Salva come JPEG
Città #
Singapore 1.108
Chandler 838
Jacksonville 756
Dallas 506
Boardman 449
Dearborn 402
Beijing 371
San Mateo 344
Ho Chi Minh City 324
Hong Kong 292
Ashburn 269
Dakar 261
Seoul 195
Lawrence 183
Roxbury 183
Hanoi 182
Izmir 179
Shanghai 174
Hefei 166
Helsinki 150
Rende 144
Cambridge 140
Des Moines 124
São Paulo 124
Bremen 122
Ottawa 121
Vienna 121
Munich 115
Florence 111
New York 107
Grafing 106
Brooklyn 96
Ann Arbor 85
Los Angeles 81
Inglewood 75
Ogden 63
The Dalles 53
Seattle 50
Rome 49
Haiphong 44
Catanzaro 43
Columbus 43
Rio de Janeiro 42
San Francisco 41
Wilmington 36
Brussels 34
Belo Horizonte 33
Cosenza 33
Guangzhou 33
Brasília 32
Santa Clara 32
Biên Hòa 31
Redwood City 29
Council Bluffs 28
Da Nang 28
San Jose 27
Hải Dương 26
Toronto 26
Warsaw 26
Dhaka 24
Tianjin 24
Frankfurt am Main 23
Mexico City 22
Curitiba 21
Guayaquil 20
Quito 20
Tashkent 20
Thái Bình 20
Baghdad 19
Johannesburg 19
Amsterdam 18
Asunción 18
Buenos Aires 18
Tokyo 18
Turku 18
London 17
Porto Alegre 17
Falkenstein 16
Montevideo 16
Sanayi 16
Turin 16
Fremont 15
Jakarta 15
Lahore 15
Palermo 15
Milan 14
Phoenix 14
Cape Town 13
Chennai 13
Montreal 13
Nairobi 13
Nanjing 13
Ninh Bình 13
Nuremberg 13
Amman 12
Bologna 12
Guarulhos 12
Houston 12
Jinan 12
Ribeirão Preto 12
Totale 10.557
Salva come PNG Salva come JPEG
Nome #
A Backjumping Tecnique for Disjunctive Logic Programming 358
The ASP System DLV2 224
A Backjumping Technique for Disjunctive Logic Programming 168
Developing ASP programs with ASPIDE and LoIDE 165
A Logic-Based System for e-Tourism 164
Evaluation of Disjunctive Programs in WASP 161
DLV: An Advanced System for Knowledge Representation and Reasoning 160
Reasoning over Ontologies with DLV 160
Enhancing DLV for Large-Scale Reasoning 160
Querying large expressive horn ontologies 158
The ASP System DLV: Advancements and Applications 157
Large Scale DLV: Preliminary Results 155
Large-scale reasoning on expressive horn ontologies 148
A multi-engine approach to answer-set programming 146
First Steps towards Reasoning on Big Data with DLV 146
A REST-based development framework for ASP: Tools and application 145
A DLP System with Object-Oriented Features 145
20th {RCRA} International workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion" 144
An Agent System Reasoning about the Web and the User 143
Algorithm Selection for Paracoherent Answer Set Computation 143
ASP-Core-2 Input Language Format 139
A Parallel ASP Instantiator Based on DLV 138
A graphic tool for ontology reasoning under Datalog∃ 136
Querying cultural heritage knowledge bases in natural language: Discussion paper 135
A Generator of Hard 2QBF Formulas and ASP Programs 134
"Backjumping and Look-back Heuristics for Disjunctive Logic Programming 131
Smart Devices and Large Scale Reasoning via ASP: Tools and Applications 131
The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track 130
A Logic-Based Question Answering System for Cultural Heritage 130
Beyond NP: Quantifying over Answer Sets 130
An ASP-based system for team-building in the Gioia-Tauro seaport 129
ASPQ: An ASP-based 2QBF solver 129
Decomposing and pruning primary key violations from large data sets 129
An Heuristic for Load Balancing and Granularity Control in the Parallel Instantiation of Disjunctive Logic Programs 128
Answer Set Programming 128
A compiler for stratified Datalog programs: preliminary results 126
Advances in WASP 125
Allotment Problem in Travel Industry: A Solution Based on ASP 123
On Look-Ahead Heuristics in Disjunctive Logic Programming 122
Datalog Development Tools 122
A Visual Tracer for DLV 122
lp2cpp: A tool for compiling stratified logic programs 122
An integrated graphic tool for developing and testing DLV programs 121
Generating Hard Random Boolean Formulas and Disjunctive Logic Programs 121
Empowering ASPQ to win in QBFEval 2018 121
A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size 120
ASP at Work: Spin-off and Applications of the DLV System 120
The AI system DLV: Ontologies, reasoning, and more 119
Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis 119
Answer Set Programming: Language, Applications and Development Tools 118
Computing modular paracoherent answer sets: Preliminary result 117
New models for generating hard random boolean formulas and disjunctive logic programs 116
Advanced heuristics for parallel ASP instantiation 115
ASP-Based Declarative Reasoning in Data-Intensive Enterprise and IoT Applications 114
A Java wrapper for DLV 114
Design and Results of the Fifth Answer Set Programming Competition 113
Better Paracoherent Answer Sets with Less Resources 113
Un Sistema ad Agenti per il Supporto alla Costruzione di Percorsi Didattici 111
Exploiting Agents in E-Learning and Skills Management Context 111
Erratum: A logic-based system for e-tourism (Fundamenta Informaticae (2010) 105:1-2) 111
Debugging of answer set programs using paracoherent reasoning 111
A Visual Interface for Drawing ASP Programs 110
Anytime computation of cautious consequences in answer set programming 109
ASPIDE: Integrated Development Environment for Answer Set Programming 107
Applications of Answer Set Programming to Smart Devices and Large Scale Reasoning 106
Logic-based Composition of Business Process Models 105
Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper) 105
IDUM a Logic-Based System for e-Tourism 105
Interoperability Mechanisms for Ontology Management Systems 104
Ontology: Introduction 104
A Direct ASP Encoding for Declare 103
OntoDLV: An ASP-based System for Enterprise Ontologies 103
Partial Compilation of ASP Programs 103
ASP and subset minimality: Enumeration, cautious reasoning and MUSes 102
An integrated environment for reasoning over ontologies via logic programming 102
JASP: A Framework for Integrating Answer Set Programming with Java 102
Consistent Query Answering via ASP from Different Perspectives: Theory and Practice 102
Development tools for datalog 102
Parallel Instantiation of ASP Programs: Techniques and Experiments 100
WASP: A native ASP solver based on constraint learning 98
Information diffusion in a multi-social-network scenario: framework and ASP-based analysis 98
The Answer Set Programming Competition 98
The Birth of a WASP: Preliminary Report on a New ASP Solver 97
JWASP: A New Java-Based {ASP} Solver 96
A system for translating natural language questions into SPARQL queries with neural networks: Preliminary results (Discussion Paper) 95
The third open answer set programming competition 94
Overcoming the grounding bottleneck due to constraints in ASP solving: Constraints become propagators 94
The DLV Parallel Grounder 93
Experimental evaluation of algorithms for solving problems with combinatorial explosion 92
Comparing alternative solutions for unfounded set propagation in ASP 92
The Sixth Answer Set Programming Competition 92
Team-building with Answer Set Programming in the Gioia-Tauro Seaport 91
Reduct-based Stability Check Using Literal Assumptions 90
Evaluation techniques and systems for answer set programming: A survey 89
Advances in Multi-engine ASP Solving 88
Preliminary Report on WASP 2.0 88
The Fourth Answer Set Programming Competition: Preliminary Report 88
Compilation of Aggregates in ASP Systems 88
Unit testing in ASPIDE 87
On the implementation of weak constraints in WASP 87
Totale 12.203
Salva come PNG Salva come JPEG
Categoria #
all - tutte 120.770
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 120.770
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021821 0 0 0 0 0 182 29 188 17 191 67 147
2021/20222.099 16 260 11 114 183 115 25 386 23 83 314 569
2022/20232.498 270 298 36 238 360 198 33 488 215 54 203 105
2023/20241.528 135 98 135 113 104 172 65 91 114 89 109 303
2024/20253.686 168 496 93 212 229 209 295 292 445 223 336 688
2025/20266.888 1.332 568 1.082 1.226 2.082 598 0 0 0 0 0 0
Totale 20.369