IRIS
REALE, Kristian
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.500
AS - Asia 1.058
EU - Europa 963
SA - Sud America 304
AF - Africa 84
Continente sconosciuto - Info sul continente non disponibili 59
OC - Oceania 3
Totale 3.971
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.414
SG - Singapore 383
IT - Italia 361
BR - Brasile 213
VN - Vietnam 206
CN - Cina 200
DE - Germania 153
UA - Ucraina 142
HK - Hong Kong 50
FR - Francia 49
SE - Svezia 47
CA - Canada 45
SN - Senegal 43
AR - Argentina 38
IN - India 35
RU - Federazione Russa 35
BD - Bangladesh 34
GB - Regno Unito 30
FI - Finlandia 27
TR - Turchia 26
KR - Corea 25
AT - Austria 22
MX - Messico 20
IQ - Iraq 19
NL - Olanda 18
CO - Colombia 16
ES - Italia 16
ZA - Sudafrica 12
MA - Marocco 11
PK - Pakistan 11
VE - Venezuela 10
GR - Grecia 9
SA - Arabia Saudita 9
UZ - Uzbekistan 9
EC - Ecuador 8
ID - Indonesia 8
PL - Polonia 8
CH - Svizzera 7
CL - Cile 5
CZ - Repubblica Ceca 5
DZ - Algeria 5
IE - Irlanda 5
JP - Giappone 5
PH - Filippine 5
PY - Paraguay 5
RO - Romania 5
AZ - Azerbaigian 4
BE - Belgio 4
CR - Costa Rica 4
EG - Egitto 4
KZ - Kazakistan 4
PA - Panama 4
PE - Perù 4
AL - Albania 3
AU - Australia 3
GT - Guatemala 3
HN - Honduras 3
HU - Ungheria 3
IL - Israele 3
KE - Kenya 3
LT - Lituania 3
MY - Malesia 3
NP - Nepal 3
PT - Portogallo 3
UY - Uruguay 3
BH - Bahrain 2
GE - Georgia 2
GP - Guadalupe 2
JO - Giordania 2
MD - Moldavia 2
MN - Mongolia 2
MR - Mauritania 2
SV - El Salvador 2
TH - Thailandia 2
AE - Emirati Arabi Uniti 1
AO - Angola 1
BB - Barbados 1
BO - Bolivia 1
BY - Bielorussia 1
CI - Costa d'Avorio 1
CY - Cipro 1
DK - Danimarca 1
EE - Estonia 1
ET - Etiopia 1
EU - Europa 1
GY - Guiana 1
IS - Islanda 1
KW - Kuwait 1
LA - Repubblica Popolare Democratica del Laos 1
LB - Libano 1
LU - Lussemburgo 1
NI - Nicaragua 1
NO - Norvegia 1
PR - Porto Rico 1
SY - Repubblica araba siriana 1
TN - Tunisia 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 3.914
Salva come PNG Salva come JPEG
Città #
Singapore 157
Chandler 151
Ashburn 122
Council Bluffs 110
San Jose 109
Dallas 88
Ho Chi Minh City 84
Jacksonville 79
Boardman 55
Hanoi 48
Hong Kong 48
Beijing 45
Dakar 43
Rende 43
Munich 37
New York 36
Rome 36
San Mateo 35
Dearborn 34
Los Angeles 31
Helsinki 27
Seoul 25
Chicago 23
Florence 23
Staranzano 23
Lauterbourg 22
Lawrence 22
São Paulo 22
Brooklyn 21
Roxbury 21
Cambridge 20
Milan 20
Ottawa 20
Izmir 18
Shanghai 18
Santa Clara 17
Grafing 16
Hefei 16
Bremen 14
Seattle 14
Vienna 13
Frankfurt am Main 12
Naples 12
Des Moines 11
Rio de Janeiro 11
Fremont 10
Baghdad 9
London 9
Ogden 9
Phoenix 9
Athens 8
Cosenza 8
Tashkent 8
The Dalles 8
Toronto 8
Catanzaro 7
Guangzhou 7
Stefanaconi 7
Amsterdam 6
Columbus 6
Da Nang 6
Dhaka 6
Medellín 6
Miano 6
New Delhi 6
Orlando 6
Porto Alegre 6
Warsaw 6
Ann Arbor 5
Atlanta 5
Belo Horizonte 5
Bexley 5
Biên Hòa 5
Brasília 5
Brno 5
Buenos Aires 5
Ceprano 5
Chennai 5
Falls Church 5
Hillsboro 5
Inglewood 5
Montreal 5
Redwood City 5
Riyadh 5
Turin 5
Wilmington 5
Asunción 4
Boston 4
Brussels 4
Curitiba 4
Falkenstein 4
Fuscaldo 4
Luoyang 4
Mexico City 4
Neuquén 4
Palermo 4
Riva Del Garda 4
San Francisco 4
San Giuliano Milanese 4
San José 4
Totale 2.165
Salva come PNG Salva come JPEG
Nome #
Large-scale reasoning on expressive horn ontologies 208
Reasoning over Ontologies with DLV 206
Enhancing DLV for Large-Scale Reasoning 206
Developing ASP programs with ASPIDE and LoIDE 205
Large Scale DLV: Preliminary Results 201
Smart Devices and Large Scale Reasoning via ASP: Tools and Applications 192
A REST-based development framework for ASP: Tools and application 191
Querying large expressive horn ontologies 190
The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track 165
Querying cultural heritage knowledge bases in natural language: Discussion paper 162
A Logic-Based Question Answering System for Cultural Heritage 162
Insegnare Answer Set Programming nelle Scuole Superiori 160
Datalog Development Tools 155
ASP-Based Declarative Reasoning in Data-Intensive Enterprise and IoT Applications 149
Applications of Answer Set Programming to Smart Devices and Large Scale Reasoning 138
ASPIDE: Integrated Development Environment for Answer Set Programming 137
An integrated environment for reasoning over ontologies via logic programming 132
A Visual Interface for Drawing ASP Programs 132
Development tools for datalog 129
Debugging non-ground ASP programs: Technique and graphical tools 110
Unit testing in ASPIDE 106
Extending ASPIDE with User-defined Plugins 94
Testing ASP programs in ASPIDE 92
ASPIDE the Integrated Development Environment for Answer Set Programming: Progress Report 89
Liceo Classico Digitale: Proposta Contenuti Disciplinari e Prime Sperimentazioni 88
Unit testing in ASPIDE 83
A neurosymbolic decision framework for flexible battery scheduling in renewable energy communities 28
On the Translation of ASP Rules to (Controlled) Natural Language Sentences 27
Logic and Answer Set Programming in High School: Two Learning Unit Experiences 23
Logica e Intelligenza Artificiale: pratiche didattiche per il Liceo Classico 11
Totale 3.971
Salva come PNG Salva come JPEG
Categoria #
all - tutte 19.055
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 19.055
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022261 0 0 0 20 17 16 11 41 9 26 39 82
2022/2023377 43 48 7 39 46 32 23 42 29 10 37 21
2023/2024294 26 19 29 25 24 41 14 16 14 19 23 44
2024/2025564 22 62 23 34 41 46 37 44 70 36 43 106
2025/20261.582 183 91 152 144 315 112 161 66 94 134 54 76
2026/2027454 76 37 142 199 0 0 0 0 0 0 0 0
Totale 3.971