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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021405 0 0 0 0 0 0 0 0 0 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/202610.219 1.332 568 1.082 1.226 2.082 719 1.164 525 714 807 0 0
Totale 23.700