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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022664 21 55 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/2027194 194 0 0 0 0 0 0 0 0 0 0 0
Totale 11.415