IRIS
PERRI, Simona
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.388
AS - Asia 2.844
EU - Europa 2.283
SA - Sud America 706
AF - Africa 241
OC - Oceania 11
Continente sconosciuto - Info sul continente non disponibili 4
AN - Antartide 1
Totale 9.478
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.224
SG - Singapore 1.215
CN - Cina 659
UA - Ucraina 565
BR - Brasile 532
DE - Germania 469
IT - Italia 432
VN - Vietnam 392
SE - Svezia 202
SN - Senegal 162
RU - Federazione Russa 125
HK - Hong Kong 119
FI - Finlandia 104
CA - Canada 103
TR - Turchia 101
KR - Corea 97
AT - Austria 71
GB - Regno Unito 68
AR - Argentina 57
NL - Olanda 50
IN - India 48
FR - Francia 46
MX - Messico 41
BD - Bangladesh 37
EC - Ecuador 28
ZA - Sudafrica 28
IQ - Iraq 27
BE - Belgio 21
CZ - Repubblica Ceca 20
PL - Polonia 20
CO - Colombia 19
PK - Pakistan 18
MA - Marocco 17
PY - Paraguay 17
VE - Venezuela 17
ES - Italia 16
SA - Arabia Saudita 16
CL - Cile 14
GR - Grecia 14
JP - Giappone 13
IR - Iran 11
JO - Giordania 11
LT - Lituania 11
AU - Australia 10
ID - Indonesia 10
KE - Kenya 10
PE - Perù 9
TN - Tunisia 9
UZ - Uzbekistan 9
RO - Romania 8
AL - Albania 7
NP - Nepal 7
PT - Portogallo 7
UY - Uruguay 7
AE - Emirati Arabi Uniti 6
BH - Bahrain 6
KZ - Kazakistan 6
BO - Bolivia 5
DO - Repubblica Dominicana 5
IL - Israele 5
BG - Bulgaria 4
CH - Svizzera 4
DZ - Algeria 4
MY - Malesia 4
OM - Oman 4
AO - Angola 3
AZ - Azerbaigian 3
BY - Bielorussia 3
CR - Costa Rica 3
EU - Europa 3
HU - Ungheria 3
IE - Irlanda 3
KG - Kirghizistan 3
PA - Panama 3
AM - Armenia 2
BN - Brunei Darussalam 2
CG - Congo 2
CI - Costa d'Avorio 2
HN - Honduras 2
IS - Islanda 2
JM - Giamaica 2
KW - Kuwait 2
LV - Lettonia 2
MN - Mongolia 2
NG - Nigeria 2
SV - El Salvador 2
SY - Repubblica araba siriana 2
AQ - Antartide 1
BA - Bosnia-Erzegovina 1
BB - Barbados 1
CY - Cipro 1
DK - Danimarca 1
EG - Egitto 1
ET - Etiopia 1
FK - Isole Falkland (Malvinas) 1
GE - Georgia 1
GT - Guatemala 1
LA - Repubblica Popolare Democratica del Laos 1
LB - Libano 1
LK - Sri Lanka 1
Totale 9.469
Salva come PNG Salva come JPEG
Città #
Singapore 463
Chandler 430
Jacksonville 313
Dallas 285
Boardman 207
Beijing 180
Ashburn 162
Dakar 162
San Mateo 157
Dearborn 156
Ho Chi Minh City 131
Hong Kong 101
Seoul 96
Helsinki 86
Hanoi 83
Lawrence 75
Roxbury 74
Izmir 73
Munich 71
Shanghai 69
Brooklyn 66
New York 64
Bremen 63
Hefei 62
Rende 58
Cambridge 57
Des Moines 57
Ottawa 57
Grafing 55
Vienna 55
Florence 45
São Paulo 45
Los Angeles 44
Santa Clara 38
Seattle 38
Rome 35
The Dalles 34
Ann Arbor 31
Fremont 26
Ogden 26
Rio de Janeiro 23
Columbus 20
Council Bluffs 20
Da Nang 20
Toronto 20
Brno 19
San Francisco 19
Biên Hòa 17
Catanzaro 17
Haiphong 17
Warsaw 17
Brussels 16
Guangzhou 16
Littleton 16
Sanayi 16
Wilmington 16
Dhaka 15
Falkenstein 15
Johannesburg 15
Turku 15
Cosenza 14
London 14
Mendicino 14
Montreal 14
Asunción 13
Brasília 13
Inglewood 13
Milan 13
Quito 13
Redwood City 13
Catania 12
Frankfurt am Main 12
Hải Dương 12
Leawood 12
Thái Bình 12
Tianjin 11
Amman 10
Chennai 10
Curitiba 10
Guayaquil 10
Mexico City 10
Naples 10
Porto Alegre 10
Tokyo 9
Washington 9
Athens 8
Baghdad 8
Bucharest 8
Houston 8
Kyiv 8
Nairobi 8
Ninh Bình 8
Phoenix 8
Reggio Calabria 8
Tashkent 8
Amsterdam 7
Ardabil 7
Boston 7
Buenos Aires 7
Bắc Ninh 7
Totale 5.087
Salva come PNG Salva come JPEG
Nome #
The ASP System DLV2 224
Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation 162
DLV: An Advanced System for Knowledge Representation and Reasoning 159
Reasoning over Ontologies with DLV 159
Fostering the Use of Declarative Formalisms for Real-World Applications: The EmbASP Framework 158
Enhancing DLV for Large-Scale Reasoning 158
Querying large expressive horn ontologies 157
The ASP System DLV: Advancements and Applications 156
Large Scale DLV: Preliminary Results 153
Integrating rule-based AI tools into mainstream game development 152
Boosting the Development of ASP-Based Applications in Mobile and General Scenarios 150
I-DLV+MS: Preliminary Report on an Automatic ASP Solver Selector 147
Large-scale reasoning on expressive horn ontologies 146
A framework for easing the development of applications embedding answer set programming 144
First Steps towards Reasoning on Big Data with DLV 144
I-DLV: The new intelligent grounder of DLV 142
Abduction with Penalization in Logic Programming 142
Optimizing answer set computation via heuristic-based decomposition 140
A Parallel ASP Instantiator Based on DLV 138
Advanced BackJumping Techniques for Rule Instantiations 138
The DLV System 136
Answer set programming and declarative problem solving in game AIs 134
BackJumping Techniques for Rules Instantiation in the DLV System 133
DLV - Declarative Problem Solving Using Answer Set Programming 132
Embedding ASP in mobile systems: discussion and preliminary implementations 132
The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track 129
Efficiently Coupling the I-DLV Grounder with ASP Solvers 129
An Heuristic for Load Balancing and Granularity Control in the Parallel Instantiation of Disjunctive Logic Programs 128
Census Data Repair: A Challenging Application of Disjunctive Logic Programming 127
External computations and interoperability in the new DLV grounder 124
System Description: DLV with Aggregates 124
Declarative and Computational Properties of Logic Programs with Aggregates 121
An integrated graphic tool for developing and testing DLV programs 120
Incremental Answer Set Programming with Overgrounding 120
The AI system DLV: Ontologies, reasoning, and more 117
ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding 116
I-DLV: The new intelligent grounder of DLV 115
Advanced heuristics for parallel ASP instantiation 115
ASP-Based Declarative Reasoning in Data-Intensive Enterprise and IoT Applications 114
New DLV Features for Data Integration 110
Handling Function Symbols in the DLV Grounder 109
The Eternal Battle between Determinism and Nondeterminism: preliminary Studies in the Sudoku Domain 108
Enhancing DLV Instantiator by Backjumping Techniques 107
A machine learning guided rewriting approach for asp logic programs 107
Applications of Answer Set Programming to Smart Devices and Large Scale Reasoning 105
Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates 105
How Modern Deductive Database Systems Can Enhance Data Integration 105
System Description: DLV 103
Memory-Saving Evaluation Plans for Datalog 100
I-DLV-sr: A stream reasoning system based on I-DLV 98
Parametric Connectives in Disjunctive Logic Programming 97
Parallel Instantiation of ASP Programs: Techniques and Experiments 97
The DLV System for Knowledge Representation and Reasoning 96
The Disjunctive Datalog System DLV 95
The DLV Parallel Grounder 93
A Formal Comparison between Datalog-based Languages for Stream Reasoning 92
Optimizing Answer Set Computation via Heuristic-Based Decomposition -- [Extended version of the work winner of the BEST PAPER AWARD at PADL 2018] 92
Improving ASP Instantiators by Join-Ordering Methods 90
Evaluation techniques and systems for answer set programming: A survey 89
Experimenting with Parallelism for the Instantiation of ASP Programs 86
IDADA: A Blended Inductive-Deductive Approach for Data Augmentation 85
Parallel Instantiation of ASP Programs 85
EnviroStream: A Stream Reasoning Benchmark for Environmental and Climate Monitoring 80
Parametric Connectives in Disjunctive Logic Programming 80
Towards a Fully-Parallel DLV System 78
Local Search Techniques for Disjunctive Logic Programs 77
Experimenting with Parallelism for the Instantiation of ASP Programs 77
Join Ordering Techniques for Knowledge Base Systems 77
Increasing Parallelism while Instantiating ASP Programs 76
Parallel Instantiation in DLV 76
Efficient Parallel ASP Instantiation via Dynamic Rewriting Workshop 74
Precomputing Datalog Evaluation Plans in Large-Scale Scenarios 72
LLASP: Fine-tuning Large Language Models for Answer Set Programming 71
Indexing Techniques for the DLV Instantiator 71
Introduction to the TPLP Special Issue from the 16th European Conference on Logics in Artificial Intelligence (JELIA 2019) 69
Efficient Parallel ASP Instantiation via Dynamic Rewriting 68
The Stream Reasoning System I-DLV-sr: Enhancements and Applications in Smart Cities 65
On Demand Indexing for the DLV Instantiator 65
Grounding and Solving in Answer Set Programming 65
New DLV Features for Data Integration. JELIA 2004 65
The Intelligent Grounder of DLV 62
Preface to the proceedings of the 35th Italian Conference on Computational Logic - CILC 2020 59
Monitoring and Scheduling of Semiconductor Failure Analysis Labs 57
Towards solving path planning in keyhole neurosurgery with answer set programming 55
Preface to the Special Issue from the 35th Italian Conference on Computational Logic (CILC 2020) 55
Forget and Regeneration Techniques for Optimizing ASP-Based Stream Reasoning 54
Towards Effective ASP-based Stream Reasoning: Facilitate the Reasoning over Patterns of Events 52
Utilizzo di AI per la Programmazione Logica Disgiuntiva 51
Optimizing Answer Set Computation via Heuristic-Based Decomposition 50
null 49
Optimized 3D path planner for steerable catheters with deductive reasoning 47
ASP-Based Multi-Shot Reasoning via DLV2 with Incremental Grounding 28
Data Augmentation: A Combined Inductive-Deductive Approach Featuring Answer Set Programming 22
Forget and Regeneration Techniques for Optimizing ASP-Based Stream Reasoning 15
Totale 9.651
Salva come PNG Salva come JPEG
Categoria #
all - tutte 54.483
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 54.483
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021415 0 0 0 0 0 86 11 99 12 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/20263.151 652 262 548 492 975 222 0 0 0 0 0 0
Totale 9.651