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

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022687 0 0 0 0 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/20271.035 45 77 186 624 103 0 0 0 0 0 0 0
Totale 10.168