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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201918 0 0 0 0 0 0 0 0 0 0 18 0
2019/2020208 22 15 5 17 14 45 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/2024337 30 19 60 31 43 55 22 18 40 19 0 0
Totale 1.829