PERRI, Simona
 Distribuzione geografica
Continente #
EU - Europa 87
NA - Nord America 15
AS - Asia 3
OC - Oceania 2
Totale 107
Nazione #
IT - Italia 61
US - Stati Uniti d'America 14
ES - Italia 7
FR - Francia 4
DE - Germania 3
AU - Australia 2
CZ - Repubblica Ceca 2
PL - Polonia 2
VN - Vietnam 2
AT - Austria 1
BA - Bosnia-Erzegovina 1
BE - Belgio 1
CA - Canada 1
CH - Svizzera 1
CY - Cipro 1
GB - Regno Unito 1
NL - Olanda 1
RO - Romania 1
RU - Federazione Russa 1
Totale 107
Città #
Rende 16
Barcelona 7
Omaha 5
Fuscaldo 4
Genoa 4
Hallandale 3
Montesilvano Marina 3
Naples 3
Royat 3
Cassano Allo Ionio 2
Centuripe 2
Hanoi 2
Melbourne 2
Mendicino 2
New York 2
Avellino 1
Bari 1
Barletta 1
Bihać 1
Bochum 1
Castrovillari 1
Catania 1
Catanzaro 1
Cirò Marina 1
Citta 1
Cosenza 1
Council Bluffs 1
Dresden 1
Edmonton 1
Ixelles-Elsene 1
Luzzara 1
Lyss 1
Munich 1
Nicosia 1
Parma 1
Poggersdorf 1
Statte 1
Vélizy-Villacoublay 1
Warsaw 1
Totale 84
Nome #
The ASP System DLV: Advancements and Applications, file ddc632d4-a5b2-321f-e053-1705fe0abc09 24
I-DLV: The new intelligent grounder of DLV, file ddc632d4-46d2-321f-e053-1705fe0abc09 15
The AI system DLV: Ontologies, reasoning, and more, file ddc632d5-847e-321f-e053-1705fe0abc09 10
Applications of Answer Set Programming to Smart Devices and Large Scale Reasoning, file c3749ef5-396e-4e66-955c-0cc7eeb5817a 9
Enhancing DLV for Large-Scale Reasoning, file ddc632d5-1930-321f-e053-1705fe0abc09 8
Large-scale reasoning on expressive horn ontologies, file ddc632d5-192c-321f-e053-1705fe0abc09 6
ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding, file 900bb82b-b80b-4280-945a-719b6d586654 5
Optimizing answer set computation via heuristic-based decomposition, file ddc632d4-495d-321f-e053-1705fe0abc09 5
Efficiently Coupling the I-DLV Grounder with ASP Solvers, file ddc632d5-6d36-321f-e053-1705fe0abc09 5
Querying large expressive horn ontologies, file ddc632d5-144e-321f-e053-1705fe0abc09 4
Optimized 3D path planner for steerable catheters with deductive reasoning, file 10502c71-f570-42bf-8f76-58cd5eceeb8d 3
DLV: An Advanced System for Knowledge Representation and Reasoning, file ddc632d3-8e3e-321f-e053-1705fe0abc09 3
Reasoning over Ontologies with DLV, file a6dcbeae-276b-49c4-b541-6a3c8bb38a5e 2
Optimizing Answer Set Computation via Heuristic-Based Decomposition -- [Extended version of the work winner of the BEST PAPER AWARD at PADL 2018], file ddc632d5-1d03-321f-e053-1705fe0abc09 2
Introduction to the TPLP Special Issue from the 16th European Conference on Logics in Artificial Intelligence (JELIA 2019), file 5f758b87-001d-46d6-8a7f-2b592a02e39e 1
Parallel Instantiation of ASP Programs: Techniques and Experiments, file ddc632d3-8e44-321f-e053-1705fe0abc09 1
I-DLV: The new intelligent grounder of DLV, file ddc632d4-4a81-321f-e053-1705fe0abc09 1
External computations and interoperability in the new DLV grounder, file ddc632d4-4e7e-321f-e053-1705fe0abc09 1
Fostering the Use of Declarative Formalisms for Real-World Applications: The EmbASP Framework, file ddc632d4-caab-321f-e053-1705fe0abc09 1
Incremental Answer Set Programming with Overgrounding, file ddc632d5-1447-321f-e053-1705fe0abc09 1
Totale 107
Categoria #
all - tutte 196
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 196


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20202 0 0 0 0 0 0 0 1 1 0 0 0
2020/20213 0 0 0 0 0 0 0 1 2 0 0 0
2021/20224 0 0 1 0 0 0 0 0 0 0 2 1
2022/202395 8 10 6 4 14 4 25 13 3 0 2 6
Totale 107