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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020543 0 0 0 0 0 0 0 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.889 168 496 93 212 229 209 295 187 0 0 0 0
Totale 11.684