IRIS
PERRI, Simona
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.881
AS - Asia 3.540
EU - Europa 2.533
SA - Sud America 976
AF - Africa 331
OC - Oceania 12
Continente sconosciuto - Info sul continente non disponibili 4
AN - Antartide 1
Totale 11.278
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.676
SG - Singapore 1.324
CN - Cina 735
BR - Brasile 695
VN - Vietnam 635
UA - Ucraina 572
DE - Germania 490
IT - Italia 473
SE - Svezia 203
SN - Senegal 164
FR - Francia 158
HK - Hong Kong 135
RU - Federazione Russa 132
TR - Turchia 119
CA - Canada 107
FI - Finlandia 106
KR - Corea 98
IN - India 96
AR - Argentina 88
GB - Regno Unito 81
BD - Bangladesh 77
AT - Austria 76
MX - Messico 66
NL - Olanda 56
ZA - Sudafrica 51
IQ - Iraq 49
EC - Ecuador 43
PK - Pakistan 43
CO - Colombia 41
MA - Marocco 36
SA - Arabia Saudita 33
PL - Polonia 32
VE - Venezuela 26
CL - Cile 25
PY - Paraguay 22
BE - Belgio 21
CZ - Repubblica Ceca 21
ES - Italia 20
TN - Tunisia 20
ID - Indonesia 19
UZ - Uzbekistan 18
JO - Giordania 16
PE - Perù 16
GR - Grecia 15
JP - Giappone 14
MY - Malesia 14
LT - Lituania 13
PH - Filippine 13
AE - Emirati Arabi Uniti 12
DZ - Algeria 12
KE - Kenya 12
UY - Uruguay 12
AU - Australia 11
IR - Iran 11
NP - Nepal 11
RO - Romania 11
IL - Israele 9
PT - Portogallo 9
AL - Albania 8
AZ - Azerbaigian 8
EG - Egitto 8
ET - Etiopia 8
NG - Nigeria 8
OM - Oman 8
BO - Bolivia 7
KZ - Kazakistan 7
BH - Bahrain 6
CH - Svizzera 6
DO - Repubblica Dominicana 6
CR - Costa Rica 5
PA - Panama 5
BG - Bulgaria 4
BY - Bielorussia 4
HU - Ungheria 4
JM - Giamaica 4
KG - Kirghizistan 4
SY - Repubblica araba siriana 4
AO - Angola 3
EU - Europa 3
GT - Guatemala 3
IE - Irlanda 3
KW - Kuwait 3
MD - Moldavia 3
MN - Mongolia 3
PS - Palestinian Territory 3
SV - El Salvador 3
AM - Armenia 2
BN - Brunei Darussalam 2
CG - Congo 2
CI - Costa d'Avorio 2
DJ - Gibuti 2
HN - Honduras 2
IS - Islanda 2
LB - Libano 2
LV - Lettonia 2
NI - Nicaragua 2
RS - Serbia 2
AQ - Antartide 1
BA - Bosnia-Erzegovina 1
BB - Barbados 1
Totale 11.259
Salva come PNG Salva come JPEG
Città #
Singapore 536
Chandler 430
Jacksonville 313
San Jose 296
Dallas 286
Ashburn 239
Ho Chi Minh City 214
Boardman 208
Beijing 183
Dakar 164
San Mateo 157
Dearborn 156
Hanoi 145
Hong Kong 114
Seoul 96
Helsinki 87
Lauterbourg 75
Lawrence 75
Izmir 74
Roxbury 74
Shanghai 73
Munich 71
New York 69
Brooklyn 67
Bremen 63
Hefei 62
Rende 59
Des Moines 58
Cambridge 57
Ottawa 57
Los Angeles 56
Grafing 55
Vienna 55
São Paulo 54
Florence 47
Seattle 39
Santa Clara 38
Rome 37
The Dalles 34
Da Nang 32
Ann Arbor 31
Rio de Janeiro 31
Dhaka 26
Fremont 26
Ogden 26
Council Bluffs 25
Haiphong 24
Quito 24
Warsaw 23
Frankfurt am Main 22
Biên Hòa 21
Baghdad 20
Columbus 20
Guangzhou 20
Johannesburg 20
Toronto 20
Brno 19
Catanzaro 19
San Francisco 19
Brasília 16
Brussels 16
Falkenstein 16
Littleton 16
London 16
Sanayi 16
Tashkent 16
Wilmington 16
Asunción 15
Hải Dương 15
Montreal 15
Naples 15
Orem 15
Thái Bình 15
Turku 15
Catania 14
Chennai 14
Cosenza 14
Guayaquil 14
Mendicino 14
Ninh Bình 14
Tianjin 14
Amman 13
Curitiba 13
Inglewood 13
Mexico City 13
Milan 13
Redwood City 13
Leawood 12
Amsterdam 11
Buenos Aires 11
Hillsboro 11
Lima 11
Montevideo 11
Riyadh 11
Salvador 11
Santiago 11
Casablanca 10
Jeddah 10
Kyiv 10
Medellín 10
Totale 5.990
Salva come PNG Salva come JPEG
Nome #
The ASP System DLV2 244
Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation 187
DLV: An Advanced System for Knowledge Representation and Reasoning 186
Reasoning over Ontologies with DLV 186
Enhancing DLV for Large-Scale Reasoning 185
Fostering the Use of Declarative Formalisms for Real-World Applications: The EmbASP Framework 183
Large-scale reasoning on expressive horn ontologies 183
Large Scale DLV: Preliminary Results 183
Integrating rule-based AI tools into mainstream game development 177
Querying large expressive horn ontologies 175
The ASP System DLV: Advancements and Applications 173
A framework for easing the development of applications embedding answer set programming 172
Boosting the Development of ASP-Based Applications in Mobile and General Scenarios 169
A Parallel ASP Instantiator Based on DLV 168
I-DLV+MS: Preliminary Report on an Automatic ASP Solver Selector 166
The DLV System 164
Abduction with Penalization in Logic Programming 163
Answer set programming and declarative problem solving in game AIs 158
First Steps towards Reasoning on Big Data with DLV 158
Advanced BackJumping Techniques for Rule Instantiations 157
I-DLV: The new intelligent grounder of DLV 155
Optimizing answer set computation via heuristic-based decomposition 154
Efficiently Coupling the I-DLV Grounder with ASP Solvers 154
BackJumping Techniques for Rules Instantiation in the DLV System 153
Embedding ASP in mobile systems: discussion and preliminary implementations 150
Incremental Answer Set Programming with Overgrounding 150
DLV - Declarative Problem Solving Using Answer Set Programming 149
An Heuristic for Load Balancing and Granularity Control in the Parallel Instantiation of Disjunctive Logic Programs 147
Census Data Repair: A Challenging Application of Disjunctive Logic Programming 147
New DLV Features for Data Integration 147
The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track 145
Declarative and Computational Properties of Logic Programs with Aggregates 142
The AI system DLV: Ontologies, reasoning, and more 139
ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding 138
An integrated graphic tool for developing and testing DLV programs 138
Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates 138
External computations and interoperability in the new DLV grounder 138
System Description: DLV with Aggregates 138
I-DLV: The new intelligent grounder of DLV 132
ASP-Based Declarative Reasoning in Data-Intensive Enterprise and IoT Applications 131
How Modern Deductive Database Systems Can Enhance Data Integration 130
Handling Function Symbols in the DLV Grounder 128
A machine learning guided rewriting approach for asp logic programs 128
Enhancing DLV Instantiator by Backjumping Techniques 127
Advanced heuristics for parallel ASP instantiation 127
The Eternal Battle between Determinism and Nondeterminism: preliminary Studies in the Sudoku Domain 123
The DLV System for Knowledge Representation and Reasoning 123
Applications of Answer Set Programming to Smart Devices and Large Scale Reasoning 122
System Description: DLV 121
Memory-Saving Evaluation Plans for Datalog 121
I-DLV-sr: A stream reasoning system based on I-DLV 120
A Formal Comparison between Datalog-based Languages for Stream Reasoning 119
Parametric Connectives in Disjunctive Logic Programming 118
Parallel Instantiation of ASP Programs: Techniques and Experiments 117
The DLV Parallel Grounder 110
IDADA: A Blended Inductive-Deductive Approach for Data Augmentation 105
The Disjunctive Datalog System DLV 104
Optimizing Answer Set Computation via Heuristic-Based Decomposition -- [Extended version of the work winner of the BEST PAPER AWARD at PADL 2018] 104
EnviroStream: A Stream Reasoning Benchmark for Environmental and Climate Monitoring 103
LLASP: Fine-tuning Large Language Models for Answer Set Programming 102
Improving ASP Instantiators by Join-Ordering Methods 98
Parallel Instantiation of ASP Programs 98
Experimenting with Parallelism for the Instantiation of ASP Programs 95
Join Ordering Techniques for Knowledge Base Systems 95
Evaluation techniques and systems for answer set programming: A survey 95
Parametric Connectives in Disjunctive Logic Programming 92
The Stream Reasoning System I-DLV-sr: Enhancements and Applications in Smart Cities 90
Efficient Parallel ASP Instantiation via Dynamic Rewriting Workshop 88
Experimenting with Parallelism for the Instantiation of ASP Programs 88
Increasing Parallelism while Instantiating ASP Programs 87
Monitoring and Scheduling of Semiconductor Failure Analysis Labs 86
Parallel Instantiation in DLV 86
Precomputing Datalog Evaluation Plans in Large-Scale Scenarios 86
Preface to the proceedings of the 35th Italian Conference on Computational Logic - CILC 2020 85
Towards a Fully-Parallel DLV System 85
Local Search Techniques for Disjunctive Logic Programs 84
Indexing Techniques for the DLV Instantiator 82
Towards Effective ASP-based Stream Reasoning: Facilitate the Reasoning over Patterns of Events 79
Introduction to the TPLP Special Issue from the 16th European Conference on Logics in Artificial Intelligence (JELIA 2019) 78
New DLV Features for Data Integration. JELIA 2004 78
The Intelligent Grounder of DLV 75
Efficient Parallel ASP Instantiation via Dynamic Rewriting 74
Towards solving path planning in keyhole neurosurgery with answer set programming 71
On Demand Indexing for the DLV Instantiator 71
Grounding and Solving in Answer Set Programming 71
Forget and Regeneration Techniques for Optimizing ASP-Based Stream Reasoning 70
Preface to the Special Issue from the 35th Italian Conference on Computational Logic (CILC 2020) 68
Optimized 3D path planner for steerable catheters with deductive reasoning 66
Optimizing Answer Set Computation via Heuristic-Based Decomposition 61
Utilizzo di AI per la Programmazione Logica Disgiuntiva 58
Forget and Regeneration Techniques for Optimizing ASP-Based Stream Reasoning 49
null 49
ASP-Based Multi-Shot Reasoning via DLV2 with Incremental Grounding 44
Data Augmentation: A Combined Inductive-Deductive Approach Featuring Answer Set Programming 39
Fine-tuning LLMs for answer set programming 36
A Human-Centric Environment {(HCE)} Framework for Sustainable Production in a Bakery 22
Totale 11.453
Salva come PNG Salva come JPEG
Categoria #
all - tutte 57.917
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.917
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021207 0 0 0 0 0 0 0 0 0 85 60 62
2021/20221.018 8 150 5 101 73 66 22 171 6 30 150 236
2022/20231.195 139 160 12 113 184 109 24 161 105 26 83 79
2023/2024835 68 40 97 70 61 107 33 53 41 62 54 149
2024/20251.756 97 234 53 107 126 130 126 173 189 98 146 277
2025/20264.953 652 262 548 492 975 365 592 251 368 448 0 0
Totale 11.453