IRIS
RICCA, Francesco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 10.618
AS - Asia 8.220
EU - Europa 5.657
SA - Sud America 2.368
AF - Africa 558
Continente sconosciuto - Info sul continente non disponibili 361
OC - Oceania 21
Totale 27.803
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 10.021
SG - Singapore 3.117
BR - Brasile 1.697
IT - Italia 1.624
CN - Cina 1.519
VN - Vietnam 1.401
UA - Ucraina 1.249
DE - Germania 986
HK - Hong Kong 563
SE - Svezia 360
FR - Francia 332
CA - Canada 269
SN - Senegal 265
TR - Turchia 258
AR - Argentina 253
BD - Bangladesh 246
IN - India 211
KR - Corea 200
FI - Finlandia 175
GB - Regno Unito 173
RU - Federazione Russa 173
AT - Austria 166
MX - Messico 122
IQ - Iraq 119
EC - Ecuador 108
ID - Indonesia 95
ZA - Sudafrica 88
NL - Olanda 82
CO - Colombia 76
PK - Pakistan 70
VE - Venezuela 69
CL - Cile 58
PL - Polonia 57
ES - Italia 53
MA - Marocco 53
MY - Malesia 53
BE - Belgio 43
SA - Arabia Saudita 43
PY - Paraguay 41
UZ - Uzbekistan 36
CR - Costa Rica 35
TN - Tunisia 34
PH - Filippine 33
DZ - Algeria 29
JP - Giappone 29
JO - Giordania 26
KE - Kenya 25
EG - Egitto 24
PE - Perù 23
AE - Emirati Arabi Uniti 21
HN - Honduras 21
JM - Giamaica 21
AU - Australia 20
GT - Guatemala 20
NP - Nepal 20
RO - Romania 20
SV - El Salvador 20
UY - Uruguay 20
AZ - Azerbaigian 19
BO - Bolivia 19
CZ - Repubblica Ceca 19
KZ - Kazakistan 18
DO - Repubblica Dominicana 17
GR - Grecia 15
IL - Israele 15
NI - Nicaragua 15
PA - Panama 15
AL - Albania 13
LT - Lituania 13
TT - Trinidad e Tobago 13
CH - Svizzera 12
IR - Iran 11
LB - Libano 11
BG - Bulgaria 10
IE - Irlanda 10
NO - Norvegia 10
PR - Porto Rico 10
PT - Portogallo 10
CW - ???statistics.table.value.countryCode.CW??? 9
OM - Oman 9
BH - Bahrain 8
BY - Bielorussia 8
HU - Ungheria 8
PS - Palestinian Territory 8
TH - Thailandia 8
CI - Costa d'Avorio 7
ET - Etiopia 7
GP - Guadalupe 7
KW - Kuwait 7
MN - Mongolia 7
EU - Europa 6
GE - Georgia 6
AO - Angola 5
BB - Barbados 5
CY - Cipro 5
HR - Croazia 5
KG - Kirghizistan 5
MD - Moldavia 5
NG - Nigeria 5
SY - Repubblica araba siriana 5
Totale 27.385
Salva come PNG Salva come JPEG
Città #
Singapore 1.228
Council Bluffs 910
Ashburn 881
Chandler 838
San Jose 803
Jacksonville 762
Dallas 538
Ho Chi Minh City 481
Boardman 449
Dearborn 402
Beijing 394
San Mateo 344
Hanoi 319
Hong Kong 311
Dakar 265
Staranzano 204
Seoul 195
New York 192
Lauterbourg 191
Lawrence 185
Roxbury 183
Izmir 179
Shanghai 179
Milan 177
Hefei 166
Helsinki 154
Rende 151
São Paulo 148
Cambridge 141
Los Angeles 128
Des Moines 126
Vienna 125
Florence 124
Bremen 122
Chicago 122
Ottawa 121
Munich 116
Grafing 106
Brooklyn 105
Rome 95
Santa Clara 91
Ann Arbor 85
Inglewood 76
Columbus 66
Haiphong 66
Ogden 63
Seattle 56
The Dalles 56
Da Nang 53
Phoenix 53
Rio de Janeiro 51
Catanzaro 50
San Francisco 46
Miano 45
Baghdad 44
Toronto 43
Warsaw 43
Naples 41
Guangzhou 40
Biên Hòa 39
Belo Horizonte 38
Frankfurt am Main 38
Hải Dương 38
Wilmington 37
Brasília 36
Brussels 35
Dhaka 34
Tashkent 34
Cosenza 33
Guayaquil 33
Amsterdam 31
Quito 30
Tianjin 30
Johannesburg 29
Redwood City 29
Thái Bình 29
Lahore 26
London 26
Mexico City 26
Palermo 26
Curitiba 25
Montreal 25
Mumbai 25
Tokyo 25
Turin 24
San José 23
Amman 22
Asunción 22
Atlanta 22
Buenos Aires 22
North Bergen 22
Omaha 22
Chennai 21
Kuala Lumpur 21
Medellín 21
Nairobi 21
Santiago 21
Bari 20
Boston 20
Jakarta 20
Totale 14.849
Salva come PNG Salva come JPEG
Nome #
A Backjumping Tecnique for Disjunctive Logic Programming 386
The ASP System DLV2 267
A Backjumping Technique for Disjunctive Logic Programming 224
DLV: An Advanced System for Knowledge Representation and Reasoning 214
Large-scale reasoning on expressive horn ontologies 208
Reasoning over Ontologies with DLV 206
Enhancing DLV for Large-Scale Reasoning 206
Developing ASP programs with ASPIDE and LoIDE 205
Answer Set Programming 202
Large Scale DLV: Preliminary Results 201
A Logic-Based System for e-Tourism 199
Evaluation of Disjunctive Programs in WASP 198
Smart Devices and Large Scale Reasoning via ASP: Tools and Applications 192
A graphic tool for ontology reasoning under Datalog∃ 191
The ASP System DLV: Advancements and Applications 191
A REST-based development framework for ASP: Tools and application 191
Querying large expressive horn ontologies 190
A Parallel ASP Instantiator Based on DLV 180
Algorithm Selection for Paracoherent Answer Set Computation 180
ASPQ: An ASP-based 2QBF solver 178
A multi-engine approach to answer-set programming 176
An Agent System Reasoning about the Web and the User 175
ASP-Core-2 Input Language Format 173
Advances in WASP 172
A Generator of Hard 2QBF Formulas and ASP Programs 172
20th {RCRA} International workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion" 171
A DLP System with Object-Oriented Features 171
First Steps towards Reasoning on Big Data with DLV 170
Decomposing and pruning primary key violations from large data sets 169
Beyond NP: Quantifying over Answer Sets 168
An Heuristic for Load Balancing and Granularity Control in the Parallel Instantiation of Disjunctive Logic Programs 167
"Backjumping and Look-back Heuristics for Disjunctive Logic Programming 167
lp2cpp: A tool for compiling stratified logic programs 166
A compiler for stratified Datalog programs: preliminary results 166
The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track 166
Querying cultural heritage knowledge bases in natural language: Discussion paper 162
A Logic-Based Question Answering System for Cultural Heritage 162
An integrated graphic tool for developing and testing DLV programs 160
An ASP-based system for team-building in the Gioia-Tauro seaport 158
Answer Set Programming: Language, Applications and Development Tools 158
Computing modular paracoherent answer sets: Preliminary result 157
Datalog Development Tools 155
A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size 155
New models for generating hard random boolean formulas and disjunctive logic programs 154
Design and Results of the Fifth Answer Set Programming Competition 153
A Visual Tracer for DLV 153
ASP at Work: Spin-off and Applications of the DLV System 153
Generating Hard Random Boolean Formulas and Disjunctive Logic Programs 153
The AI system DLV: Ontologies, reasoning, and more 153
A Direct ASP Encoding for Declare 151
Allotment Problem in Travel Industry: A Solution Based on ASP 151
Parallel Instantiation of ASP Programs: Techniques and Experiments 151
Better Paracoherent Answer Sets with Less Resources 151
Debugging of answer set programs using paracoherent reasoning 150
ASP-Based Declarative Reasoning in Data-Intensive Enterprise and IoT Applications 149
Empowering ASPQ to win in QBFEval 2018 149
On Look-Ahead Heuristics in Disjunctive Logic Programming 148
Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis 148
OntoDLV: An ASP-based System for Enterprise Ontologies 146
Overcoming the grounding bottleneck due to constraints in ASP solving: Constraints become propagators 146
Exploiting Agents in E-Learning and Skills Management Context 144
Erratum: A logic-based system for e-tourism (Fundamenta Informaticae (2010) 105:1-2) 144
Enumeration of Minimal Models and MUSes in WASP 142
WASP: A native ASP solver based on constraint learning 142
Advanced heuristics for parallel ASP instantiation 139
Applications of Answer Set Programming to Smart Devices and Large Scale Reasoning 138
Un Sistema ad Agenti per il Supporto alla Costruzione di Percorsi Didattici 138
Consistent Query Answering via ASP from Different Perspectives: Theory and Practice 137
ASPIDE: Integrated Development Environment for Answer Set Programming 137
Logic-based Composition of Business Process Models 136
Paracoherent answer set computation 135
ASP and subset minimality: Enumeration, cautious reasoning and MUSes 134
Anytime computation of cautious consequences in answer set programming 134
Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper) 134
A Java wrapper for DLV 134
An integrated environment for reasoning over ontologies via logic programming 132
A Visual Interface for Drawing ASP Programs 132
Partial Compilation of ASP Programs 132
Interoperability Mechanisms for Ontology Management Systems 131
The Answer Set Programming Competition 131
A Loosely-coupled Neural-symbolic approach to Compliance of Electric Panels 130
Ontology: Introduction 130
IDUM a Logic-Based System for e-Tourism 129
Development tools for datalog 129
The DLV Parallel Grounder 128
The Fourth Answer Set Programming Competition: Preliminary Report 128
A system for translating natural language questions into SPARQL queries with neural networks: Preliminary results (Discussion Paper) 128
The Birth of a WASP: Preliminary Report on a New ASP Solver 127
An Efficient Solver for ASP(Q) 126
JASP: A Framework for Integrating Answer Set Programming with Java 126
An ASP-Based Data Integration System 126
Neuro-Symbolic AI for Compliance Checking of Electrical Control Panels 125
JWASP: A New Java-Based {ASP} Solver 125
LLASP: Fine-tuning Large Language Models for Answer Set Programming 124
Efficient Compliance Computation in Probabilistic Declarative Specifications 123
Team-building with Answer Set Programming in the Gioia-Tauro Seaport 123
The Sixth Answer Set Programming Competition 123
Mitigating the Impact of out of Vocabulary Words in a Neural-Machine-Translation-based Question Answering System 122
Information diffusion in a multi-social-network scenario: framework and ASP-based analysis 121
A Neural-Machine-Translation System Resilient to Out of Vocabulary Words for Translating Natural Language to SPARQL 120
Totale 15.823
Salva come PNG Salva come JPEG
Categoria #
all - tutte 145.847
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 145.847
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.812 0 0 0 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.669 168 496 93 212 229 209 290 288 444 223 334 683
2025/202611.143 1.327 568 1.079 1.218 2.067 714 1.163 525 708 876 384 514
2026/20273.196 617 265 899 1.415 0 0 0 0 0 0 0 0
Totale 27.803