IRIS
FORMISANO, Andrea
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.449
AS - Asia 3.242
EU - Europa 1.468
SA - Sud America 698
AF - Africa 75
OC - Oceania 13
Continente sconosciuto - Info sul continente non disponibili 5
Totale 8.950
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.331
SG - Singapore 1.597
BR - Brasile 558
CN - Cina 543
HK - Hong Kong 341
VN - Vietnam 276
IT - Italia 275
UA - Ucraina 192
DE - Germania 178
RU - Federazione Russa 171
GB - Regno Unito 166
SE - Svezia 116
IE - Irlanda 94
IN - India 85
CA - Canada 80
FI - Finlandia 75
AR - Argentina 56
PH - Filippine 50
JP - Giappone 48
TR - Turchia 42
KR - Corea 40
ID - Indonesia 37
BE - Belgio 36
EC - Ecuador 31
FR - Francia 29
MX - Messico 23
TW - Taiwan 23
BD - Bangladesh 22
LT - Lituania 22
NL - Olanda 21
PL - Polonia 20
ZA - Sudafrica 19
PK - Pakistan 18
IL - Israele 17
AE - Emirati Arabi Uniti 15
HU - Ungheria 15
MY - Malesia 14
ES - Italia 13
RO - Romania 12
TG - Togo 12
PY - Paraguay 11
AT - Austria 10
AU - Australia 10
IR - Iran 10
VE - Venezuela 10
CO - Colombia 9
MA - Marocco 8
CL - Cile 7
IQ - Iraq 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
ET - Etiopia 5
JO - Giordania 5
LB - Libano 5
NP - Nepal 5
AW - Aruba 4
LK - Sri Lanka 4
QA - Qatar 4
UZ - Uzbekistan 4
AL - Albania 3
AZ - Azerbaigian 3
CH - Svizzera 3
DK - Danimarca 3
EU - Europa 3
KE - Kenya 3
KZ - Kazakistan 3
SN - Senegal 3
TH - Thailandia 3
UY - Uruguay 3
BZ - Belize 2
CY - Cipro 2
GA - Gabon 2
HR - Croazia 2
KW - Kuwait 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.939
Salva come PNG Salva come JPEG
Città #
Singapore 500
Hong Kong 322
Woodbridge 297
Fairfield 278
Ann Arbor 271
Beijing 244
Ashburn 242
Houston 189
Chandler 183
Wilmington 148
Boardman 138
Seattle 109
Jacksonville 105
Cambridge 99
Ho Chi Minh City 95
Dublin 94
Princeton 90
Hefei 87
Dearborn 83
Udine 70
Los Angeles 62
Hanoi 56
Redondo Beach 54
São Paulo 50
Dallas 42
Munich 37
Buffalo 35
Brussels 34
Seoul 34
Toronto 31
Nottingham 30
Dong Ket 29
Des Moines 27
Ogden 27
Ottawa 26
Tokyo 25
New York 24
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
Kuala Lumpur 11
Montreal 11
San Francisco 11
Trieste 11
Bolzano Vicentino 10
Buenos Aires 10
Council Bluffs 10
Curitiba 10
Matsuyama 10
Porto Alegre 10
Suzhou 10
Ankara 9
Quito 9
Rishon LeTsiyyon 9
Shenzhen 9
Warsaw 9
Belo Horizonte 8
Chennai 8
Davao City 8
Johannesburg 8
Las Cruces 8
Meiningen 8
Nanjing 8
Nuremberg 8
Orem 8
Treviso 8
Washington 8
Wuhan 8
Brasília 7
Da Nang 7
Delhi 7
Guarulhos 7
Lappeenranta 7
Milan 7
Poplar 7
Sydney 7
Tonypandy 7
Verona 7
Abu Dhabi 6
Biên Hòa 6
Düsseldorf 6
Glasgow 6
Győr 6
Hangzhou 6
Jakarta 6
Shanghai 6
Totale 4.900
Salva come PNG Salva come JPEG
Nome #
Students' Careers and AI: a decision-making support system for Academia 378
An Empirical Study of Constraint Logic Programming and Answer Set Programming Solutions of Combinatorial Problems 206
Three-variable statements of set-pairing 192
A comparison of CLP(FD) and ASP solutions to NP-complete problems 183
A GPU implementation of the ASP computation 180
T-resolution: refinements and model elimination 179
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 150
ASP Applications in Bio-informatics: A Short Tour 146
XAI-LAW Towards a logic programming tool for taking and explaining legal decisions 144
Multivalued Action Languages with Constraints in CLP(FD) 142
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 121
An Experimental Comparison of Constraint Logic Programming and Answer Set Programming. 118
CUD@SAT: SAT solving on GPUs 115
Parallel execution of the ASP computation - An investigation on GPUs 112
Views on Time in Systems Biology 110
Logic programming applied to genome evolution in cancer? 110
2D object reconstruction with ASP 109
An xAI Approach for Data-to-Text Processing with ASP 108
GPU Parallelism for SAT Solving Heuristics 107
{CUDA}: Set Constraints on GPUs. 107
Autonomous agents coordination: Action languages meet CLP(FD) and Linda 103
CUD@ASP: Experimenting with GPUs in ASP solving 95
Concept2Text: an explainable multilingual rewriting of concepts into natural language 93
Exploiting unexploited computing resources for computational logics 92
An Epistemic Logic for Modular Development of Multi-Agent Systems 92
On T Logic Programming 91
Reasoning on Relations, Modalities, and Sets 86
Augmenting knowledge representation and reasoning languages with customizable metalogic features 81
Dataset_ScalableEnergyGamesSolversOnGPUs 80
Timed Memory in Resource-Bounded Agents 76
Adding Metalogic Features to Knowledge Representation Languages 75
An Epistemic Logic for Multi-agent Systems with Budget and Costs 75
GPU-Based Parallelism for ASP-Solving 74
23rd RCRA International workshop on “Experimental evaluation of algorithms for solving problems with combinatorial explosion” 74
Query answering in resource-based answer set semantics 74
BAAC: A Prolog System for Action Description and Agents Coordination 73
Negation as a resource: A novel view on answer set semantics 72
An Agg application supporting visual reasoning 68
Augmenting Datalog ± with Customizable Metalogic Features for Powerful Ontological Reasoning 68
Temporalizing Epistemic Logic L-DINF 67
Layered map reasoning: An experimental approach put to trial on sets 67
On multiple learning schemata in conflict driven solvers 66
Parallel Answer Set Programming 66
A graphical representation of relational formulae with complementation 66
An environment for specifying properties of dyadic relations and reasoning about them II: Relational presentation of non-classical logics 65
Preface 64
A logic of inferable in multi-agent systems with budget and costs 64
An equational re-engineering of set theories 62
A graphical approach to relational reasoning 61
Advances in computational logic (CILC08): Preface 61
Special issue of the 22nd RCRA international workshop on "Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion" 60
Towards Explainable Weather Forecasting Through FastLAS 59
Nested weight constraints in ASP 58
Accelerating energy games solvers on modern architectures 58
Scalable Energy Games Solvers on GPUs 58
An epistemic logic for formalizing group dynamics of agents 57
A Timed Epistemic Logic for Formalizing Cooperation among Groups of Agents 57
Introduction to the 35th International Conference on Logic Programming Special Issue 57
Multi-context systems in dynamic environments 57
Parallel Logic Programming: A Sequel 56
Constraint propagation on GPU: A case study for the AllDifferent constraint 55
Autonomous Agents Coordination: Action Description Languages Meet CLP(FD) and Linda 55
Theoretical Computer Science in Italy 55
Advances in Computational Logic (CILC23): Preface 54
Augmenting agent computational environments with quantitative reasoning modules and customizable bridge rules 54
Prolog Meets Biology 54
Epistemic Logic Programs: an Approach to Semantic Comparison 53
Solver fast prototyping for reduct-based ELP semantics 53
Negation as a Resource: A Novel View on Answer Set Semantics 53
Weight constraints with preferences in ASP 53
Theory-specific automated reasoning 53
Mappings between domain models in Answer Set Programming 52
Data2Concept2Text: An Explainable Multilingual Framework for Data Analysis Narration 51
Fast Prototyping of a Solver for Reduct-based ELP Semantics 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
Augmenting agent computational environments with quantitative reasoning modules and customizable bridge rules 49
Cognitive Aspects in Epistemic Logic L-DINF 48
Qualitative Uncertainty Orderings Revised 48
Compiling dyadic first-order specifications into map algebra 48
Query answering in resource-based answer set semantics 48
Constraint propagation on GPU: a case study for the cumulative constraint 47
An efficient relational deductive system for propositional non-Classical logics 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
PRODPROC - Product and production process modeling and configuration 44
Preferences and priorities in ASP 44
Multi-context systems in time 44
Product and production process modeling and configuration 43
Totale 8.507
Salva come PNG Salva come JPEG
Categoria #
all - tutte 42.753
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.753
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.478 339 528 433 523 482 173 0 0 0 0 0 0
Totale 9.316