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

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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021592 0 0 0 0 0 26 82 33 96 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/20261.462 156 157 194 488 331 136 0 0 0 0 0 0
Totale 7.831