IRIS - Res&Arch Institutional Research Information System - Research & Archive

FORMISANO, Andrea
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.279
EU - Europa 2.733
AS - Asia 2.304
SA - Sud America 577
Continente sconosciuto - Info sul continente non disponibili 297
AF - Africa 54
Totale 9.244
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.170
SG - Singapore 1.027
IT - Italia 623
UA - Ucraina 518
BR - Brasile 455
IE - Irlanda 428
VN - Vietnam 379
RU - Federazione Russa 366
CN - Cina 277
HK - Hong Kong 228
SE - Svezia 193
FR - Francia 143
DE - Germania 130
FI - Finlandia 122
KR - Corea 76
CA - Canada 67
GB - Regno Unito 63
IN - India 50
TR - Turchia 46
AR - Argentina 44
BD - Bangladesh 43
IQ - Iraq 35
PK - Pakistan 24
AT - Austria 23
EC - Ecuador 23
UZ - Uzbekistan 20
CH - Svizzera 19
CO - Colombia 19
NL - Olanda 18
PL - Polonia 18
MX - Messico 17
ID - Indonesia 15
VE - Venezuela 14
BE - Belgio 12
RO - Romania 12
ZA - Sudafrica 12
JP - Giappone 11
MA - Marocco 11
SA - Arabia Saudita 11
KE - Kenya 10
AE - Emirati Arabi Uniti 9
EU - Europa 9
CR - Costa Rica 8
ES - Italia 8
JM - Giamaica 8
LB - Libano 8
PY - Paraguay 8
DZ - Algeria 7
GR - Grecia 7
PE - Perù 6
PH - Filippine 6
IL - Israele 5
JO - Giordania 5
CL - Cile 4
ET - Etiopia 4
LT - Lituania 4
PT - Portogallo 4
AL - Albania 3
BA - Bosnia-Erzegovina 3
BG - Bulgaria 3
EG - Egitto 3
KZ - Kazakistan 3
MN - Mongolia 3
MY - Malesia 3
NP - Nepal 3
TN - Tunisia 3
AZ - Azerbaigian 2
CZ - Repubblica Ceca 2
DO - Repubblica Dominicana 2
IR - Iran 2
KH - Cambogia 2
NI - Nicaragua 2
OM - Oman 2
PA - Panama 2
SK - Slovacchia (Repubblica Slovacca) 2
SY - Repubblica araba siriana 2
UY - Uruguay 2
XK - ???statistics.table.value.countryCode.XK??? 2
AM - Armenia 1
BH - Bahrain 1
BN - Brunei Darussalam 1
BO - Bolivia 1
BW - Botswana 1
BY - Bielorussia 1
CI - Costa d'Avorio 1
EE - Estonia 1
GT - Guatemala 1
GY - Guiana 1
HN - Honduras 1
HR - Croazia 1
HU - Ungheria 1
IS - Islanda 1
KG - Kirghizistan 1
LU - Lussemburgo 1
LV - Lettonia 1
MU - Mauritius 1
NO - Norvegia 1
PS - Palestinian Territory 1
QA - Qatar 1
RS - Serbia 1
Totale 8.955
Salva come PNG Salva come JPEG
Città #
Singapore 735
Dublin 428
Perugia 354
San Mateo 305
Chandler 300
Jacksonville 289
Dong Ket 237
Hong Kong 226
San Jose 213
Ashburn 167
Boardman 142
Wilmington 131
Moscow 123
Santa Clara 122
Altamura 119
Medford 115
Princeton 114
Lauterbourg 97
Ann Arbor 91
Lawrence 80
Seoul 75
Beijing 72
Andover 68
Ho Chi Minh City 54
Des Moines 49
São Paulo 42
Saint Petersburg 37
Hanoi 36
Los Angeles 33
New York 33
The Dalles 31
Izmir 28
Helsinki 23
Parma 20
Piscataway 20
Woodbridge 20
Phoenix 18
Baghdad 16
Montreal 16
Milan 15
Norwalk 15
Rio de Janeiro 15
San Paolo di Civitate 15
Vienna 15
Chicago 14
Atlanta 11
Belo Horizonte 11
Brussels 11
Orem 11
Council Bluffs 10
Falkenstein 10
Houston 10
Tokyo 10
Brooklyn 9
Columbus 9
Curitiba 9
Porto Alegre 9
San Diego 9
Shanghai 9
Warsaw 9
Brasília 8
Buenos Aires 8
Da Nang 8
Dhaka 8
Frankfurt am Main 8
Lahore 8
Tashkent 8
Amsterdam 7
Asunción 7
Bogotá 7
Boston 7
Dallas 7
Munich 7
Timisoara 7
Toronto 7
Buffalo 6
Caracas 6
Den Haag 6
Falls Church 6
Florence 6
Guangzhou 6
Kingston 6
Mumbai 6
Nairobi 6
Quito 6
Redmond 6
Basingstoke 5
Campinas 5
Cape Town 5
Dubai 5
Fairfield 5
Franca 5
Guarulhos 5
Lima 5
Manaus 5
Mexico City 5
Redwood City 5
San Francisco 5
San José 5
Addis Ababa 4
Totale 5.562
Salva come PNG Salva come JPEG
Nome #
A comparison of CLP(FD) and ASP solutions to NP-complete problems 144
Query Answering in Resource-Based Answer Set Semantics 139
An Empirical Study of Constraint Logic Programming and Answer Set Programming Solutions of Combinatorial Problems 134
Accelerating Energy Games Solvers on Modern Architectures 133
Parallel execution of the ASP computation - An investigation on GPUs 128
Autonomous Agents Coordination: Action Languages meet CLP(FD) and Linda 119
A Prolog tool for relational translation of modal logics: a front-end for relational proof systems 116
RCRA 2015 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 114
A GPU implementation of the ASP computation 114
Query Answering in Resource-Based Answer Set Semantics 113
An AGG application supporting visual reasoning 111
An Equational Re-Engineering of Set Theories 107
2D object reconstruction with ASP 107
Layered map reasoning: An experimental approach put to trial on sets 106
Advances in Computational Logic 106
An environment for specifying properties of dyadic relations and reasoning about them. II:Relational presentation of non-classical logics 104
A graphical representation of relational formulae with complementation 104
A comparison of CLP(FD) and ASP solutions to NP-complete problems 102
A graphical approach to relational reasoning 101
Augmenting Datalog± with Customizable Metalogic Features for Powerful Ontological Reasoning 100
A Prolog tool for relational translation of modal logics 99
Exploring life: answer set programming in bioinformatics 99
A graphical representation of relational formulae with complementation 98
BAAC: A Prolog System for Action Description and Agents Coordination 98
Strong Equivalence of RASP Programs 98
Augmenting agent computational environments with quantitative reasoning modules and customizable bridge rules 98
CUD@SAT: SAT solving on GPUs 97
T-resolution: Refinements and Model Elimination 96
A declarative approach to uncertainty orders 96
Planning with Action Languages: Perspectives using CLP(FD) and ASP 95
A comparison of CLP(FD) and ASP solutions to NP-complete problems 95
Augmenting knowledge representation and reasoning languages with customizable metalogic features 92
Distributed Colorings for Collision-free Routing in Sink-Centric Sensor Networks 91
Augmenting agent computational environments with quantitative reasoning modules and customizable bridge rules 89
Instructing equational set-reasoning with Otter 88
A graphical representation of relational formulae with complementation 88
Preface - 15th Italian Conference on Theoretical Computer Science, ICTCS 2014 88
Autonomous Agents Coordination: Action Description Languages meet CLP(FD) and Linda 86
Theoretical Computer Science in Italy 86
ASP Applications in Bio-informatics: A Short Tour 86
Augmenting agent computational environments with quantitative reasoning modules and customizable bridge rules 86
Views of Time in Systems Biology 85
Comparative uncertainty: theory and automation 85
Nested Weight Constraints in ASP 85
Proceedings of the 15th Italian Conference on Theoretical Computer Science, ICTCS2014 85
Provable \exixts∗\forall-sentences about sets with atoms 84
CUD@SAT: GPU parallelism for SAT Solving 84
23rd RCRA International workshop on “Experimental evaluation of algorithms for solving problems with combinatorial explosion” 84
Multivalued Action Languages with Constraints in CLP(FD) 83
Weight Constraints with Preferences in ASP 83
Preface - 23rd RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, RCRA 2016 82
Decidability results for sets with atoms 81
An investigation of Multi-Agent Planning in CLP 81
Exploiting Unexploited Computing Resources for Computational Logics 81
Negation as a Resource: A Novel View on Answer Set Semantics 80
Parallel answer set programming 80
Answer Set Programming with Resources 79
Three-variable statements of set-pairing 79
Answer Set Programming with Resources 79
Conditional preferences in P-RASP 78
Query answering in resource-based answer set semantics 77
Management of Uncertainty Orderings through ASP 75
Representing Multi-agent Planning in CLP 75
RCRA 2016 International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 75
Qualitative uncertainty orderings revised 74
Multi-agent planning in CLP 74
ProdProc - Product and Production Process Modeling and Configuration 74
Negation as a Resource: A Novel View on Answer Set Semantics. 74
Theory-Specific Automated Reasoning 74
Answer Set Programming with Resources 72
Modeling preferences on resource consumption and production in ASP 72
An efficient relational deductive system for propositional non-classical logics 72
On multiple learning schemata in conflict driven solvers 71
Management of Uncertainty Orderings through ASP 70
PreC: A prototypical tool to deal with partial preference orders and qualitative uncertainty 70
Preferences and Priorities in ASP 70
Augmenting weight constraints with complex preferences 69
Uniform relational frameworks for modal inferences 69
Proving the completeness of theory-based variants of resolution 69
Mappings Between Domain Models in Answer Set Programming 68
Preface 68
Product and Production Process Modeling and Configuration 67
Various commonly occurring decidable extensions of multi-level syllogistic 66
Modeling preferences on resource consumption and production in ASP 66
Perspectives on Logic-based Approaches for Reasoning About Actions and Change 66
Modeling preferences and conditional preferences on resource consumption and production in ASP 65
Timed Memory in Resource-Bounded Agents 65
Multi-context systems in dynamic environments 65
The axiom of elementary sets on the edge of Peircean expressibility 64
Extending and implementing RASP 64
Compiling dyadic first-order specifications into map algebra 64
Introduction to the 35th International Conference on Logic Programming Special Issue 64
How to enhance multi-level syllogistic with binary relations 63
Goals and Benchmarks for Automated Map Reasoning 62
On the Completeness of Theory-Based Variants of Resolution 62
Multi-context systems: Dynamics and evolution 62
Uniform relational frameworks for non-classical inferences 61
Extending and implementing RASP 60
Negation as a Resource: a Novel View on Answer Set Semantics 60
An Experimental Comparison of Constraint Logic Programming and Answer Set Programming 59
Totale 8.526
Salva come PNG Salva come JPEG
Categoria #
all - tutte 40.876
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 40.876
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022936 0 174 22 53 37 7 8 303 13 56 116 147
2022/20231.324 122 272 28 75 96 141 0 41 505 4 29 11
2023/2024462 50 35 26 8 1 2 65 4 106 21 74 70
2024/20251.097 26 128 7 35 164 26 11 102 286 69 145 98
2025/20262.764 156 157 194 488 331 213 432 183 333 197 55 25
2026/2027111 45 66 0 0 0 0 0 0 0 0 0 0
Totale 9.244