IRIS
MAZZOTTA, GIUSEPPE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 480
NA - Nord America 289
EU - Europa 177
SA - Sud America 163
AF - Africa 12
Totale 1.121
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 269
SG - Singapore 195
BR - Brasile 121
CN - Cina 101
IT - Italia 66
VN - Vietnam 59
HK - Hong Kong 35
RU - Federazione Russa 29
FR - Francia 24
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
EC - Ecuador 7
ID - Indonesia 7
IN - India 6
UA - Ucraina 6
VE - Venezuela 6
PH - Filippine 5
SN - Senegal 5
CL - Cile 4
CO - Colombia 4
PK - Pakistan 4
ZA - Sudafrica 4
CA - Canada 3
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
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.121
Salva come PNG Salva come JPEG
Città #
Singapore 76
Council Bluffs 59
San Jose 43
Hong Kong 35
Beijing 30
Ashburn 22
Ho Chi Minh City 18
Catanzaro 16
Hanoi 15
Hefei 15
Boardman 14
Lauterbourg 11
São Paulo 11
Chandler 10
Helsinki 10
Dallas 9
New York 8
Rome 8
Seoul 8
Shanghai 6
Baghdad 5
Brooklyn 5
Dakar 5
Paris 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
Omaha 3
Ribeirão das Neves 3
Rio de Janeiro 3
Roxbury 3
Thái Bình 3
Alimos 2
Belo Horizonte 2
Caruaru 2
Chandigarh 2
Concepción 2
Cúcuta 2
Da Nang 2
Dhaka 2
Faisalabad 2
Falkenstein 2
Feira de Santana 2
Gravataí 2
Guarulhos 2
Guayaquil 2
Ha Long 2
La Paz 2
Lahore 2
Los Angeles 2
Managua 2
Naples 2
Ninh Bình 2
Nuremberg 2
O'Fallon 2
Palermo 2
Quito 2
Recife 2
Riyadh 2
Salvador 2
San Francisco 2
San Mateo 2
Santa Clara 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
Azul 1
Baku 1
Balneário Camboriú 1
Bangkok 1
Barbacena 1
Totale 605
Salva come PNG Salva come JPEG
Nome #
An Efficient Solver for ASP(Q) 104
Compilation of aggregates in ASP: Preliminary results 101
Compilation of Aggregates in ASP Systems 101
Compilation of ASP programs: Recent developments 90
Automata-based LTL_f Satisfiability Checking via ASP 87
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 75
Quantifying over Optimum Answer Sets 72
Blending Grounding and Compilation for Efficient ASP Solving 71
ASP-based Axiom Pinpointing for Description Logics 71
Unit Testing in ASP Revisited: Language and Test-Driven Development Environment 70
Enhancing ASP(Q) evaluation 66
Knowledge and Reasoning 19
ASP Essentials: Modelling and Efficient Solving 7
Answer Set Programming and Neurosymbolic {AI:} Applications and Future Perspectives (Invited Talk) 6
Enumerating Minimal Unsatisfiable Cores of LTLf Formulae 6
Enhancing Compilation-based ASP Solving with Postponed Atom Discovery 6
2-ASP(Q) Solving Based on CEGAR 6
Toward Executing Datalog on Big Data Platforms - Extended Abstract 6
Solving Hard Combinatorial Optimization Problems with PyQASP 5
Toward Executing Datalog on Big Data Platforms 5
A Novel Framework for Reasoning over Optimization Problems in Probabilistic Answer Set Programming 4
Lazy Atom Discovery in Compilation-Based ASP Solving 4
Most Probable Explanation in Probabilistic Answer Set Programming 4
Towards ASP-based Minimal Unsatisfiable Cores Enumeration for LTLf 4
An Algebraic View of MAP Inference in Probabilistic Answer Set Programs 3
Hybrid Compilation-based ASP solving (Short paper) 3
Totale 1.159
Salva come PNG Salva come JPEG
Categoria #
all - tutte 6.199
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.199
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/202228 0 1 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/202747 47 0 0 0 0 0 0 0 0 0 0 0
Totale 1.159