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

FORMISANO, Andrea
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 2.190
NA - Nord America 2.166
AS - Asia 623
Continente sconosciuto - Info sul continente non disponibili 9
Totale 4.988
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.135
IT - Italia 587
UA - Ucraina 508
IE - Irlanda 428
VN - Vietnam 244
SE - Svezia 189
HK - Hong Kong 147
SG - Singapore 129
FI - Finlandia 112
RU - Federazione Russa 106
DE - Germania 99
CN - Cina 40
GB - Regno Unito 38
FR - Francia 30
CA - Canada 28
TR - Turchia 28
AT - Austria 22
CH - Svizzera 19
BE - Belgio 12
RO - Romania 12
PL - Polonia 10
UZ - Uzbekistan 10
EU - Europa 9
GR - Grecia 7
LB - Libano 7
NL - Olanda 6
AE - Emirati Arabi Uniti 5
IN - India 4
KR - Corea 3
CZ - Repubblica Ceca 2
IR - Iran 2
MN - Mongolia 2
MX - Messico 2
SK - Slovacchia (Repubblica Slovacca) 2
ES - Italia 1
KH - Cambogia 1
PA - Panama 1
PK - Pakistan 1
Totale 4.988
Salva come PNG Salva come JPEG
Città #
Dublin 428
Perugia 353
San Mateo 305
Chandler 300
Jacksonville 289
Dong Ket 237
Hong Kong 146
Wilmington 131
Altamura 119
Medford 115
Princeton 114
Ann Arbor 91
Singapore 83
Lawrence 80
Andover 68
Des Moines 48
Ashburn 40
Saint Petersburg 37
Beijing 30
Izmir 28
Parma 20
Woodbridge 20
Boardman 17
Norwalk 15
San Paolo di Civitate 15
Vienna 15
Helsinki 13
Brussels 11
Los Angeles 9
Milan 9
San Diego 9
Timisoara 7
Chicago 6
Den Haag 6
Falls Church 6
Ho Chi Minh City 6
Moscow 6
Redmond 6
Dubai 5
Fairfield 5
Phoenix 5
Redwood City 5
Shanghai 5
Auburn Hills 4
Bucu 4
Florence 4
Frankfurt am Main 4
Houston 4
Lausanne 4
Freienbach 3
Rennes 3
Toronto 3
Trieste 3
Ardabil 2
Bettona 2
Bratislava 2
Fremont 2
Gemona 2
Genoa 2
Jesi 2
Kiev 2
Mcallen 2
New Delhi 2
New York 2
Ottawa 2
Potsdam 2
Poznan 2
Seattle 2
Seoul 2
Southwark 2
Vitigliano 2
Amaroni 1
Berlin 1
Bethesda 1
Bolzano 1
Buffalo 1
Cardiff 1
Central District 1
Centrale 1
Changsha 1
Clearwater 1
Edinburgh 1
Esslingen am Neckar 1
Guangzhou 1
Horia 1
Islamabad 1
Kunming 1
Lappeenranta 1
Livorno 1
London 1
Lowell 1
Ludwigshafen 1
Madrid 1
Middletown 1
Monmouth Junction 1
Montemurlo 1
Mumbai 1
Namur 1
Nanjing 1
Napoli 1
Totale 3.364
Salva come PNG Salva come JPEG
Nome #
Query Answering in Resource-Based Answer Set Semantics 105
An Empirical Study of Constraint Logic Programming and Answer Set Programming Solutions of Combinatorial Problems 92
Query Answering in Resource-Based Answer Set Semantics 84
RCRA 2015 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 84
Autonomous Agents Coordination: Action Languages meet CLP(FD) and Linda 82
Augmenting agent computational environments with quantitative reasoning modules and customizable bridge rules 80
Layered map reasoning: An experimental approach put to trial on sets 73
Strong Equivalence of RASP Programs 72
A GPU implementation of the ASP computation 70
Advances in Computational Logic 69
Accelerating Energy Games Solvers on Modern Architectures 68
Parallel execution of the ASP computation - An investigation on GPUs 67
Exploring life: answer set programming in bioinformatics 67
An AGG application supporting visual reasoning 66
A Prolog tool for relational translation of modal logics: a front-end for relational proof systems 65
A comparison of CLP(FD) and ASP solutions to NP-complete problems 65
Preface - 15th Italian Conference on Theoretical Computer Science, ICTCS 2014 61
An investigation of Multi-Agent Planning in CLP 60
An environment for specifying properties of dyadic relations and reasoning about them. II:Relational presentation of non-classical logics 60
2D object reconstruction with ASP 60
CUD@SAT: SAT solving on GPUs 59
Augmenting agent computational environments with quantitative reasoning modules and customizable bridge rules 58
Answer Set Programming with Resources 57
Answer Set Programming with Resources 57
A comparison of CLP(FD) and ASP solutions to NP-complete problems 57
Augmenting knowledge representation and reasoning languages with customizable metalogic features 57
Planning with Action Languages: Perspectives using CLP(FD) and ASP 56
Nested Weight Constraints in ASP 56
Augmenting Datalog± with Customizable Metalogic Features for Powerful Ontological Reasoning 55
Distributed Colorings for Collision-free Routing in Sink-Centric Sensor Networks 55
A graphical approach to relational reasoning 54
A graphical representation of relational formulae with complementation 54
A declarative approach to uncertainty orders 54
Answer Set Programming with Resources 54
A comparison of CLP(FD) and ASP solutions to NP-complete problems 54
An Equational Re-Engineering of Set Theories 53
A Prolog tool for relational translation of modal logics 53
Autonomous Agents Coordination: Action Description Languages meet CLP(FD) and Linda 53
ASP Applications in Bio-informatics: A Short Tour 53
BAAC: A Prolog System for Action Description and Agents Coordination 52
Proceedings of the 15th Italian Conference on Theoretical Computer Science, ICTCS2014 52
Instructing equational set-reasoning with Otter 51
Augmenting agent computational environments with quantitative reasoning modules and customizable bridge rules 51
Views of Time in Systems Biology 50
A graphical representation of relational formulae with complementation 49
Comparative uncertainty: theory and automation 48
Preface - 23rd RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, RCRA 2016 48
Preface 48
CUD@SAT: GPU parallelism for SAT Solving 47
Query answering in resource-based answer set semantics 47
A graphical representation of relational formulae with complementation 46
Preferences and Priorities in ASP 46
Theoretical Computer Science in Italy 46
Augmenting weight constraints with complex preferences 45
Provable \exixts∗\forall-sentences about sets with atoms 45
23rd RCRA International workshop on “Experimental evaluation of algorithms for solving problems with combinatorial explosion” 45
Proving the completeness of theory-based variants of resolution 44
Conditional preferences in P-RASP 43
Multivalued Action Languages with Constraints in CLP(FD) 43
Weight Constraints with Preferences in ASP 42
Exploiting Unexploited Computing Resources for Computational Logics 41
RCRA 2016 International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 41
Parallel answer set programming 41
Representing Multi-agent Planning in CLP 40
Introduction to the 35th International Conference on Logic Programming Special Issue 40
Perspectives on Logic-based Approaches for Reasoning About Actions and Change 39
Nested Weight Constraints in ASP 39
Mappings Between Domain Models in Answer Set Programming 38
Three-variable statements of set-pairing 38
Qualitative uncertainty orderings revised 38
Negation as a Resource: a Novel View on Answer Set Semantics 38
An efficient relational deductive system for propositional non-classical logics 38
On the Completeness of Theory-Based Variants of Resolution 37
Compiling dyadic first-order specifications into map algebra 36
Negation as a Resource: A Novel View on Answer Set Semantics 36
Modeling preferences on resource consumption and production in ASP 36
Timed Memory in Resource-Bounded Agents 36
Goals and Benchmarks for Automated Map Reasoning 35
Management of Uncertainty Orderings through ASP 35
Various commonly occurring decidable extensions of multi-level syllogistic 35
T-resolution: Refinements and Model Elimination 35
Modeling preferences and conditional preferences on resource consumption and production in ASP 35
Decidability results for sets with atoms 35
Modeling preferences on resource consumption and production in ASP 35
The axiom of elementary sets on the edge of Peircean expressibility 34
Extending and implementing RASP 34
Multi-agent planning in CLP 34
Theory-Specific Automated Reasoning 34
Management of Uncertainty Orderings through ASP 33
PreC: A prototypical tool to deal with partial preference orders and qualitative uncertainty 33
An Experimental Comparison of Constraint Logic Programming and Answer Set Programming 33
Extending and implementing RASP 33
RASP and ASP as a fragment of linear logic 33
On multiple learning schemata in conflict driven solvers 32
ProdProc - Product and Production Process Modeling and Configuration 31
Negation as a Resource: A Novel View on Answer Set Semantics. 31
Uniform relational frameworks for non-classical inferences 30
Uniform relational frameworks for modal inferences 30
How to enhance multi-level syllogistic with binary relations 30
Towards an efficient relational deductive system for propositional non-classical logics 30
Totale 4.899
Salva come PNG Salva come JPEG
Categoria #
all - tutte 18.843
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 18.843
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020448 9 3 83 11 76 1 85 6 79 40 14 41
2020/20211.073 5 73 19 79 305 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/20252 2 0 0 0 0 0 0 0 0 0 0 0
Totale 5.274