IRIS
PERRI, Simona
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.500
EU - Europa 1.694
AS - Asia 575
AF - Africa 161
SA - Sud America 16
OC - Oceania 10
Continente sconosciuto - Info sul continente non disponibili 3
Totale 4.959
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.432
UA - Ucraina 553
DE - Germania 365
IT - Italia 309
CN - Cina 275
SE - Svezia 194
SN - Senegal 160
SG - Singapore 97
TR - Turchia 96
CA - Canada 68
AT - Austria 63
FI - Finlandia 47
NL - Olanda 41
KR - Corea 34
GB - Regno Unito 27
CZ - Repubblica Ceca 19
HK - Hong Kong 19
IN - India 19
FR - Francia 18
BE - Belgio 15
GR - Grecia 14
AU - Australia 10
ES - Italia 10
IR - Iran 10
SA - Arabia Saudita 8
PT - Portogallo 7
RO - Romania 6
CL - Cile 5
BR - Brasile 4
AR - Argentina 3
EU - Europa 3
JP - Giappone 3
BD - Bangladesh 2
IE - Irlanda 2
KZ - Kazakistan 2
MN - Mongolia 2
PK - Pakistan 2
AZ - Azerbaigian 1
BG - Bulgaria 1
BO - Bolivia 1
CO - Colombia 1
EC - Ecuador 1
FK - Isole Falkland (Malvinas) 1
HU - Ungheria 1
IL - Israele 1
JO - Giordania 1
KG - Kirghizistan 1
LA - Repubblica Popolare Democratica del Laos 1
LV - Lettonia 1
SK - Slovacchia (Repubblica Slovacca) 1
VN - Vietnam 1
ZA - Sudafrica 1
Totale 4.959
Salva come PNG Salva come JPEG
Città #
Chandler 430
Jacksonville 312
Boardman 207
Dakar 160
San Mateo 157
Dearborn 156
Ashburn 76
Lawrence 75
Roxbury 74
Izmir 73
Shanghai 65
Bremen 63
Singapore 63
Cambridge 57
Des Moines 55
Grafing 55
Ottawa 55
Rende 54
Vienna 52
Brooklyn 50
New York 47
Helsinki 46
Florence 45
Seattle 34
Seoul 34
Ann Arbor 31
Beijing 27
Fremont 26
Ogden 26
Santa Clara 22
Brno 19
Littleton 16
Sanayi 16
Wilmington 16
Brussels 15
Inglewood 13
Los Angeles 13
Munich 13
Redwood City 13
San Francisco 13
Leawood 12
Rome 12
Guangzhou 11
Toronto 10
Washington 9
Athens 8
Cosenza 8
Houston 8
Kyiv 8
Ardabil 7
Catania 7
Catanzaro 7
Falls Church 7
Hefei 7
Reggio Calabria 7
Scalea 7
Stefanaconi 7
Bucharest 6
Jinan 6
Naples 6
Pune 6
Wuhan 6
Crotone 5
Lisbon 5
Mendicino 5
Milan 5
Nanjing 5
Norwalk 5
Acri 4
Augusta 4
Fuscaldo 4
Jiaxing 4
Luoyang 4
Melbourne 4
Redmond 4
Riva Del Garda 4
Seelze 4
Spilinga 4
Barcelona 3
Berlin 3
Buenos Aires 3
Canberra 3
Cirò Marina 3
Elk Grove Village 3
Kocaeli 3
Lanzhou 3
Monmouth Junction 3
Santiago 3
Tappahannock 3
Udine 3
Almaty 2
Andover 2
Brescia 2
Changsha 2
Dhaka 2
Erchie 2
Fisciano 2
Foshan 2
Haikou 2
Hanover 2
Totale 3.072
Salva come PNG Salva come JPEG
Nome #
The ASP System DLV2 162
The ASP System DLV: Advancements and Applications 106
DLV: An Advanced System for Knowledge Representation and Reasoning 102
Fostering the Use of Declarative Formalisms for Real-World Applications: The EmbASP Framework 102
Boosting the Development of ASP-Based Applications in Mobile and General Scenarios 98
Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation 94
I-DLV: The new intelligent grounder of DLV 93
Integrating rule-based AI tools into mainstream game development 93
Reasoning over Ontologies with DLV 91
Optimizing answer set computation via heuristic-based decomposition 89
I-DLV+MS: Preliminary Report on an Automatic ASP Solver Selector 87
Enhancing DLV for Large-Scale Reasoning 87
First Steps towards Reasoning on Big Data with DLV 86
DLV - Declarative Problem Solving Using Answer Set Programming 83
A framework for easing the development of applications embedding answer set programming 83
Large Scale DLV: Preliminary Results 83
Large-scale reasoning on expressive horn ontologies 82
Advanced BackJumping Techniques for Rule Instantiations 79
The DLV System 79
An Heuristic for Load Balancing and Granularity Control in the Parallel Instantiation of Disjunctive Logic Programs 78
Answer set programming and declarative problem solving in game AIs 77
Abduction with Penalization in Logic Programming 77
External computations and interoperability in the new DLV grounder 77
System Description: DLV with Aggregates 77
BackJumping Techniques for Rules Instantiation in the DLV System 75
An integrated graphic tool for developing and testing DLV programs 74
A Parallel ASP Instantiator Based on DLV 74
Embedding ASP in mobile systems: discussion and preliminary implementations 74
The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track 74
I-DLV: The new intelligent grounder of DLV 73
Census Data Repair: A Challenging Application of Disjunctive Logic Programming 73
Querying large expressive horn ontologies 72
System Description: DLV 69
Advanced heuristics for parallel ASP instantiation 69
Declarative and Computational Properties of Logic Programs with Aggregates 68
Enhancing DLV Instantiator by Backjumping Techniques 66
Efficiently Coupling the I-DLV Grounder with ASP Solvers 65
The AI system DLV: Ontologies, reasoning, and more 63
Handling Function Symbols in the DLV Grounder 62
The Disjunctive Datalog System DLV 62
Parametric Connectives in Disjunctive Logic Programming 61
Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates 61
The DLV System for Knowledge Representation and Reasoning 59
Incremental Answer Set Programming with Overgrounding 57
How Modern Deductive Database Systems Can Enhance Data Integration 57
New DLV Features for Data Integration 56
Evaluation techniques and systems for answer set programming: A survey 56
Improving ASP Instantiators by Join-Ordering Methods 55
Experimenting with Parallelism for the Instantiation of ASP Programs 55
Parallel Instantiation of ASP Programs 52
Optimizing Answer Set Computation via Heuristic-Based Decomposition -- [Extended version of the work winner of the BEST PAPER AWARD at PADL 2018] 52
A machine learning guided rewriting approach for asp logic programs 52
ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding 47
The Eternal Battle between Determinism and Nondeterminism: preliminary Studies in the Sudoku Domain 47
The DLV Parallel Grounder 45
Parametric Connectives in Disjunctive Logic Programming 45
New DLV Features for Data Integration. JELIA 2004 45
I-DLV-sr: A stream reasoning system based on I-DLV 45
Join Ordering Techniques for Knowledge Base Systems 43
Efficient Parallel ASP Instantiation via Dynamic Rewriting 43
Parallel Instantiation of ASP Programs: Techniques and Experiments 43
ASP-Based Declarative Reasoning in Data-Intensive Enterprise and IoT Applications 42
Grounding and Solving in Answer Set Programming 42
Increasing Parallelism while Instantiating ASP Programs 41
Memory-Saving Evaluation Plans for Datalog 41
Efficient Parallel ASP Instantiation via Dynamic Rewriting Workshop 39
Experimenting with Parallelism for the Instantiation of ASP Programs 39
Local Search Techniques for Disjunctive Logic Programs 38
Parallel Instantiation in DLV 37
Introduction to the TPLP Special Issue from the 16th European Conference on Logics in Artificial Intelligence (JELIA 2019) 36
Forget and Regeneration Techniques for Optimizing ASP-Based Stream Reasoning 36
The Intelligent Grounder of DLV 36
On Demand Indexing for the DLV Instantiator 35
Indexing Techniques for the DLV Instantiator 35
Applications of Answer Set Programming to Smart Devices and Large Scale Reasoning 34
Towards a Fully-Parallel DLV System 33
Utilizzo di AI per la Programmazione Logica Disgiuntiva 31
Precomputing Datalog Evaluation Plans in Large-Scale Scenarios 29
EnviroStream: A Stream Reasoning Benchmark for Environmental and Climate Monitoring 28
A Formal Comparison between Datalog-based Languages for Stream Reasoning 25
Optimizing Answer Set Computation via Heuristic-Based Decomposition 25
The Stream Reasoning System I-DLV-sr: Enhancements and Applications in Smart Cities 23
Preface to the Special Issue from the 35th Italian Conference on Computational Logic (CILC 2020) 18
Optimized 3D path planner for steerable catheters with deductive reasoning 12
Totale 5.109
Salva come PNG Salva come JPEG
Categoria #
all - tutte 32.076
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 32.076
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020603 0 0 33 77 41 163 64 86 10 13 69 47
2020/2021702 97 22 64 80 24 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/2025365 97 234 34 0 0 0 0 0 0 0 0 0
Totale 5.109