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.158
AS - Asia 509
Continente sconosciuto - Info sul continente non disponibili 9
Totale 4.866
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.127
IT - Italia 587
UA - Ucraina 508
IE - Irlanda 428
VN - Vietnam 244
SE - Svezia 189
HK - Hong Kong 147
FI - Finlandia 112
RU - Federazione Russa 106
DE - Germania 99
GB - Regno Unito 38
CN - Cina 37
FR - Francia 30
CA - Canada 28
TR - Turchia 28
AT - Austria 22
CH - Svizzera 19
SG - Singapore 18
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.866
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
Lawrence 80
Andover 68
Des Moines 48
Saint Petersburg 37
Ashburn 34
Beijing 30
Izmir 28
Parma 20
Woodbridge 20
Boardman 16
Norwalk 15
San Paolo di Civitate 15
Vienna 15
Helsinki 13
Brussels 11
Singapore 10
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
Auburn Hills 4
Bucu 4
Florence 4
Frankfurt am Main 4
Houston 4
Lausanne 4
Freienbach 3
Rennes 3
Shanghai 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.282
Salva come PNG Salva come JPEG
Nome #
Query Answering in Resource-Based Answer Set Semantics 104
An Empirical Study of Constraint Logic Programming and Answer Set Programming Solutions of Combinatorial Problems 91
Query Answering in Resource-Based Answer Set Semantics 83
RCRA 2015 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 83
Autonomous Agents Coordination: Action Languages meet CLP(FD) and Linda 82
Augmenting agent computational environments with quantitative reasoning modules and customizable bridge rules 79
Layered map reasoning: An experimental approach put to trial on sets 72
Strong Equivalence of RASP Programs 71
A GPU implementation of the ASP computation 70
Advances in Computational Logic 68
Parallel execution of the ASP computation - An investigation on GPUs 66
Exploring life: answer set programming in bioinformatics 66
Accelerating Energy Games Solvers on Modern Architectures 66
An AGG application supporting visual reasoning 65
A comparison of CLP(FD) and ASP solutions to NP-complete problems 65
A Prolog tool for relational translation of modal logics: a front-end for relational proof systems 64
Preface - 15th Italian Conference on Theoretical Computer Science, ICTCS 2014 60
2D object reconstruction with ASP 60
An investigation of Multi-Agent Planning in CLP 59
CUD@SAT: SAT solving on GPUs 59
An environment for specifying properties of dyadic relations and reasoning about them. II:Relational presentation of non-classical logics 58
Augmenting agent computational environments with quantitative reasoning modules and customizable bridge rules 58
Answer Set Programming with Resources 56
Answer Set Programming with Resources 56
A comparison of CLP(FD) and ASP solutions to NP-complete problems 56
Nested Weight Constraints in ASP 55
Augmenting knowledge representation and reasoning languages with customizable metalogic features 55
Augmenting Datalog± with Customizable Metalogic Features for Powerful Ontological Reasoning 54
Distributed Colorings for Collision-free Routing in Sink-Centric Sensor Networks 54
An Equational Re-Engineering of Set Theories 53
A graphical representation of relational formulae with complementation 53
A declarative approach to uncertainty orders 53
Answer Set Programming with Resources 53
A comparison of CLP(FD) and ASP solutions to NP-complete problems 53
A graphical approach to relational reasoning 52
Autonomous Agents Coordination: Action Description Languages meet CLP(FD) and Linda 52
A Prolog tool for relational translation of modal logics 51
Proceedings of the 15th Italian Conference on Theoretical Computer Science, ICTCS2014 51
ASP Applications in Bio-informatics: A Short Tour 51
Planning with Action Languages: Perspectives using CLP(FD) and ASP 50
Views of Time in Systems Biology 50
Instructing equational set-reasoning with Otter 50
BAAC: A Prolog System for Action Description and Agents Coordination 50
Augmenting agent computational environments with quantitative reasoning modules and customizable bridge rules 50
A graphical representation of relational formulae with complementation 48
Preface - 23rd RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, RCRA 2016 48
Comparative uncertainty: theory and automation 47
Preface 47
Query answering in resource-based answer set semantics 46
A graphical representation of relational formulae with complementation 45
Provable \exixts∗\forall-sentences about sets with atoms 45
CUD@SAT: GPU parallelism for SAT Solving 45
Theoretical Computer Science in Italy 45
Preferences and Priorities in ASP 44
23rd RCRA International workshop on “Experimental evaluation of algorithms for solving problems with combinatorial explosion” 44
Augmenting weight constraints with complex preferences 43
Proving the completeness of theory-based variants of resolution 43
Conditional preferences in P-RASP 42
Multivalued Action Languages with Constraints in CLP(FD) 42
Weight Constraints with Preferences in ASP 41
Exploiting Unexploited Computing Resources for Computational Logics 41
Parallel answer set programming 40
Representing Multi-agent Planning in CLP 39
RCRA 2016 International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 39
Nested Weight Constraints in ASP 38
Introduction to the 35th International Conference on Logic Programming Special Issue 38
Mappings Between Domain Models in Answer Set Programming 37
Three-variable statements of set-pairing 37
Qualitative uncertainty orderings revised 37
Perspectives on Logic-based Approaches for Reasoning About Actions and Change 37
On the Completeness of Theory-Based Variants of Resolution 37
Negation as a Resource: a Novel View on Answer Set Semantics 37
An efficient relational deductive system for propositional non-classical logics 37
Modeling preferences on resource consumption and production in ASP 35
Compiling dyadic first-order specifications into map algebra 35
Negation as a Resource: A Novel View on Answer Set Semantics 35
Modeling preferences on resource consumption and production in ASP 35
Timed Memory in Resource-Bounded Agents 35
Goals and Benchmarks for Automated Map Reasoning 34
Management of Uncertainty Orderings through ASP 34
T-resolution: Refinements and Model Elimination 34
Modeling preferences and conditional preferences on resource consumption and production in ASP 34
The axiom of elementary sets on the edge of Peircean expressibility 33
Decidability results for sets with atoms 33
Extending and implementing RASP 33
Multi-agent planning in CLP 33
Theory-Specific Automated Reasoning 33
Management of Uncertainty Orderings through ASP 32
PreC: A prototypical tool to deal with partial preference orders and qualitative uncertainty 32
An Experimental Comparison of Constraint Logic Programming and Answer Set Programming 32
Extending and implementing RASP 32
RASP and ASP as a fragment of linear logic 32
On multiple learning schemata in conflict driven solvers 32
ProdProc - Product and Production Process Modeling and Configuration 30
Negation as a Resource: A Novel View on Answer Set Semantics. 30
Various commonly occurring decidable extensions of multi-level syllogistic 29
Uniform relational frameworks for modal inferences 29
Uniform relational frameworks for non-classical inferences 29
Uniform relational frameworks for modal inferences 29
How to enhance multi-level syllogistic with binary relations 29
Totale 4.789
Salva come PNG Salva come JPEG
Categoria #
all - tutte 17.145
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 17.145
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201944 0 0 0 0 0 0 0 0 0 0 38 6
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/2024342 50 35 26 8 1 2 65 4 106 21 24 0
Totale 5.152