IRIS
FORMISANO, Andrea
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.969
EU - Europa 1.267
AS - Asia 1.211
SA - Sud America 153
AF - Africa 24
OC - Oceania 6
Continente sconosciuto - Info sul continente non disponibili 4
Totale 5.634
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.886
SG - Singapore 654
IT - Italia 229
UA - Ucraina 188
CN - Cina 176
RU - Federazione Russa 155
GB - Regno Unito 137
BR - Brasile 136
DE - Germania 121
SE - Svezia 112
IE - Irlanda 91
FI - Finlandia 72
CA - Canada 70
VN - Vietnam 50
KR - Corea 39
BE - Belgio 36
IN - India 34
JP - Giappone 34
PH - Filippine 34
TR - Turchia 34
FR - Francia 25
HK - Hong Kong 23
TW - Taiwan 21
NL - Olanda 17
IL - Israele 16
LT - Lituania 16
PL - Polonia 16
PK - Pakistan 14
RO - Romania 12
AE - Emirati Arabi Uniti 11
ID - Indonesia 11
TG - Togo 11
BD - Bangladesh 10
ES - Italia 8
HU - Ungheria 8
IR - Iran 8
AT - Austria 7
EC - Ecuador 7
MO - Macao, regione amministrativa speciale della Cina 7
MY - Malesia 7
AU - Australia 6
CZ - Repubblica Ceca 5
SA - Arabia Saudita 5
AW - Aruba 4
JO - Giordania 4
LK - Sri Lanka 4
MX - Messico 4
AR - Argentina 3
CH - Svizzera 3
DK - Danimarca 3
EU - Europa 3
MA - Marocco 3
PE - Perù 3
QA - Qatar 3
BZ - Belize 2
CY - Cipro 2
EG - Egitto 2
HR - Croazia 2
LB - Libano 2
NO - Norvegia 2
NP - Nepal 2
TN - Tunisia 2
ZA - Sudafrica 2
AZ - Azerbaigian 1
BO - Bolivia 1
CL - Cile 1
CO - Colombia 1
CR - Costa Rica 1
DZ - Algeria 1
EE - Estonia 1
GA - Gabon 1
KG - Kirghizistan 1
KZ - Kazakistan 1
LI - Liechtenstein 1
MN - Mongolia 1
NG - Nigeria 1
NI - Nicaragua 1
SN - Senegal 1
TH - Thailandia 1
TT - Trinidad e Tobago 1
UZ - Uzbekistan 1
VE - Venezuela 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 5.634
Salva come PNG Salva come JPEG
Città #
Singapore 333
Woodbridge 297
Fairfield 278
Ann Arbor 271
Houston 186
Chandler 183
Wilmington 148
Ashburn 139
Boardman 138
Seattle 109
Jacksonville 104
Cambridge 97
Dublin 91
Princeton 90
Dearborn 83
Beijing 62
Udine 57
Brussels 34
Seoul 34
Nottingham 30
Dong Ket 29
Ogden 27
Toronto 27
Ottawa 26
San Diego 22
Norwalk 21
Des Moines 19
Frankfurt am Main 17
Izmir 16
London 16
Taipei 16
Tokyo 16
New York 15
Los Angeles 13
Helsinki 12
Dallas 11
Hanoi 11
Lomé 11
São Paulo 11
Trieste 11
Bolzano Vicentino 10
Matsuyama 10
Rome 10
Santa Clara 10
Turku 10
Hefei 9
Montreal 9
Rishon LeTsiyyon 9
Suzhou 9
Ankara 8
Davao City 8
Las Cruces 8
Rio de Janeiro 8
San Francisco 8
Treviso 8
Ho Chi Minh City 7
Munich 7
Nanjing 7
Nuremberg 7
Shenzhen 7
Tonypandy 7
Verona 7
Wuhan 7
Abu Dhabi 6
Delhi 6
Düsseldorf 6
Glasgow 6
Hangzhou 6
Kuala Lumpur 6
Lappeenranta 6
Milan 6
Ahmedabad 5
Budapest 5
Dayton 5
Guangzhou 5
Guayaquil 5
Hong Kong 5
Islamabad 5
Jeddah 5
Macao 5
Makassar 5
Paris 5
Porto Alegre 5
Portsmouth 5
Quezon City 5
Warsaw 5
Zhongli District 5
Albany 4
Amelia 4
Amman 4
Belo Horizonte 4
Bergamo 4
Birmingham 4
Brooklyn 4
Columbus 4
Curitiba 4
Edmonton 4
Horia 4
Lahore 4
Omaha 4
Totale 3.481
Salva come PNG Salva come JPEG
Nome #
Students' Careers and AI: a decision-making support system for Academia 296
A comparison of CLP(FD) and ASP solutions to NP-complete problems 161
An Empirical Study of Constraint Logic Programming and Answer Set Programming Solutions of Combinatorial Problems 153
Three-variable statements of set-pairing 152
T-resolution: refinements and model elimination 151
Representing Multi-Agent Planning in CLP 148
A GPU implementation of the ASP computation 145
Parallel Answer Set Programming 143
Perspectives on Logic-based Approaches for Reasoning About Actions and Change 134
ASP Applications in Bio-informatics: A Short Tour 134
An investigation of Multi-Agent Planning in CLP. 122
The axiom of elementary sets on the edge of Peircean expressibility 115
Multivalued Action Languages with Constraints in CLP(FD) 115
Multi-valued Action Languages with Constraints in CLP(FD) 113
Decidability Results for Sets with Atoms 106
An Experimental Comparison of Constraint Logic Programming and Answer Set Programming. 105
Towards explainable data-to-text generation 98
Exploring Life: Answer Set Programming in Bioinformatics 96
CUD@SAT: SAT solving on GPUs 87
Parallel execution of the ASP computation - An investigation on GPUs 87
Views on Time in Systems Biology 86
Autonomous agents coordination: Action languages meet CLP(FD) and Linda 86
Logic programming applied to genome evolution in cancer? 86
An xAI Approach for Data-to-Text Processing with ASP 82
On T Logic Programming 77
Reasoning on Relations, Modalities, and Sets 72
2D object reconstruction with ASP 71
CUD@ASP: Experimenting with GPUs in ASP solving 69
Exploiting unexploited computing resources for computational logics 67
{CUDA}: Set Constraints on GPUs. 62
BAAC: A Prolog System for Action Description and Agents Coordination 61
XAI-LAW Towards a logic programming tool for taking and explaining legal decisions 60
GPU Parallelism for SAT Solving Heuristics 56
Concept2Text: an explainable multilingual rewriting of concepts into natural language 53
Adding Metalogic Features to Knowledge Representation Languages 51
Parallel Answer Set Programming 50
Augmenting Datalog ± with Customizable Metalogic Features for Powerful Ontological Reasoning 49
Augmenting knowledge representation and reasoning languages with customizable metalogic features 48
Preface 47
GPU-Based Parallelism for ASP-Solving 46
Query answering in resource-based answer set semantics 45
Dataset_ScalableEnergyGamesSolversOnGPUs 45
An environment for specifying properties of dyadic relations and reasoning about them II: Relational presentation of non-classical logics 44
Timed Memory in Resource-Bounded Agents 43
Autonomous Agents Coordination: Action Description Languages Meet CLP(FD) and Linda 42
An equational re-engineering of set theories 42
On multiple learning schemata in conflict driven solvers 41
An Agg application supporting visual reasoning 40
Negation as a resource: A novel view on answer set semantics 40
A graphical representation of relational formulae with complementation 40
An Epistemic Logic for Multi-agent Systems with Budget and Costs 39
Temporalizing Epistemic Logic L-DINF 37
23rd RCRA International workshop on “Experimental evaluation of algorithms for solving problems with combinatorial explosion” 37
Advances in computational logic (CILC08): Preface 37
Augmenting agent computational environments with quantitative reasoning modules and customizable bridge rules 36
An epistemic logic for formalizing group dynamics of agents 33
Layered map reasoning: An experimental approach put to trial on sets 33
Augmenting agent computational environments with quantitative reasoning modules and customizable bridge rules 33
Accelerating energy games solvers on modern architectures 33
An Epistemic Logic for Modular Development of Multi-Agent Systems 33
A Timed Epistemic Logic for Formalizing Cooperation among Groups of Agents 32
Theoretical Computer Science in Italy 32
A graphical approach to relational reasoning 32
Query answering in resource-based answer set semantics 32
A logic of inferable in multi-agent systems with budget and costs 32
Multi-context systems in time 31
Special issue of the 22nd RCRA international workshop on "Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion" 30
Constraint propagation on GPU: A case study for the AllDifferent constraint 29
An efficient relational deductive system for propositional non-Classical logics 29
Negation as a Resource: A Novel View on Answer Set Semantics 28
Augmenting agent computational environments with quantitative reasoning modules and customisable bridge rules 28
Scalable Energy Games Solvers on GPUs 28
Prolog Meets Biology 28
Product and production process modeling and configuration 27
Mappings between domain models in Answer Set Programming 26
Nested weight constraints in ASP 26
Epistemic Logic Programs: an Approach to Semantic Comparison 25
Parallel Logic Programming: A Sequel 25
Introduction to the 35th International Conference on Logic Programming Special Issue 25
Multi-context systems in dynamic environments 25
Answer set programming with resources 24
Preference Management in Epistemic Logic L-DINF 23
Proceedings of the 38th Italian Conference on Computational Logic (CILC 2023) 23
Compiling dyadic first-order specifications into map algebra 22
Preface 22
Augmenting weight constraints with complex preferences 22
Constraint propagation on GPU: a case study for the cumulative constraint 21
Modeling preferences and conditional preferences on resource consumption and production in ASP 21
Nested weight constraints in ASP 21
Cognitive Aspects in Epistemic Logic L-DINF 20
Solver fast prototyping for reduct-based ELP semantics 20
Theory-specific automated reasoning 20
Towards Explainable Weather Forecasting Through FastLAS 19
Negation as a resource: A novel view on answer set semantics 19
PRODPROC - Product and production process modeling and configuration 19
Weight constraints with preferences in ASP 19
Fast Prototyping of a Solver for Reduct-based ELP Semantics 18
Qualitative Uncertainty Orderings Revised 18
Instructing equational set-reasoning with otter 18
Budget-constrained reasoning in agent computational environments 18
Totale 5.690
Salva come PNG Salva come JPEG
Categoria #
all - tutte 32.018
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 32.018
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202092 0 0 0 0 0 0 0 0 0 0 0 92
2020/2021778 31 50 28 40 234 79 41 83 63 32 39 58
2021/2022664 21 55 37 37 16 12 42 32 8 113 182 109
2022/2023561 110 43 7 68 44 149 5 31 63 5 23 13
2023/2024525 35 22 36 14 49 57 63 67 47 48 27 60
2024/20251.882 97 148 103 79 63 213 128 118 226 325 346 36
Totale 5.991