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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201988 0 0 0 0 0 3 2 0 6 0 74 3
2019/2020725 62 60 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.308 139 160 12 113 184 109 60 171 114 34 105 107
2023/2024382 75 42 104 77 75 9 0 0 0 0 0 0
Totale 4.404