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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20222.083 0 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.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/2027817 617 200 0 0 0 0 0 0 0 0 0 0
Totale 25.424