IRIS
FORMISANO, Andrea
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.103
AS - Asia 3.879
EU - Europa 1.750
SA - Sud America 763
AF - Africa 95
OC - Oceania 13
Continente sconosciuto - Info sul continente non disponibili 5
Totale 10.608
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.950
SG - Singapore 1.888
CN - Cina 654
BR - Brasile 581
HK - Hong Kong 369
IT - Italia 345
VN - Vietnam 340
DE - Germania 199
UA - Ucraina 194
GB - Regno Unito 180
RU - Federazione Russa 173
FR - Francia 141
SE - Svezia 118
IN - India 114
CA - Canada 98
FI - Finlandia 96
IE - Irlanda 95
AR - Argentina 74
PH - Filippine 60
JP - Giappone 58
TR - Turchia 51
ID - Indonesia 45
KR - Corea 41
BD - Bangladesh 39
BE - Belgio 38
EC - Ecuador 38
MX - Messico 31
NL - Olanda 29
PK - Pakistan 26
TW - Taiwan 26
LT - Lituania 22
PL - Polonia 21
ZA - Sudafrica 21
AT - Austria 20
ES - Italia 19
IQ - Iraq 19
IL - Israele 18
AE - Emirati Arabi Uniti 17
MY - Malesia 17
SA - Arabia Saudita 16
VE - Venezuela 16
HU - Ungheria 15
CL - Cile 13
RO - Romania 13
CO - Colombia 12
TG - Togo 12
IR - Iran 11
PY - Paraguay 11
AU - Australia 10
MA - Marocco 10
DZ - Algeria 8
NP - Nepal 8
PE - Perù 8
KE - Kenya 7
MO - Macao, regione amministrativa speciale della Cina 7
UZ - Uzbekistan 7
BO - Bolivia 6
EG - Egitto 6
JO - Giordania 6
CZ - Repubblica Ceca 5
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
JM - Giamaica 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
RS - Serbia 3
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
PT - Portogallo 2
XK - ???statistics.table.value.countryCode.XK??? 2
AO - Angola 1
BA - Bosnia-Erzegovina 1
BB - Barbados 1
BF - Burkina Faso 1
BG - Bulgaria 1
BH - Bahrain 1
BJ - Benin 1
BW - Botswana 1
Totale 10.587
Salva come PNG Salva come JPEG
Città #
Singapore 640
Hong Kong 343
Ashburn 305
Woodbridge 297
Fairfield 278
Ann Arbor 271
Beijing 255
San Jose 220
Houston 191
Chandler 183
Wilmington 148
Boardman 140
Ho Chi Minh City 116
Seattle 109
Jacksonville 105
Cambridge 99
Lauterbourg 98
Dublin 95
Princeton 90
Hefei 88
Dearborn 83
Los Angeles 76
Udine 75
Hanoi 66
Council Bluffs 58
Redondo Beach 54
São Paulo 51
Dallas 46
Munich 37
Buffalo 36
Brussels 34
New York 34
Seoul 34
The Dalles 34
Toronto 34
Nottingham 31
Dong Ket 29
Frankfurt am Main 29
Helsinki 29
Tokyo 29
Des Moines 27
Ogden 27
Ottawa 26
Orem 23
San Diego 22
London 21
Mumbai 21
Norwalk 21
Rome 20
Lawrenceville 19
Rio de Janeiro 19
Taipei 18
Izmir 17
Quezon City 17
Haiphong 15
Santa Clara 15
Vienna 15
Milan 14
Turku 14
Buenos Aires 13
Brooklyn 12
Chennai 12
Guayaquil 12
Kuala Lumpur 12
Lomé 12
Montreal 12
Nuremberg 12
Quito 12
San Francisco 12
Treviso 12
Suzhou 11
Trieste 11
Amsterdam 10
Baghdad 10
Bolzano Vicentino 10
Curitiba 10
Matsuyama 10
Porto Alegre 10
Shenzhen 10
Verona 10
Warsaw 10
Ankara 9
Da Nang 9
Lahore 9
Rishon LeTsiyyon 9
Washington 9
Belo Horizonte 8
Chicago 8
Davao City 8
Delhi 8
Guarulhos 8
Jakarta 8
Johannesburg 8
Las Cruces 8
Meiningen 8
Nanjing 8
Paris 8
Wuhan 8
Abu Dhabi 7
Atlanta 7
Totale 5.741
Salva come PNG Salva come JPEG
Nome #
Students' Careers and AI: a decision-making support system for Academia 463
An Empirical Study of Constraint Logic Programming and Answer Set Programming Solutions of Combinatorial Problems 227
Three-variable statements of set-pairing 206
T-resolution: refinements and model elimination 202
XAI-LAW Towards a logic programming tool for taking and explaining legal decisions 198
A comparison of CLP(FD) and ASP solutions to NP-complete problems 198
A GPU implementation of the ASP computation 191
Representing Multi-Agent Planning in CLP 182
Towards explainable data-to-text generation 181
The axiom of elementary sets on the edge of Peircean expressibility 169
Parallel Answer Set Programming 169
Perspectives on Logic-based Approaches for Reasoning About Actions and Change 164
ASP Applications in Bio-informatics: A Short Tour 152
Multivalued Action Languages with Constraints in CLP(FD) 150
An Experimental Comparison of Constraint Logic Programming and Answer Set Programming. 144
2D object reconstruction with ASP 142
Multi-valued Action Languages with Constraints in CLP(FD) 141
Exploring Life: Answer Set Programming in Bioinformatics 138
Decidability Results for Sets with Atoms 137
An investigation of Multi-Agent Planning in CLP. 137
{CUDA}: Set Constraints on GPUs. 133
Parallel execution of the ASP computation - An investigation on GPUs 130
GPU Parallelism for SAT Solving Heuristics 129
An xAI Approach for Data-to-Text Processing with ASP 126
Concept2Text: an explainable multilingual rewriting of concepts into natural language 126
CUD@SAT: SAT solving on GPUs 124
Logic programming applied to genome evolution in cancer? 124
Views on Time in Systems Biology 120
Autonomous agents coordination: Action languages meet CLP(FD) and Linda 109
An Epistemic Logic for Modular Development of Multi-Agent Systems 109
An Epistemic Logic for Multi-agent Systems with Budget and Costs 104
On T Logic Programming 103
Exploiting unexploited computing resources for computational logics 102
CUD@ASP: Experimenting with GPUs in ASP solving 102
Dataset_ScalableEnergyGamesSolversOnGPUs 95
Reasoning on Relations, Modalities, and Sets 93
23rd RCRA International workshop on “Experimental evaluation of algorithms for solving problems with combinatorial explosion” 92
Adding Metalogic Features to Knowledge Representation Languages 91
Augmenting knowledge representation and reasoning languages with customizable metalogic features 90
GPU-Based Parallelism for ASP-Solving 89
Timed Memory in Resource-Bounded Agents 86
Advances in computational logic (CILC08): Preface 85
Query answering in resource-based answer set semantics 84
Temporalizing Epistemic Logic L-DINF 83
Data2Concept2Text: An Explainable Multilingual Framework for Data Analysis Narration 81
Towards Explainable Weather Forecasting Through FastLAS 81
A Timed Epistemic Logic for Formalizing Cooperation among Groups of Agents 79
An environment for specifying properties of dyadic relations and reasoning about them II: Relational presentation of non-classical logics 79
BAAC: A Prolog System for Action Description and Agents Coordination 79
An Agg application supporting visual reasoning 77
Negation as a resource: A novel view on answer set semantics 77
A graphical approach to relational reasoning 76
Special issue of the 22nd RCRA international workshop on "Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion" 76
A graphical representation of relational formulae with complementation 76
Layered map reasoning: An experimental approach put to trial on sets 75
Solver fast prototyping for reduct-based ELP semantics 74
Augmenting Datalog ± with Customizable Metalogic Features for Powerful Ontological Reasoning 74
Prolog Meets Biology 73
On multiple learning schemata in conflict driven solvers 72
Preface 72
Parallel Answer Set Programming 72
Accelerating energy games solvers on modern architectures 71
Epistemic Logic Programs: an Approach to Semantic Comparison 70
Parallel Logic Programming: A Sequel 70
An equational re-engineering of set theories 70
Nested weight constraints in ASP 70
A logic of inferable in multi-agent systems with budget and costs 70
Scalable Energy Games Solvers on GPUs 69
Constraints Propagation on GPU: A Case Study for AllDifferent 66
Theoretical Computer Science in Italy 66
Theory-specific automated reasoning 66
Constraint propagation on GPU: A case study for the AllDifferent constraint 65
An epistemic logic for formalizing group dynamics of agents 65
Multi-context systems in dynamic environments 65
Advances in Computational Logic (CILC23): Preface 63
Introduction to the 35th International Conference on Logic Programming Special Issue 63
Nested weight constraints in ASP 62
Fast Prototyping of a Solver for Reduct-based ELP Semantics 61
Autonomous Agents Coordination: Action Description Languages Meet CLP(FD) and Linda 61
Modeling preferences and conditional preferences on resource consumption and production in ASP 61
Negation as a Resource: A Novel View on Answer Set Semantics 61
Weight constraints with preferences in ASP 61
Query answering in resource-based answer set semantics 61
Mappings between domain models in Answer Set Programming 60
Compiling dyadic first-order specifications into map algebra 60
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
Introduction to the 37th International Conference on Logic Programming Special Issue II 60
Constraint propagation on GPU: a case study for the cumulative constraint 59
Cognitive Aspects in Epistemic Logic L-DINF 58
Qualitative Uncertainty Orderings Revised 58
Negation as a resource: A novel view on answer set semantics 56
Preferences and priorities in ASP 56
GPU-Accelerated Propagation for the Stable Marriage Constraint 55
PRODPROC - Product and production process modeling and configuration 55
Augmenting agent computational environments with quantitative reasoning modules and customizable bridge rules 54
Instructing equational set-reasoning with otter 53
Epistemic Logic Programs: A Study of Some Properties 52
Preference Management in Epistemic Logic L-DINF 52
Totale 9.918
Salva come PNG Salva come JPEG
Categoria #
all - tutte 46.941
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 46.941
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202197 0 0 0 0 0 0 0 0 0 0 39 58
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.145 339 528 433 523 482 316 477 211 231 386 219 0
Totale 10.983