AMENDOLA, Giovanni
 Distribuzione geografica
Continente #
NA - Nord America 1.090
EU - Europa 753
AS - Asia 388
AF - Africa 68
OC - Oceania 5
SA - Sud America 3
Totale 2.307
Nazione #
US - Stati Uniti d'America 1.066
SG - Singapore 184
IT - Italia 175
UA - Ucraina 168
DE - Germania 158
CN - Cina 130
SN - Senegal 64
AT - Austria 63
SE - Svezia 62
FI - Finlandia 35
IN - India 34
CA - Canada 24
TR - Turchia 23
BE - Belgio 14
CZ - Repubblica Ceca 14
GB - Regno Unito 13
KR - Corea 12
FR - Francia 11
RU - Federazione Russa 11
NL - Olanda 10
AU - Australia 5
PT - Portogallo 5
TN - Tunisia 4
ES - Italia 3
GR - Grecia 3
HK - Hong Kong 3
BG - Bulgaria 2
CO - Colombia 2
RO - Romania 2
BO - Bolivia 1
HR - Croazia 1
IL - Israele 1
IM - Isola di Man 1
JP - Giappone 1
LT - Lituania 1
PL - Polonia 1
Totale 2.307
Città #
Chandler 220
Singapore 149
Boardman 121
San Mateo 99
Jacksonville 94
Dakar 64
Vienna 58
Dearborn 46
Shanghai 40
Bremen 35
Helsinki 35
Lawrence 35
Roxbury 35
Ashburn 32
Cambridge 25
Ogden 25
Munich 24
Inglewood 22
Florence 20
Izmir 18
Ottawa 18
Cosenza 17
Rende 16
Pune 15
Des Moines 14
Brussels 13
Catanzaro 13
Brno 12
New York 12
Rome 12
Seoul 12
Brooklyn 9
Milan 8
Seattle 8
Falkenstein 7
Wilmington 7
Ann Arbor 6
Beijing 6
Grafing 6
Guangzhou 6
Toronto 6
Amsterdam 5
Cisano Sul Neva 5
Falls Church 5
Lisbon 5
Padova 5
Palermo 5
Redwood City 5
Sydney 5
Frankfurt am Main 4
Leopoldshafen 4
Los Angeles 4
Santa Clara 4
Athens 3
Bari 3
Colle di Val d'Elsa 3
Crespino 3
Newark 3
San Francisco 3
Stilo 3
Washington 3
Wuhan 3
Wuxi 3
Almere Stad 2
Amendolara 2
Belpasso 2
Bogota D.C. 2
Bucharest 2
Casalnuovo di Napoli 2
Changsha 2
Chicago 2
Chongqing 2
Crotone 2
Dresden 2
Faenza 2
Hefei 2
Heze 2
Jinan 2
Jinhua 2
Kilburn 2
Kyiv 2
Lexington 2
Nabeul 2
Nuremberg 2
Olomouc 2
Redmond 2
Rizziconi 2
Salerno 2
Sofia 2
Strasbourg 2
Trento 2
Tunis 2
Turin 2
Amantea 1
Ascoli Piceno 1
Cincinnati 1
Dalian 1
Dallas 1
Deventer 1
Douglas 1
Totale 1.573
Nome #
Evaluation of Disjunctive Programs in WASP 93
ASPQ: An ASP-based 2QBF solver 91
Algorithm Selection for Paracoherent Answer Set Computation 89
Generating Hard Random Boolean Formulas and Disjunctive Logic Programs 87
Entity set expansion from the Web via ASP 85
Finite Controllability of Conjunctive Query Answering with Existential Rules: Two Steps Forward 84
Enhancing Existential Rules by Closed-World Variables 81
Reasoning on anonymity in Datalog+/- 80
Beyond NP: Quantifying over Answer Sets 74
Better Paracoherent Answer Sets with Less Resources 73
Abstract Solvers for Computing Cautious Consequences of ASP programs 72
Finite model reasoning over existential rules 68
Answers set programs for non-transferable utility games: Expressiveness, complexity and applications 68
A Generator of Hard 2QBF Formulas and ASP Programs 68
New models for generating hard random boolean formulas and disjunctive logic programs 66
Antropo-Logos. La ragione al crocevia di intelligenza artificiale, razionalità scientifica, pensiero filosofico e teologia cristiana 65
Dealing with incoherence in ASP: Split semi-equilibrium semantics 64
A formal approach for cautious reasoning in answer set programming (extended abstract) 61
Modeling and Reasoning about NTU Games via Answer Set Programming 59
Semi-Equilibrium Models for Paracoherent Answer Set Programs 56
On the application of answer set programming to the conference paper assignment problem 51
Extending Bell Numbers for Parsimonious Chase Estimation 47
On the Computation of Paracoherent Answer Sets 46
Querying finite or arbitrary models? No matter! Existential rules may rely on both once again 45
Minimal undefinedness for fuzzy answer sets 43
Modular Paracoherent Answer Sets 40
Modeling Clique Coloring via {ASP(Q)} 40
Creatività come amore che libera e rinnova. Spunti per ripensare teologicamente la creatività umana 34
Explainable certain answers 31
Paracoherent Answer Set Semantics meets Argumentation Frameworks 29
Solving Problems in PH with ASP(Q): Preliminary Results 28
Artificial Intelligence and Sensitive Thought 28
Come relazionare scienze della natura e teologia? 27
Paracoherent answer set computation 24
A logic-based framework for characterizing nexus of similarity within knowledge bases 23
Characterizing Nexus of Similarity between Entities 22
Towards Quantified Answer Set Programming 22
Angoscia esistenziale, attese di salvezza e nostalgia di Dio nella cinematografia di Ingmar Bergman 21
Random models of very hard 2QBF and disjunctive programs: An overview 20
La fede cristiana come appare ad un fisico. In dialogo con Carlo Rovelli 20
Solving Problems in the Polynomial Hierarchy with ASP(Q) 20
Comunicare la fede nel mondo tardo antico: indagine logico-formale sull’Epistula ad Candidum di Mario Vittorino 20
Testing in ASP: Revisited Language and Programming Environment 19
Solving the Stable Roommates Problem using Incoherent Answer Set Programs 17
La ragionevole ineffabilità della natura al linguaggio matematico. Aspetti paradossali della misurazione della realtà fisica 17
Preliminary Results on Modeling Interdependent Scheduling Games via Answer Set Programming 16
Special Issue on Logic-Based Artificial Intelligence 15
Theological dimensions of the quantuminformational panpsychist approach to nature: a comparison between Federico Faggin’s vision and Christian theology 15
Ripensare la morale sessuale in chiave personalistica: La proposta di Enrico Chiavacci 14
L’orizzonte sapienziale del metodo. Considerazioni tra teologia, matematica e scienze empiriche 14
La comprensione dell’“intelligenza” tra intelligenza artificiale, filosofia e teologia 14
Una ragione agapica per realizzare la fede. L’esempio di S. Francesco di Paola 13
La rivelazione delle sacre scritture matematiche 12
Querying finite or arbitrary models? No matter! Existential rules may rely on both once again 11
Externally supported models for efficient computation of paracoherent answer sets 11
Logica matematica e teologia in dialogo: dalla dimostrazione logica dell’esistenza di Dio alla logica di Dio 11
Riflessioni interdisciplinari sul controllo degli automi 10
Le scienze della natura nella riflessione teologica di W. Pannenberg 9
Nuova evangelizzazione e mondo scientifico: analisi di un cinquantennio di indicazioni magisteriali 7
L’agire di Dio nel cosmo: la proposta di John Polkinghorne 6
Unit Testing in ASP Revisited: Language and Test-Driven Development Environment 6
Totale 2.402
Categoria #
all - tutte 20.786
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 20.786


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202090 0 0 0 0 0 0 18 26 1 6 26 13
2020/2021195 25 1 23 42 2 19 3 24 18 23 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/2025428 26 151 32 71 82 50 16 0 0 0 0 0
Totale 2.402