IRIS
RICCA, Francesco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.205
EU - Europa 3.470
AS - Asia 1.704
AF - Africa 262
OC - Oceania 17
SA - Sud America 14
Continente sconosciuto - Info sul continente non disponibili 6
Totale 10.678
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.063
UA - Ucraina 1.202
DE - Germania 827
IT - Italia 575
CN - Cina 570
SG - Singapore 516
SE - Svezia 347
SN - Senegal 260
HK - Hong Kong 258
TR - Turchia 211
CA - Canada 139
AT - Austria 129
FI - Finlandia 109
GB - Regno Unito 75
IN - India 46
KR - Corea 43
FR - Francia 37
BE - Belgio 35
NL - Olanda 25
RU - Federazione Russa 22
ES - Italia 17
AU - Australia 16
CZ - Repubblica Ceca 16
RO - Romania 14
SA - Arabia Saudita 13
GR - Grecia 12
IR - Iran 10
BR - Brasile 8
PT - Portogallo 7
EU - Europa 6
IE - Irlanda 6
IQ - Iraq 6
VN - Vietnam 6
JP - Giappone 5
AZ - Azerbaigian 3
BD - Bangladesh 3
CL - Cile 3
IL - Israele 3
AR - Argentina 2
BG - Bulgaria 2
CH - Svizzera 2
HU - Ungheria 2
LA - Repubblica Popolare Democratica del Laos 2
MN - Mongolia 2
PH - Filippine 2
SK - Slovacchia (Repubblica Slovacca) 2
BO - Bolivia 1
BY - Bielorussia 1
DK - Danimarca 1
DO - Repubblica Dominicana 1
EG - Egitto 1
GE - Georgia 1
HR - Croazia 1
IS - Islanda 1
JO - Giordania 1
KH - Cambogia 1
LV - Lettonia 1
MX - Messico 1
MY - Malesia 1
NO - Norvegia 1
NZ - Nuova Zelanda 1
PA - Panama 1
PL - Polonia 1
TH - Thailandia 1
ZA - Sudafrica 1
Totale 10.678
Salva come PNG Salva come JPEG
Città #
Chandler 838
Jacksonville 754
Boardman 448
Singapore 413
Dearborn 402
San Mateo 344
Dakar 260
Lawrence 183
Roxbury 183
Izmir 179
Shanghai 169
Cambridge 140
Ashburn 123
Bremen 122
Des Moines 118
Ottawa 117
Florence 111
Rende 111
Vienna 111
Helsinki 107
Grafing 106
Ann Arbor 85
New York 82
Inglewood 75
Beijing 71
Brooklyn 64
Ogden 63
Munich 56
Seoul 42
Seattle 40
Wilmington 36
Rome 35
Brussels 34
Redwood City 29
San Francisco 28
Los Angeles 26
Guangzhou 25
Cosenza 22
Toronto 17
Hong Kong 16
Sanayi 16
Fremont 15
Palermo 13
Jinan 12
Nanjing 12
Santa Clara 12
Jiaxing 11
Leawood 11
Athens 10
Brno 10
Bucharest 10
Frankfurt am Main 10
Houston 10
Norwalk 10
Washington 10
Catanzaro 9
Falls Church 9
Hefei 9
Kocaeli 9
Milan 9
Pune 9
Augusta 8
Kyiv 8
London 8
Paris 8
Ardabil 7
Bari 7
Shenyang 7
Stefanaconi 7
Wuhan 7
Canberra 6
Haikou 6
Ningbo 6
Oldenburg 6
Reggio Calabria 6
Fuscaldo 5
Hai Duong 5
Mumbai 5
Riyadh 5
Spilinga 5
Sydney 5
Tokyo 5
Turin 5
Barcelona 4
Berlin 4
Changsha 4
Chernivtsi 4
Cirò Marina 4
Crotone 4
Genova 4
Hyderabad 4
Kensington 4
Lisbon 4
Luoyang 4
Melbourne 4
Napoli 4
Olomouc 4
Riva Del Garda 4
Taizhou 4
Viladecans 4
Totale 6.616
Salva come PNG Salva come JPEG
Nome #
A Backjumping Tecnique for Disjunctive Logic Programming 299
The ASP System DLV2 165
The ASP System DLV: Advancements and Applications 109
DLV: An Advanced System for Knowledge Representation and Reasoning 106
Developing ASP programs with ASPIDE and LoIDE 100
A Backjumping Technique for Disjunctive Logic Programming 99
A Logic-Based System for e-Tourism 98
Reasoning over Ontologies with DLV 95
Enhancing DLV for Large-Scale Reasoning 92
ASPQ: An ASP-based 2QBF solver 90
First Steps towards Reasoning on Big Data with DLV 90
Evaluation of Disjunctive Programs in WASP 90
An ASP-based system for team-building in the Gioia-Tauro seaport 89
An Agent System Reasoning about the Web and the User 89
lp2cpp: A tool for compiling stratified logic programs 89
Large-scale reasoning on expressive horn ontologies 88
Large Scale DLV: Preliminary Results 88
Algorithm Selection for Paracoherent Answer Set Computation 87
Generating Hard Random Boolean Formulas and Disjunctive Logic Programs 86
A REST-based development framework for ASP: Tools and application 86
Decomposing and pruning primary key violations from large data sets 84
A DLP System with Object-Oriented Features 83
On Look-Ahead Heuristics in Disjunctive Logic Programming 82
A graphic tool for ontology reasoning under Datalog∃ 81
20th {RCRA} International workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion" 81
Empowering ASPQ to win in QBFEval 2018 81
A Logic-Based Question Answering System for Cultural Heritage 81
An Heuristic for Load Balancing and Granularity Control in the Parallel Instantiation of Disjunctive Logic Programs 80
Answer Set Programming: Language, Applications and Development Tools 80
Answer Set Programming 80
ASP-Core-2 Input Language Format 80
A Parallel ASP Instantiator Based on DLV 79
Querying cultural heritage knowledge bases in natural language: Discussion paper 79
A Visual Interface for Drawing ASP Programs 78
An integrated graphic tool for developing and testing DLV programs 77
The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track 77
Allotment Problem in Travel Industry: A Solution Based on ASP 76
A compiler for stratified Datalog programs: preliminary results 76
Erratum: A logic-based system for e-tourism (Fundamenta Informaticae (2010) 105:1-2) 76
Un Sistema ad Agenti per il Supporto alla Costruzione di Percorsi Didattici 75
Design and Results of the Fifth Answer Set Programming Competition 75
Querying large expressive horn ontologies 75
A multi-engine approach to answer-set programming 74
Anytime computation of cautious consequences in answer set programming 73
ASP at Work: Spin-off and Applications of the DLV System 73
Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis 72
Debugging of answer set programs using paracoherent reasoning 72
Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper) 71
Advanced heuristics for parallel ASP instantiation 71
Computing modular paracoherent answer sets: Preliminary result 71
Better Paracoherent Answer Sets with Less Resources 71
Beyond NP: Quantifying over Answer Sets 71
Ontology: Introduction 70
Advances in WASP 70
OntoDLV: An ASP-based System for Enterprise Ontologies 69
Interoperability Mechanisms for Ontology Management Systems 69
Datalog Development Tools 68
Exploiting Agents in E-Learning and Skills Management Context 68
A Generator of Hard 2QBF Formulas and ASP Programs 68
The AI system DLV: Ontologies, reasoning, and more 67
The Answer Set Programming Competition 66
ASPIDE: Integrated Development Environment for Answer Set Programming 65
Development tools for datalog 65
IDUM a Logic-Based System for e-Tourism 64
Consistent Query Answering via ASP from Different Perspectives: Theory and Practice 64
JASP: A Framework for Integrating Answer Set Programming with Java 63
A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size 63
Reduct-based Stability Check Using Literal Assumptions 63
New models for generating hard random boolean formulas and disjunctive logic programs 63
A Visual Tracer for DLV 62
"Backjumping and Look-back Heuristics for Disjunctive Logic Programming 62
A Java wrapper for DLV 62
Smart Devices and Large Scale Reasoning via ASP: Tools and Applications 62
Solving Hard Problems for the Second Level of the Polynomial Hierarchy: Heuristics and Benchmarks 60
Experimental evaluation of algorithms for solving problems with combinatorial explosion 58
Partial Compilation of ASP Programs 58
Team-building with Answer Set Programming in the Gioia-Tauro Seaport 57
Systems, Engineering Environments, and Competitions 57
Evaluation techniques and systems for answer set programming: A survey 57
Experimenting with Parallelism for the Instantiation of ASP Programs 56
Optimum stable model search: algorithms and implementation 56
Taming primary key violations to query large inconsistent data via ASP 56
Advances in Multi-engine ASP Solving 55
The third open answer set programming competition 55
Compilation of aggregates in ASP: Preliminary results 54
An integrated environment for reasoning over ontologies via logic programming 53
Comparing alternative solutions for unfounded set propagation in ASP 53
Parallel Instantiation of ASP Programs 53
On the implementation of weak constraints in WASP 52
Declarative specification of benchmark sessions via ASP 52
An ASP-Based Data Integration System 52
The Fourth Answer Set Programming Competition: Preliminary Report 52
Disjunctive Logic Programming with types and objects: The DLP+ System 51
The Birth of a WASP: Preliminary Report on a New ASP Solver 51
On the application of answer set programming to the conference paper assignment problem 51
Knowledge and Reasoning 51
The Sixth Answer Set Programming Competition 50
External propagators in wasp: Preliminary report 50
Overcoming the grounding bottleneck due to constraints in ASP solving: Constraints become propagators 50
Explaining ASP-based Operating Room Schedules 50
Totale 7.413
Salva come PNG Salva come JPEG
Categoria #
all - tutte 76.376
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 76.376
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.193 0 0 0 0 112 399 139 192 34 42 176 99
2020/20211.473 216 22 166 206 42 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/20251.146 168 496 93 212 177 0 0 0 0 0 0 0
Totale 10.941