IRIS
FORMISANO, Andrea
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.644
AS - Asia 3.970
EU - Europa 1.846
SA - Sud America 777
Continente sconosciuto - Info sul continente non disponibili 386
AF - Africa 96
OC - Oceania 13
Totale 11.732
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.449
SG - Singapore 1.900
CN - Cina 662
BR - Brasile 588
IT - Italia 428
HK - Hong Kong 375
VN - Vietnam 341
DE - Germania 200
UA - Ucraina 194
GB - Regno Unito 180
RU - Federazione Russa 173
FR - Francia 142
SE - Svezia 118
CA - Canada 116
IN - India 116
FI - Finlandia 96
IE - Irlanda 95
BD - Bangladesh 93
AR - Argentina 77
JP - Giappone 60
PH - Filippine 60
TR - Turchia 51
ID - Indonesia 48
KR - Corea 41
BE - Belgio 38
EC - Ecuador 38
MX - Messico 34
NL - Olanda 29
PK - Pakistan 26
TW - Taiwan 26
LT - Lituania 23
AT - Austria 22
ES - Italia 22
PL - Polonia 22
ZA - Sudafrica 21
IQ - Iraq 19
AE - Emirati Arabi Uniti 18
IL - Israele 18
VE - Venezuela 18
MY - Malesia 17
SA - Arabia Saudita 16
HU - Ungheria 15
CO - Colombia 14
CL - Cile 13
RO - Romania 13
JM - Giamaica 12
TG - Togo 12
IR - Iran 11
PY - Paraguay 11
AU - Australia 10
MA - Marocco 10
DZ - Algeria 8
KE - Kenya 8
NP - Nepal 8
PE - Perù 8
MO - Macao, regione amministrativa speciale della Cina 7
UZ - Uzbekistan 7
BO - Bolivia 6
CZ - Repubblica Ceca 6
EG - Egitto 6
JO - Giordania 6
TH - Thailandia 6
DK - Danimarca 5
ET - Etiopia 5
KZ - Kazakistan 5
LB - Libano 5
QA - Qatar 5
SN - Senegal 5
AL - Albania 4
AW - Aruba 4
CR - Costa Rica 4
HN - Honduras 4
KW - Kuwait 4
LK - Sri Lanka 4
SV - El Salvador 4
TN - Tunisia 4
TT - Trinidad e Tobago 4
UY - Uruguay 4
AZ - Azerbaigian 3
CH - Svizzera 3
EU - Europa 3
GT - Guatemala 3
NG - Nigeria 3
PA - Panama 3
PT - Portogallo 3
RS - Serbia 3
BG - Bulgaria 2
BH - Bahrain 2
BZ - Belize 2
CY - Cipro 2
GA - Gabon 2
HR - Croazia 2
LY - Libia 2
NI - Nicaragua 2
NO - Norvegia 2
OM - Oman 2
PS - Palestinian Territory 2
XK - ???statistics.table.value.countryCode.XK??? 2
AO - Angola 1
BA - Bosnia-Erzegovina 1
Totale 11.327
Salva come PNG Salva come JPEG
Città #
Singapore 648
Hong Kong 349
Ashburn 329
San Jose 306
Woodbridge 297
Fairfield 278
Ann Arbor 271
Beijing 260
Council Bluffs 196
Houston 192
Chandler 183
Boardman 155
Wilmington 149
Ho Chi Minh City 117
Seattle 110
Jacksonville 107
Cambridge 99
Lauterbourg 98
Dublin 95
Princeton 90
Hefei 88
Dearborn 83
Los Angeles 83
Udine 78
Hanoi 66
Redondo Beach 55
Dallas 53
São Paulo 53
New York 45
Buffalo 41
Santa Clara 40
Toronto 38
Munich 37
The Dalles 35
Brussels 34
Seoul 34
Nottingham 31
Dong Ket 29
Frankfurt am Main 29
Helsinki 29
Tokyo 29
Ogden 28
Des Moines 27
Milan 26
Ottawa 26
Rome 25
Orem 23
San Diego 23
London 21
Mumbai 21
Norwalk 21
Lawrenceville 19
Rio de Janeiro 19
Taipei 18
Izmir 17
Quezon City 17
Vienna 17
Buenos Aires 15
Haiphong 15
Brooklyn 14
Turku 14
Montreal 13
San Francisco 13
Treviso 13
Chennai 12
Chicago 12
Guayaquil 12
Kuala Lumpur 12
Lomé 12
Nuremberg 12
Quito 12
Washington 12
Atlanta 11
Suzhou 11
Trieste 11
Verona 11
Amsterdam 10
Baghdad 10
Bolzano Vicentino 10
Curitiba 10
Matsuyama 10
Naples 10
Porto Alegre 10
Shenzhen 10
Warsaw 10
Ankara 9
Da Nang 9
Kingston 9
Lahore 9
Phoenix 9
Rishon LeTsiyyon 9
Abu Dhabi 8
Belo Horizonte 8
Davao City 8
Delhi 8
Guarulhos 8
Jakarta 8
Johannesburg 8
Las Cruces 8
Meiningen 8
Totale 6.140
Salva come PNG Salva come JPEG
Nome #
Students' Careers and AI: a decision-making support system for Academia 504
An Empirical Study of Constraint Logic Programming and Answer Set Programming Solutions of Combinatorial Problems 235
T-resolution: refinements and model elimination 214
Three-variable statements of set-pairing 213
XAI-LAW Towards a logic programming tool for taking and explaining legal decisions 210
A comparison of CLP(FD) and ASP solutions to NP-complete problems 205
A GPU implementation of the ASP computation 204
Towards explainable data-to-text generation 194
Representing Multi-Agent Planning in CLP 186
The axiom of elementary sets on the edge of Peircean expressibility 179
Parallel Answer Set Programming 176
Perspectives on Logic-based Approaches for Reasoning About Actions and Change 172
ASP Applications in Bio-informatics: A Short Tour 157
Multivalued Action Languages with Constraints in CLP(FD) 154
2D object reconstruction with ASP 152
An Experimental Comparison of Constraint Logic Programming and Answer Set Programming. 149
Exploring Life: Answer Set Programming in Bioinformatics 149
Multi-valued Action Languages with Constraints in CLP(FD) 148
Decidability Results for Sets with Atoms 145
An investigation of Multi-Agent Planning in CLP. 142
Concept2Text: an explainable multilingual rewriting of concepts into natural language 141
{CUDA}: Set Constraints on GPUs. 137
GPU Parallelism for SAT Solving Heuristics 136
Parallel execution of the ASP computation - An investigation on GPUs 136
An Epistemic Logic for Multi-agent Systems with Budget and Costs 133
An xAI Approach for Data-to-Text Processing with ASP 131
CUD@SAT: SAT solving on GPUs 131
Logic programming applied to genome evolution in cancer? 130
Views on Time in Systems Biology 126
Autonomous agents coordination: Action languages meet CLP(FD) and Linda 115
An Epistemic Logic for Modular Development of Multi-Agent Systems 113
On T Logic Programming 111
Exploiting unexploited computing resources for computational logics 107
CUD@ASP: Experimenting with GPUs in ASP solving 105
Data2Concept2Text: An Explainable Multilingual Framework for Data Analysis Narration 99
Dataset_ScalableEnergyGamesSolversOnGPUs 99
GPU-Based Parallelism for ASP-Solving 97
A Timed Epistemic Logic for Formalizing Cooperation among Groups of Agents 96
Reasoning on Relations, Modalities, and Sets 95
23rd RCRA International workshop on “Experimental evaluation of algorithms for solving problems with combinatorial explosion” 95
Augmenting knowledge representation and reasoning languages with customizable metalogic features 95
Adding Metalogic Features to Knowledge Representation Languages 93
Timed Memory in Resource-Bounded Agents 91
Query answering in resource-based answer set semantics 88
Solver fast prototyping for reduct-based ELP semantics 87
Advances in computational logic (CILC08): Preface 87
Towards Explainable Weather Forecasting Through FastLAS 86
Temporalizing Epistemic Logic L-DINF 85
An environment for specifying properties of dyadic relations and reasoning about them II: Relational presentation of non-classical logics 81
An Agg application supporting visual reasoning 81
Prolog Meets Biology 81
Negation as a resource: A novel view on answer set semantics 80
BAAC: A Prolog System for Action Description and Agents Coordination 80
GPU-Accelerated Propagation for the Stable Marriage Constraint 79
A graphical representation of relational formulae with complementation 79
On multiple learning schemata in conflict driven solvers 78
A graphical approach to relational reasoning 78
Special issue of the 22nd RCRA international workshop on "Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion" 78
Layered map reasoning: An experimental approach put to trial on sets 77
Preface 76
Parallel Answer Set Programming 76
Parallel Logic Programming: A Sequel 75
Augmenting Datalog ± with Customizable Metalogic Features for Powerful Ontological Reasoning 75
A logic of inferable in multi-agent systems with budget and costs 75
Epistemic Logic Programs: an Approach to Semantic Comparison 74
Accelerating energy games solvers on modern architectures 74
An equational re-engineering of set theories 73
Nested weight constraints in ASP 73
Scalable Energy Games Solvers on GPUs 71
An epistemic logic for formalizing group dynamics of agents 70
Constraints Propagation on GPU: A Case Study for AllDifferent 70
Theory-specific automated reasoning 70
Cognitive Aspects in Epistemic Logic L-DINF 68
Introduction to the 35th International Conference on Logic Programming Special Issue 68
Multi-context systems in dynamic environments 68
Nested weight constraints in ASP 68
Theoretical Computer Science in Italy 68
Advances in Computational Logic (CILC23): Preface 67
Negation as a Resource: A Novel View on Answer Set Semantics 67
Constraint propagation on GPU: A case study for the AllDifferent constraint 66
Modeling preferences and conditional preferences on resource consumption and production in ASP 66
Mappings between domain models in Answer Set Programming 66
Fast Prototyping of a Solver for Reduct-based ELP Semantics 65
Compiling dyadic first-order specifications into map algebra 65
Weight constraints with preferences in ASP 65
Autonomous Agents Coordination: Action Description Languages Meet CLP(FD) and Linda 64
Qualitative Uncertainty Orderings Revised 64
Query answering in resource-based answer set semantics 64
Preface 63
Constraint propagation on GPU: a case study for the cumulative constraint 62
PRODPROC - Product and production process modeling and configuration 62
Introduction to the 37th International Conference on Logic Programming Special Issue II 62
Negation as a resource: A novel view on answer set semantics 61
An efficient relational deductive system for propositional non-Classical logics 61
Augmenting agent computational environments with quantitative reasoning modules and customizable bridge rules 61
Preferences and priorities in ASP 59
Epistemic Logic Programs: A Study of Some Properties 56
Instructing equational set-reasoning with otter 56
Augmenting agent computational environments with quantitative reasoning modules and customizable bridge rules 56
Preference Management in Epistemic Logic L-DINF 55
Totale 10.530
Salva come PNG Salva come JPEG
Categoria #
all - tutte 51.043
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 51.043
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022588 0 0 37 37 16 12 42 32 8 113 182 109
2022/2023561 110 43 7 68 44 149 5 31 63 5 23 13
2023/2024525 35 22 36 14 49 57 63 67 47 48 27 60
2024/20252.729 97 148 103 79 63 213 128 118 226 325 346 883
2025/20264.383 339 528 433 523 482 316 477 211 231 386 232 225
2026/2027511 209 198 104 0 0 0 0 0 0 0 0 0
Totale 11.732