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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020139 0 0 0 0 0 0 0 0 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/20251.150 97 234 53 107 126 130 126 173 104 0 0 0
Totale 5.894