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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019210 0 0 0 0 0 7 4 8 7 0 180 4
2019/20201.697 150 142 42 170 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.698 270 298 36 238 360 198 83 505 231 68 245 166
2023/2024741 149 102 145 128 132 85 0 0 0 0 0 0
Totale 9.208