IRIS
PERRI, Simona
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.401
AS - Asia 2.875
EU - Europa 2.285
SA - Sud America 713
AF - Africa 243
OC - Oceania 11
Continente sconosciuto - Info sul continente non disponibili 4
AN - Antartide 1
Totale 9.533
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.237
SG - Singapore 1.228
CN - Cina 667
UA - Ucraina 565
BR - Brasile 539
DE - Germania 469
IT - Italia 433
VN - Vietnam 397
SE - Svezia 202
SN - Senegal 162
RU - Federazione Russa 125
HK - Hong Kong 121
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 49
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
MA - Marocco 18
PK - Pakistan 18
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
PT - Portogallo 8
RO - Romania 8
AE - Emirati Arabi Uniti 7
AL - Albania 7
NP - Nepal 7
UY - Uruguay 7
BH - Bahrain 6
KZ - Kazakistan 6
BO - Bolivia 5
DO - Repubblica Dominicana 5
IL - Israele 5
AZ - Azerbaigian 4
BG - Bulgaria 4
CH - Svizzera 4
DZ - Algeria 4
MY - Malesia 4
OM - Oman 4
AO - Angola 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
EG - Egitto 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
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.524
Salva come PNG Salva come JPEG
Città #
Singapore 469
Chandler 430
Jacksonville 313
Dallas 285
Boardman 207
Beijing 180
Ashburn 162
Dakar 162
San Mateo 157
Dearborn 156
Ho Chi Minh City 133
Hong Kong 103
Seoul 96
Helsinki 86
Hanoi 84
Lawrence 75
Roxbury 74
Izmir 73
Munich 71
Shanghai 70
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
Guangzhou 18
Biên Hòa 17
Catanzaro 17
Haiphong 17
San Jose 17
Warsaw 17
Brussels 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
Totale 5.111
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 160
Reasoning over Ontologies with DLV 160
Fostering the Use of Declarative Formalisms for Real-World Applications: The EmbASP Framework 159
Enhancing DLV for Large-Scale Reasoning 159
Querying large expressive horn ontologies 158
The ASP System DLV: Advancements and Applications 157
Integrating rule-based AI tools into mainstream game development 153
Large Scale DLV: Preliminary Results 153
Boosting the Development of ASP-Based Applications in Mobile and General Scenarios 150
I-DLV+MS: Preliminary Report on an Automatic ASP Solver Selector 148
Large-scale reasoning on expressive horn ontologies 147
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 143
Abduction with Penalization in Logic Programming 142
Optimizing answer set computation via heuristic-based decomposition 142
A Parallel ASP Instantiator Based on DLV 138
Advanced BackJumping Techniques for Rule Instantiations 138
The DLV System 138
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
System Description: DLV with Aggregates 125
External computations and interoperability in the new DLV grounder 124
Incremental Answer Set Programming with Overgrounding 122
Declarative and Computational Properties of Logic Programs with Aggregates 121
An integrated graphic tool for developing and testing DLV programs 120
The AI system DLV: Ontologies, reasoning, and more 119
ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding 117
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 112
Handling Function Symbols in the DLV Grounder 110
Enhancing DLV Instantiator by Backjumping Techniques 108
The Eternal Battle between Determinism and Nondeterminism: preliminary Studies in the Sudoku Domain 108
A machine learning guided rewriting approach for asp logic programs 108
Applications of Answer Set Programming to Smart Devices and Large Scale Reasoning 106
Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates 106
System Description: DLV 105
How Modern Deductive Database Systems Can Enhance Data Integration 105
Memory-Saving Evaluation Plans for Datalog 104
Parallel Instantiation of ASP Programs: Techniques and Experiments 99
Parametric Connectives in Disjunctive Logic Programming 98
The DLV System for Knowledge Representation and Reasoning 98
I-DLV-sr: A stream reasoning system based on I-DLV 98
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 81
Parametric Connectives in Disjunctive Logic Programming 80
Towards a Fully-Parallel DLV System 78
Join Ordering Techniques for Knowledge Base Systems 78
Local Search Techniques for Disjunctive Logic Programs 77
Increasing Parallelism while Instantiating ASP Programs 77
Experimenting with Parallelism for the Instantiation of ASP Programs 77
Parallel Instantiation in DLV 76
Efficient Parallel ASP Instantiation via Dynamic Rewriting Workshop 74
LLASP: Fine-tuning Large Language Models for Answer Set Programming 73
Precomputing Datalog Evaluation Plans in Large-Scale Scenarios 73
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) 70
Efficient Parallel ASP Instantiation via Dynamic Rewriting 68
The Stream Reasoning System I-DLV-sr: Enhancements and Applications in Smart Cities 67
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 58
Towards solving path planning in keyhole neurosurgery with answer set programming 56
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 53
Utilizzo di AI per la Programmazione Logica Disgiuntiva 51
Optimizing Answer Set Computation via Heuristic-Based Decomposition 50
Optimized 3D path planner for steerable catheters with deductive reasoning 49
null 49
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 18
Totale 9.706
Salva come PNG Salva come JPEG
Categoria #
all - tutte 54.750
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.750
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.206 652 262 548 492 975 277 0 0 0 0 0 0
Totale 9.706