IRIS
AMENDOLA, GIOVANNI
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 2.178
NA - Nord America 1.890
EU - Europa 1.146
SA - Sud America 602
AF - Africa 159
OC - Oceania 9
Continente sconosciuto - Info sul continente non disponibili 2
Totale 5.986
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.768
SG - Singapore 858
BR - Brasile 419
VN - Vietnam 385
CN - Cina 346
IT - Italia 305
DE - Germania 194
UA - Ucraina 183
HK - Hong Kong 172
FR - Francia 103
IN - India 71
AT - Austria 66
SE - Svezia 66
SN - Senegal 65
AR - Argentina 63
BD - Bangladesh 60
CA - Canada 49
KR - Corea 47
FI - Finlandia 43
MX - Messico 40
RU - Federazione Russa 39
IQ - Iraq 35
EC - Ecuador 33
GB - Regno Unito 33
TR - Turchia 33
ID - Indonesia 29
ZA - Sudafrica 27
CO - Colombia 23
PK - Pakistan 22
MA - Marocco 19
MY - Malesia 18
BE - Belgio 17
NL - Olanda 17
VE - Venezuela 17
CZ - Repubblica Ceca 15
PL - Polonia 14
UZ - Uzbekistan 14
PH - Filippine 13
PY - Paraguay 12
UY - Uruguay 12
PE - Perù 11
TN - Tunisia 11
CL - Cile 10
ES - Italia 10
AU - Australia 9
NP - Nepal 9
AE - Emirati Arabi Uniti 8
EG - Egitto 8
DZ - Algeria 7
HN - Honduras 7
BG - Bulgaria 6
DO - Repubblica Dominicana 6
JM - Giamaica 6
JO - Giordania 6
KE - Kenya 6
OM - Oman 6
PT - Portogallo 6
AZ - Azerbaigian 5
ET - Etiopia 5
JP - Giappone 5
PA - Panama 5
SA - Arabia Saudita 5
CI - Costa d'Avorio 4
CR - Costa Rica 4
IE - Irlanda 4
KW - Kuwait 4
KZ - Kazakistan 4
LB - Libano 4
PS - Palestinian Territory 4
AL - Albania 3
GR - Grecia 3
IL - Israele 3
NG - Nigeria 3
RO - Romania 3
SI - Slovenia 3
AM - Armenia 2
BO - Bolivia 2
CH - Svizzera 2
KH - Cambogia 2
LT - Lituania 2
XK - ???statistics.table.value.countryCode.XK??? 2
AD - Andorra 1
BM - Bermuda 1
BY - Bielorussia 1
CU - Cuba 1
CV - Capo Verde 1
CY - Cipro 1
GA - Gabon 1
GE - Georgia 1
GH - Ghana 1
HR - Croazia 1
IM - Isola di Man 1
IR - Iran 1
KG - Kirghizistan 1
LV - Lettonia 1
MD - Moldavia 1
MT - Malta 1
NI - Nicaragua 1
RS - Serbia 1
SK - Slovacchia (Repubblica Slovacca) 1
Totale 5.979
Salva come PNG Salva come JPEG
Città #
Singapore 342
Chandler 220
Hong Kong 166
San Jose 164
Ashburn 145
Ho Chi Minh City 141
Boardman 121
Dallas 120
San Mateo 99
Jacksonville 94
Beijing 85
Council Bluffs 84
Hanoi 76
Dakar 65
Vienna 58
Lauterbourg 56
Seoul 47
Dearborn 46
Munich 46
Shanghai 42
Hefei 41
Helsinki 36
Bremen 35
Lawrence 35
Roxbury 35
New York 33
São Paulo 32
Cambridge 25
Ogden 25
Rende 23
Rome 23
Inglewood 22
Cosenza 21
Florence 21
Da Nang 20
Ottawa 19
Izmir 18
Milan 18
Toronto 17
Catanzaro 16
Columbus 16
Los Angeles 16
Baghdad 15
Haiphong 15
Pune 15
Quito 15
Brussels 14
Des Moines 14
Rio de Janeiro 13
The Dalles 13
Brno 12
Brooklyn 12
Lahore 12
Tashkent 12
Tianjin 12
Bari 11
Biên Hòa 11
Mexico City 11
Santa Clara 11
Seattle 11
Buenos Aires 10
Montevideo 10
Warsaw 10
Belo Horizonte 9
Hải Dương 9
Porto Alegre 9
Sydney 9
Brasília 8
Bắc Ninh 8
Guangzhou 8
Montreal 8
Amsterdam 7
Boston 7
Falkenstein 7
London 7
Palermo 7
Ribeirão Preto 7
San Francisco 7
Tunis 7
Turin 7
Turku 7
Wilmington 7
Amman 6
Ann Arbor 6
Campinas 6
Chicago 6
Dhaka 6
Frankfurt am Main 6
Grafing 6
Jakarta 6
Johannesburg 6
Lima 6
Muscat 6
Petaling Jaya 6
Piacenza 6
Rabat 6
Vibo Valentia 6
Basra 5
Cisano Sul Neva 5
Curitiba 5
Totale 3.273
Salva come PNG Salva come JPEG
Nome #
Evaluation of Disjunctive Programs in WASP 181
Algorithm Selection for Paracoherent Answer Set Computation 170
ASPQ: An ASP-based 2QBF solver 168
Enhancing Existential Rules by Closed-World Variables 163
Entity set expansion from the Web via ASP 161
A Generator of Hard 2QBF Formulas and ASP Programs 161
Beyond NP: Quantifying over Answer Sets 151
Answers set programs for non-transferable utility games: Expressiveness, complexity and applications 151
Abstract Solvers for Computing Cautious Consequences of ASP programs 149
A formal approach for cautious reasoning in answer set programming (extended abstract) 148
Antropo-Logos. La ragione al crocevia di intelligenza artificiale, razionalità scientifica, pensiero filosofico e teologia cristiana 146
Reasoning on anonymity in Datalog+/- 142
Generating Hard Random Boolean Formulas and Disjunctive Logic Programs 140
New models for generating hard random boolean formulas and disjunctive logic programs 135
Finite model reasoning over existential rules 132
Better Paracoherent Answer Sets with Less Resources 132
Finite Controllability of Conjunctive Query Answering with Existential Rules: Two Steps Forward 128
Paracoherent answer set computation 122
Semi-Equilibrium Models for Paracoherent Answer Set Programs 121
Dealing with incoherence in ASP: Split semi-equilibrium semantics 119
Characterizing Nexus of Similarity between Entities 117
A logic-based framework for characterizing nexus of similarity within knowledge bases 117
Extending Bell Numbers for Parsimonious Chase Estimation 112
Modeling and Reasoning about NTU Games via Answer Set Programming 109
Minimal undefinedness for fuzzy answer sets 109
Querying finite or arbitrary models? No matter! Existential rules may rely on both once again 102
On the application of answer set programming to the conference paper assignment problem 93
On the Computation of Paracoherent Answer Sets 92
Solving Problems in PH with ASP(Q): Preliminary Results 90
Externally supported models for efficient computation of paracoherent answer sets 90
Creatività come amore che libera e rinnova. Spunti per ripensare teologicamente la creatività umana 86
Angoscia esistenziale, attese di salvezza e nostalgia di Dio nella cinematografia di Ingmar Bergman 85
Modular Paracoherent Answer Sets 84
Testing in ASP: Revisited Language and Programming Environment 83
La comprensione dell’“intelligenza” tra intelligenza artificiale, filosofia e teologia 82
Artificial Intelligence and Sensitive Thought 82
L’orizzonte sapienziale del metodo. Considerazioni tra teologia, matematica e scienze empiriche 81
Random models of very hard 2QBF and disjunctive programs: An overview 79
Come relazionare scienze della natura e teologia? 78
Comunicare la fede nel mondo tardo antico: indagine logico-formale sull’Epistula ad Candidum di Mario Vittorino 77
Paracoherent Answer Set Semantics meets Argumentation Frameworks 76
Explainable certain answers 75
Solving Problems in the Polynomial Hierarchy with ASP(Q) 74
Towards Quantified Answer Set Programming 69
La ragionevole ineffabilità della natura al linguaggio matematico. Aspetti paradossali della misurazione della realtà fisica 69
Unit Testing in ASP Revisited: Language and Test-Driven Development Environment 68
Modeling Clique Coloring via {ASP(Q)} 66
Ripensare la morale sessuale in chiave personalistica: La proposta di Enrico Chiavacci 64
Querying finite or arbitrary models? No matter! Existential rules may rely on both once again 63
Solving the Stable Roommates Problem using Incoherent Answer Set Programs 62
Logica matematica e teologia in dialogo: dalla dimostrazione logica dell’esistenza di Dio alla logica di Dio 60
Una ragione agapica per realizzare la fede. L’esempio di S. Francesco di Paola 60
Preliminary Results on Modeling Interdependent Scheduling Games via Answer Set Programming 59
La fede cristiana come appare ad un fisico. In dialogo con Carlo Rovelli 58
Nuova evangelizzazione e mondo scientifico: analisi di un cinquantennio di indicazioni magisteriali 58
La rivelazione delle sacre scritture matematiche 57
L’agire di Dio nel cosmo: la proposta di John Polkinghorne 57
Theological dimensions of the quantuminformational panpsychist approach to nature: a comparison between Federico Faggin’s vision and Christian theology 56
Special Issue on Logic-Based Artificial Intelligence 55
Le scienze della natura nella riflessione teologica di W. Pannenberg 55
Riflessioni interdisciplinari sul controllo degli automi 50
neXSim: A System for Explaining Nexus of Similarities✶ 3
Totale 6.082
Salva come PNG Salva come JPEG
Categoria #
all - tutte 35.079
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 35.079
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202115 0 0 0 0 0 0 0 0 0 0 0 15
2021/2022452 0 52 2 16 34 9 18 114 7 16 72 112
2022/2023577 56 84 7 61 84 62 10 63 61 27 36 26
2023/2024482 30 19 60 31 43 55 22 18 40 24 44 96
2024/20251.091 26 151 32 71 82 50 62 69 106 67 90 285
2025/20263.017 368 149 280 308 549 206 320 161 212 264 86 114
Totale 6.082