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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022860 0 0 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/20265.445 652 262 548 492 975 365 592 251 368 473 229 238
2026/2027458 287 133 38 0 0 0 0 0 0 0 0 0
Totale 12.403