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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020116 0 0 0 0 0 0 0 0 0 0 24 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.719 97 148 103 79 63 213 128 118 226 325 219 0
Totale 5.828