IRIS
FORMISANO, Andrea
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.416
AS - Asia 3.163
EU - Europa 1.456
SA - Sud America 691
AF - Africa 71
OC - Oceania 13
Continente sconosciuto - Info sul continente non disponibili 5
Totale 8.815
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.302
SG - Singapore 1.552
BR - Brasile 554
CN - Cina 540
HK - Hong Kong 340
IT - Italia 269
VN - Vietnam 259
UA - Ucraina 192
DE - Germania 178
RU - Federazione Russa 169
GB - Regno Unito 165
SE - Svezia 116
IE - Irlanda 93
IN - India 83
CA - Canada 78
FI - Finlandia 75
AR - Argentina 55
PH - Filippine 50
JP - Giappone 47
TR - Turchia 41
KR - Corea 40
ID - Indonesia 37
BE - Belgio 36
EC - Ecuador 30
FR - Francia 29
TW - Taiwan 23
LT - Lituania 21
MX - Messico 21
NL - Olanda 21
BD - Bangladesh 20
PL - Polonia 20
PK - Pakistan 18
ZA - Sudafrica 18
IL - Israele 17
HU - Ungheria 15
AE - Emirati Arabi Uniti 14
ES - Italia 13
MY - Malesia 13
RO - Romania 12
TG - Togo 12
PY - Paraguay 11
AT - Austria 10
AU - Australia 10
IR - Iran 10
CO - Colombia 9
VE - Venezuela 9
MA - Marocco 8
CL - Cile 7
MO - Macao, regione amministrativa speciale della Cina 7
PE - Perù 7
SA - Arabia Saudita 7
BO - Bolivia 6
CZ - Repubblica Ceca 5
DZ - Algeria 5
EG - Egitto 5
JO - Giordania 5
LB - Libano 5
NP - Nepal 5
AW - Aruba 4
IQ - Iraq 4
LK - Sri Lanka 4
UZ - Uzbekistan 4
AL - Albania 3
AZ - Azerbaigian 3
CH - Svizzera 3
DK - Danimarca 3
EU - Europa 3
KE - Kenya 3
QA - Qatar 3
SN - Senegal 3
TH - Thailandia 3
UY - Uruguay 3
BZ - Belize 2
CY - Cipro 2
ET - Etiopia 2
GA - Gabon 2
HR - Croazia 2
KW - Kuwait 2
KZ - Kazakistan 2
LY - Libia 2
NG - Nigeria 2
NO - Norvegia 2
TN - Tunisia 2
XK - ???statistics.table.value.countryCode.XK??? 2
AO - Angola 1
BA - Bosnia-Erzegovina 1
BB - Barbados 1
BJ - Benin 1
BW - Botswana 1
CG - Congo 1
CM - Camerun 1
CR - Costa Rica 1
DO - Repubblica Dominicana 1
EE - Estonia 1
GT - Guatemala 1
JM - Giamaica 1
KG - Kirghizistan 1
LI - Liechtenstein 1
LV - Lettonia 1
MN - Mongolia 1
Totale 8.805
Salva come PNG Salva come JPEG
Città #
Singapore 455
Hong Kong 321
Woodbridge 297
Fairfield 278
Ann Arbor 271
Beijing 244
Ashburn 240
Houston 189
Chandler 183
Wilmington 148
Boardman 138
Seattle 109
Jacksonville 105
Cambridge 99
Dublin 93
Princeton 90
Ho Chi Minh City 89
Hefei 87
Dearborn 83
Udine 70
Los Angeles 59
Redondo Beach 54
Hanoi 52
São Paulo 50
Dallas 42
Munich 37
Buffalo 35
Brussels 34
Seoul 34
Toronto 31
Nottingham 30
Dong Ket 29
Ogden 27
Ottawa 26
Des Moines 25
Tokyo 25
New York 22
San Diego 22
Norwalk 21
Frankfurt am Main 19
London 18
Mumbai 18
Rio de Janeiro 18
Taipei 17
Izmir 16
Quezon City 16
Rome 13
Guayaquil 12
Helsinki 12
Lomé 12
Santa Clara 12
Turku 12
Brooklyn 11
Haiphong 11
San Francisco 11
Trieste 11
Bolzano Vicentino 10
Buenos Aires 10
Curitiba 10
Kuala Lumpur 10
Matsuyama 10
Porto Alegre 10
Suzhou 10
Ankara 9
Montreal 9
Quito 9
Rishon LeTsiyyon 9
Warsaw 9
Belo Horizonte 8
Davao City 8
Johannesburg 8
Las Cruces 8
Meiningen 8
Nanjing 8
Nuremberg 8
Shenzhen 8
Treviso 8
Washington 8
Brasília 7
Chennai 7
Da Nang 7
Delhi 7
Guarulhos 7
Lappeenranta 7
Milan 7
Sydney 7
Tonypandy 7
Verona 7
Wuhan 7
Abu Dhabi 6
Biên Hòa 6
Düsseldorf 6
Glasgow 6
Győr 6
Hangzhou 6
Jakarta 6
Poplar 6
Shanghai 6
Ahmedabad 5
Albany 5
Totale 4.819
Salva come PNG Salva come JPEG
Nome #
Students' Careers and AI: a decision-making support system for Academia 371
An Empirical Study of Constraint Logic Programming and Answer Set Programming Solutions of Combinatorial Problems 203
Three-variable statements of set-pairing 192
A comparison of CLP(FD) and ASP solutions to NP-complete problems 181
T-resolution: refinements and model elimination 177
A GPU implementation of the ASP computation 175
Representing Multi-Agent Planning in CLP 172
Perspectives on Logic-based Approaches for Reasoning About Actions and Change 156
Parallel Answer Set Programming 155
The axiom of elementary sets on the edge of Peircean expressibility 152
Towards explainable data-to-text generation 148
ASP Applications in Bio-informatics: A Short Tour 146
XAI-LAW Towards a logic programming tool for taking and explaining legal decisions 141
Multivalued Action Languages with Constraints in CLP(FD) 141
Multi-valued Action Languages with Constraints in CLP(FD) 132
Decidability Results for Sets with Atoms 131
An investigation of Multi-Agent Planning in CLP. 131
Exploring Life: Answer Set Programming in Bioinformatics 118
An Experimental Comparison of Constraint Logic Programming and Answer Set Programming. 117
CUD@SAT: SAT solving on GPUs 115
Views on Time in Systems Biology 110
Parallel execution of the ASP computation - An investigation on GPUs 108
An xAI Approach for Data-to-Text Processing with ASP 107
Logic programming applied to genome evolution in cancer? 107
{CUDA}: Set Constraints on GPUs. 106
2D object reconstruction with ASP 104
GPU Parallelism for SAT Solving Heuristics 103
Autonomous agents coordination: Action languages meet CLP(FD) and Linda 103
CUD@ASP: Experimenting with GPUs in ASP solving 94
Exploiting unexploited computing resources for computational logics 92
Concept2Text: an explainable multilingual rewriting of concepts into natural language 90
On T Logic Programming 90
An Epistemic Logic for Modular Development of Multi-Agent Systems 87
Reasoning on Relations, Modalities, and Sets 85
Augmenting knowledge representation and reasoning languages with customizable metalogic features 81
Dataset_ScalableEnergyGamesSolversOnGPUs 79
GPU-Based Parallelism for ASP-Solving 74
Timed Memory in Resource-Bounded Agents 74
Adding Metalogic Features to Knowledge Representation Languages 73
BAAC: A Prolog System for Action Description and Agents Coordination 73
Negation as a resource: A novel view on answer set semantics 72
Query answering in resource-based answer set semantics 72
An Epistemic Logic for Multi-agent Systems with Budget and Costs 71
23rd RCRA International workshop on “Experimental evaluation of algorithms for solving problems with combinatorial explosion” 71
Temporalizing Epistemic Logic L-DINF 67
Augmenting Datalog ± with Customizable Metalogic Features for Powerful Ontological Reasoning 67
On multiple learning schemata in conflict driven solvers 66
Layered map reasoning: An experimental approach put to trial on sets 66
Parallel Answer Set Programming 66
An Agg application supporting visual reasoning 65
Preface 64
A graphical representation of relational formulae with complementation 64
An environment for specifying properties of dyadic relations and reasoning about them II: Relational presentation of non-classical logics 63
A logic of inferable in multi-agent systems with budget and costs 61
An equational re-engineering of set theories 60
Special issue of the 22nd RCRA international workshop on "Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion" 60
Advances in computational logic (CILC08): Preface 59
A graphical approach to relational reasoning 58
Scalable Energy Games Solvers on GPUs 58
Towards Explainable Weather Forecasting Through FastLAS 57
Nested weight constraints in ASP 57
Multi-context systems in dynamic environments 56
Accelerating energy games solvers on modern architectures 56
Constraint propagation on GPU: A case study for the AllDifferent constraint 55
Parallel Logic Programming: A Sequel 55
A Timed Epistemic Logic for Formalizing Cooperation among Groups of Agents 55
Autonomous Agents Coordination: Action Description Languages Meet CLP(FD) and Linda 55
Introduction to the 35th International Conference on Logic Programming Special Issue 54
Prolog Meets Biology 54
Epistemic Logic Programs: an Approach to Semantic Comparison 53
An epistemic logic for formalizing group dynamics of agents 53
Negation as a Resource: A Novel View on Answer Set Semantics 53
Theoretical Computer Science in Italy 53
Weight constraints with preferences in ASP 53
Theory-specific automated reasoning 53
Augmenting agent computational environments with quantitative reasoning modules and customizable bridge rules 53
Solver fast prototyping for reduct-based ELP semantics 52
Advances in Computational Logic (CILC23): Preface 51
Mappings between domain models in Answer Set Programming 51
Data2Concept2Text: An Explainable Multilingual Framework for Data Analysis Narration 50
Modeling preferences and conditional preferences on resource consumption and production in ASP 50
Constraints Propagation on GPU: A Case Study for AllDifferent 49
Nested weight constraints in ASP 49
Cognitive Aspects in Epistemic Logic L-DINF 48
Fast Prototyping of a Solver for Reduct-based ELP Semantics 48
Compiling dyadic first-order specifications into map algebra 48
Augmenting agent computational environments with quantitative reasoning modules and customizable bridge rules 48
Constraint propagation on GPU: a case study for the cumulative constraint 47
Qualitative Uncertainty Orderings Revised 47
Query answering in resource-based answer set semantics 47
Introduction to the 37th International Conference on Logic Programming Special Issue II 47
Preference Management in Epistemic Logic L-DINF 46
Preface 46
RASP and ASP as a fragment of linear logic 46
Negation as a resource: A novel view on answer set semantics 45
An efficient relational deductive system for propositional non-Classical logics 45
Preferences and priorities in ASP 44
Multi-context systems in time 44
PRODPROC - Product and production process modeling and configuration 43
Product and production process modeling and configuration 42
Totale 8.382
Salva come PNG Salva come JPEG
Categoria #
all - tutte 42.077
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 42.077
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021395 0 0 0 0 0 79 41 83 63 32 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/20262.343 339 528 433 523 482 38 0 0 0 0 0 0
Totale 9.181