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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021147 0 0 0 0 0 0 0 0 0 0 0 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.669 168 496 93 212 229 209 290 288 444 223 334 683
2025/202611.084 1.327 568 1.079 1.218 2.067 714 1.163 525 708 876 384 455
Totale 24.548