ZANGARI, JESSICA
 Distribuzione geografica
Continente #
EU - Europa 85
NA - Nord America 13
AS - Asia 2
OC - Oceania 2
Totale 102
Nazione #
IT - Italia 60
US - Stati Uniti d'America 12
ES - Italia 7
FR - Francia 4
AU - Australia 2
CZ - Repubblica Ceca 2
DE - Germania 2
PL - Polonia 2
VN - Vietnam 2
AT - Austria 1
BA - Bosnia-Erzegovina 1
BE - Belgio 1
CA - Canada 1
CH - Svizzera 1
GB - Regno Unito 1
NL - Olanda 1
RO - Romania 1
RU - Federazione Russa 1
Totale 102
Città #
Rende 16
Barcelona 7
Omaha 5
Fuscaldo 4
Genoa 4
Hallandale 3
Montesilvano Marina 3
Royat 3
Castelbuono 2
Hanoi 2
Melbourne 2
Mendicino 2
New York 2
Avellino 1
Bari 1
Barletta 1
Bihać 1
Bochum 1
Cassano Allo Ionio 1
Castrovillari 1
Catania 1
Catanzaro 1
Cirò Marina 1
Citta 1
Cosenza 1
Council Bluffs 1
Edmonton 1
Ixelles-Elsene 1
Luzzara 1
Lyss 1
Mondragone 1
Munich 1
Naples 1
Parma 1
Poggersdorf 1
Statte 1
Vélizy-Villacoublay 1
Warsaw 1
Totale 80
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
Enhancing DLV for Large-Scale Reasoning, file ddc632d5-1930-321f-e053-1705fe0abc09 8
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
Large-scale reasoning on expressive horn ontologies, file ddc632d5-192c-321f-e053-1705fe0abc09 5
Reasoning over Ontologies with DLV, file a6dcbeae-276b-49c4-b541-6a3c8bb38a5e 4
Querying large expressive horn ontologies, file ddc632d5-144e-321f-e053-1705fe0abc09 4
Efficiently Coupling the I-DLV Grounder with ASP Solvers, file ddc632d5-6d36-321f-e053-1705fe0abc09 4
Optimized 3D path planner for steerable catheters with deductive reasoning, file 10502c71-f570-42bf-8f76-58cd5eceeb8d 3
Compliance checking on first-order knowledge with conflicting and compensatory norms: a comparison among currently available technologies, file d3869b02-f699-4cf0-b81c-e11e9cea6c57 3
Efficient compliance checking of RDF data, file ae346675-73c4-4712-a6e8-c344673d8918 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
Darling: A datalog rewriter for owl 2 rl ontological reasoning under sparql queries, file ddc632d5-b355-321f-e053-1705fe0abc09 2
I-DLV: the new Intelligent Grounder of DLV -- [Extended version of the work winner of the BEST PAPER AWARD at AI*IA 2016], file ddc632d3-61cf-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
Incremental maintenance of overgrounded logic programs with tailored simplifications, file ddc632d5-baee-321f-e053-1705fe0abc09 1
Totale 102
Categoria #
all - tutte 183
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 183


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/20214 0 0 0 0 0 0 0 1 3 0 0 0
2021/20225 0 0 3 0 0 0 0 0 0 0 1 1
2022/202384 8 10 6 4 8 5 21 12 3 0 2 5
2023/20246 2 0 0 0 0 0 4 0 0 0 0 0
Totale 102