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

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021355 0 0 0 0 0 0 0 0 0 28 81 246
2021/2022954 18 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.672 156 157 194 488 331 213 432 183 333 185 0 0
Totale 9.041