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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019184 0 0 0 0 0 0 0 0 0 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.498 270 298 36 238 360 198 33 488 215 54 203 105
2023/20241.113 135 98 135 113 104 172 65 91 114 86 0 0
Totale 9.380