MAZZOTTA, GIUSEPPE
 Distribuzione geografica
Continente #
AS - Asia 483
NA - Nord America 350
EU - Europa 184
SA - Sud America 163
Continente sconosciuto - Info sul continente non disponibili 38
AF - Africa 12
Totale 1.230
Nazione #
US - Stati Uniti d'America 325
SG - Singapore 195
BR - Brasile 121
CN - Cina 103
IT - Italia 72
VN - Vietnam 59
HK - Hong Kong 35
RU - Federazione Russa 29
FR - Francia 25
BD - Bangladesh 23
AR - Argentina 16
DE - Germania 13
FI - Finlandia 12
IQ - Iraq 11
MX - Messico 10
KR - Corea 8
MY - Malesia 8
NL - Olanda 8
CA - Canada 7
EC - Ecuador 7
ID - Indonesia 7
IN - India 7
UA - Ucraina 6
VE - Venezuela 6
PH - Filippine 5
SN - Senegal 5
CL - Cile 4
CO - Colombia 4
PK - Pakistan 4
ZA - Sudafrica 4
NI - Nicaragua 3
NO - Norvegia 3
SE - Svezia 3
AE - Emirati Arabi Uniti 2
AT - Austria 2
BO - Bolivia 2
GR - Grecia 2
IL - Israele 2
LB - Libano 2
PL - Polonia 2
PY - Paraguay 2
SA - Arabia Saudita 2
SY - Repubblica araba siriana 2
TR - Turchia 2
UZ - Uzbekistan 2
AD - Andorra 1
AZ - Azerbaigian 1
BE - Belgio 1
CH - Svizzera 1
DZ - Algeria 1
ES - Italia 1
GB - Regno Unito 1
GT - Guatemala 1
HN - Honduras 1
JO - Giordania 1
KE - Kenya 1
KN - Saint Kitts e Nevis 1
KZ - Kazakistan 1
LT - Lituania 1
MA - Marocco 1
PA - Panama 1
RO - Romania 1
SV - El Salvador 1
TH - Thailandia 1
UY - Uruguay 1
Totale 1.192
Città #
Singapore 76
Council Bluffs 67
San Jose 44
Hong Kong 35
Beijing 32
Ashburn 24
Ho Chi Minh City 18
Catanzaro 16
Hanoi 15
Hefei 15
Boardman 14
New York 12
Lauterbourg 11
São Paulo 11
Chandler 10
Dallas 10
Helsinki 10
Rome 8
Seoul 8
Brooklyn 6
Los Angeles 6
Shanghai 6
Baghdad 5
Dakar 5
Paris 5
Santa Clara 5
Cosenza 4
Rende 4
Santiago 4
Amsterdam 3
Brasília 3
Bremen 3
Cambridge 3
Casalecchio di Reno 3
Columbus 3
Curitiba 3
Erbil 3
Fortaleza 3
Frankfurt am Main 3
Guangzhou 3
Huế 3
Kuala Lumpur 3
Lawrence 3
Milan 3
Naples 3
Omaha 3
Phoenix 3
Ribeirão das Neves 3
Rio de Janeiro 3
Roxbury 3
Thái Bình 3
Alimos 2
Belo Horizonte 2
Caruaru 2
Catania 2
Chandigarh 2
Concepción 2
Cúcuta 2
Da Nang 2
Dhaka 2
Faisalabad 2
Falkenstein 2
Fayetteville 2
Feira de Santana 2
Gravataí 2
Guarulhos 2
Guayaquil 2
Ha Long 2
La Paz 2
Lahore 2
Managua 2
Ninh Bình 2
Nuremberg 2
O'Fallon 2
Palermo 2
Philadelphia 2
Quito 2
Recife 2
Riyadh 2
Salvador 2
San Francisco 2
San Mateo 2
Seattle 2
São Bernardo do Campo 2
Tashkent 2
The Dalles 2
Turin 2
Warsaw 2
Albuquerque 1
Alexânia 1
Almaty 1
Amman 1
Andorra la Vella 1
Angeles City 1
Araraquara 1
Araripina 1
Araucária 1
Arcoverde 1
Asunción 1
Augsburg 1
Totale 638
Nome #
An Efficient Solver for ASP(Q) 107
Compilation of aggregates in ASP: Preliminary results 103
Compilation of Aggregates in ASP Systems 103
Compilation of ASP programs: Recent developments 91
Automata-based LTL_f Satisfiability Checking via ASP 90
Modelling the Outlier Detection Problem in ASP(Q) 86
Compilation of Tight ASP Programs 77
Compilation-based Techniques for Evaluating Normal Logic Programs Under the Well-founded Semantics 77
Blending Grounding and Compilation for Efficient ASP Solving 74
Quantifying over Optimum Answer Sets 72
ASP-based Axiom Pinpointing for Description Logics 72
Unit Testing in ASP Revisited: Language and Test-Driven Development Environment 71
Enhancing ASP(Q) evaluation 68
Knowledge and Reasoning 20
Lazy Atom Discovery in Compilation-Based ASP Solving 12
Answer Set Programming and Neurosymbolic {AI:} Applications and Future Perspectives (Invited Talk) 11
Toward Executing Datalog on Big Data Platforms - Extended Abstract 11
Enhancing Compilation-based ASP Solving with Postponed Atom Discovery 10
Enumerating Minimal Unsatisfiable Cores of LTLf Formulae 9
ASP Essentials: Modelling and Efficient Solving 9
Solving Hard Combinatorial Optimization Problems with PyQASP 8
2-ASP(Q) Solving Based on CEGAR 8
Hybrid Compilation-based ASP solving (Short paper) 8
Toward Executing Datalog on Big Data Platforms 8
Towards ASP-based Minimal Unsatisfiable Cores Enumeration for LTLf 8
A Novel Framework for Reasoning over Optimization Problems in Probabilistic Answer Set Programming 7
Most Probable Explanation in Probabilistic Answer Set Programming 6
An Algebraic View of MAP Inference in Probabilistic Answer Set Programs 4
Totale 1.230
Categoria #
all - tutte 6.665
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 6.665


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/202227 0 0 0 1 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/2027118 60 55 3 0 0 0 0 0 0 0 0 0
Totale 1.230