MAZZOTTA, GIUSEPPE
 Distribuzione geografica
Continente #
NA - Nord America 619
AS - Asia 485
EU - Europa 309
SA - Sud America 164
Continente sconosciuto - Info sul continente non disponibili 38
AF - Africa 13
Totale 1.628
Nazione #
US - Stati Uniti d'America 570
SG - Singapore 195
IT - Italia 188
BR - Brasile 121
CN - Cina 103
VN - Vietnam 60
HK - Hong Kong 35
RU - Federazione Russa 32
CA - Canada 27
FR - Francia 25
BD - Bangladesh 23
AR - Argentina 17
DE - Germania 14
FI - Finlandia 12
IQ - Iraq 11
MX - Messico 10
KR - Corea 8
MY - Malesia 8
NL - Olanda 8
EC - Ecuador 7
ID - Indonesia 7
IN - India 7
UA - Ucraina 6
VE - Venezuela 6
GB - Regno Unito 5
PH - Filippine 5
SN - Senegal 5
CL - Cile 4
CO - Colombia 4
PK - Pakistan 4
ZA - Sudafrica 4
AT - Austria 3
NI - Nicaragua 3
NO - Norvegia 3
SE - Svezia 3
AE - Emirati Arabi Uniti 2
BO - Bolivia 2
GR - Grecia 2
GT - Guatemala 2
IL - Israele 2
LB - Libano 2
PL - Polonia 2
PY - Paraguay 2
SA - Arabia Saudita 2
SV - El Salvador 2
SY - Repubblica araba siriana 2
TR - Turchia 2
UZ - Uzbekistan 2
AD - Andorra 1
AZ - Azerbaigian 1
BE - Belgio 1
CH - Svizzera 1
CR - Costa Rica 1
DZ - Algeria 1
ES - Italia 1
HN - Honduras 1
JM - Giamaica 1
JO - Giordania 1
JP - Giappone 1
KE - Kenya 1
KN - Saint Kitts e Nevis 1
KZ - Kazakistan 1
LT - Lituania 1
MA - Marocco 1
NG - Nigeria 1
PA - Panama 1
RO - Romania 1
TH - Thailandia 1
UY - Uruguay 1
Totale 1.590
Città #
Council Bluffs 106
Singapore 76
San Jose 68
Ashburn 58
Hong Kong 35
Beijing 32
New York 25
Staranzano 25
Chicago 22
Milan 22
Ho Chi Minh City 19
North Bergen 19
Catanzaro 16
Hanoi 15
Hefei 15
Boardman 14
Rome 13
Naples 12
Dallas 11
Lauterbourg 11
São Paulo 11
Chandler 10
Helsinki 10
Santa Clara 8
Seoul 8
Longmont 7
Los Angeles 7
Brooklyn 6
Shanghai 6
Baghdad 5
Dakar 5
Paris 5
Philadelphia 5
Phoenix 5
Turin 5
Cosenza 4
Frankfurt am Main 4
Miano 4
Palermo 4
Rende 4
Santiago 4
Amsterdam 3
Brasília 3
Bremen 3
Brescia 3
Cambridge 3
Casalecchio di Reno 3
Catania 3
Columbus 3
Curitiba 3
Erbil 3
Fortaleza 3
Guangzhou 3
Huế 3
Kuala Lumpur 3
Lawrence 3
Montreal 3
Omaha 3
Ribeirão das Neves 3
Rio de Janeiro 3
Roxbury 3
The Dalles 3
Thái Bình 3
Toronto 3
Alimos 2
Andria 2
Atlanta 2
Bari 2
Belo Horizonte 2
Bologna 2
Buffalo 2
Cagliari 2
Caruaru 2
Chandigarh 2
Concepción 2
Cúcuta 2
Da Nang 2
Dhaka 2
Erie 2
Faisalabad 2
Falkenstein 2
Fayetteville 2
Feira de Santana 2
Gravataí 2
Greenville 2
Guarulhos 2
Guayaquil 2
Ha Long 2
Jacksonville 2
Kissimmee 2
La Paz 2
Lahore 2
Managua 2
Mississauga 2
Myrtle Beach 2
Ninh Bình 2
Nuremberg 2
O'Fallon 2
Paola 2
Princeton 2
Totale 882
Nome #
An Efficient Solver for ASP(Q) 126
Compilation of aggregates in ASP: Preliminary results 117
Compilation of Aggregates in ASP Systems 110
Compilation of ASP programs: Recent developments 101
Automata-based LTL_f Satisfiability Checking via ASP 98
Modelling the Outlier Detection Problem in ASP(Q) 94
Compilation of Tight ASP Programs 89
Compilation-based Techniques for Evaluating Normal Logic Programs Under the Well-founded Semantics 87
Blending Grounding and Compilation for Efficient ASP Solving 83
ASP-based Axiom Pinpointing for Description Logics 83
Quantifying over Optimum Answer Sets 81
Unit Testing in ASP Revisited: Language and Test-Driven Development Environment 78
Enhancing ASP(Q) evaluation 76
Knowledge and Reasoning 36
Towards ASP-based Minimal Unsatisfiable Cores Enumeration for LTLf 34
2-ASP(Q) Solving Based on CEGAR 33
Toward Executing Datalog on Big Data Platforms 33
Answer Set Programming and Neurosymbolic {AI:} Applications and Future Perspectives (Invited Talk) 31
Toward Executing Datalog on Big Data Platforms - Extended Abstract 30
Enhancing Compilation-based ASP Solving with Postponed Atom Discovery 28
Lazy Atom Discovery in Compilation-Based ASP Solving 27
ASP Essentials: Modelling and Efficient Solving 27
Enumerating Minimal Unsatisfiable Cores of LTLf Formulae 26
A Novel Framework for Reasoning over Optimization Problems in Probabilistic Answer Set Programming 25
Most Probable Explanation in Probabilistic Answer Set Programming 20
Solving Hard Combinatorial Optimization Problems with PyQASP 19
An Algebraic View of MAP Inference in Probabilistic Answer Set Programs 18
Hybrid Compilation-based ASP solving (Short paper) 18
Totale 1.628
Categoria #
all - tutte 7.763
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 7.763


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/202226 0 0 0 0 2 1 1 2 1 7 4 8
2022/202337 4 13 3 2 4 2 0 2 6 0 1 0
2023/202441 3 4 1 1 3 2 1 3 2 1 4 16
2024/2025299 14 16 2 10 9 18 65 36 22 7 36 64
2025/2026698 71 31 70 82 116 41 59 24 49 69 41 45
2026/2027516 60 55 125 241 35 0 0 0 0 0 0 0
Totale 1.628