FORMISANO, Andrea
 Distribuzione geografica
Continente #
NA - Nord America 2.585
EU - Europa 834
AS - Asia 262
Continente sconosciuto - Info sul continente non disponibili 3
AF - Africa 2
SA - Sud America 1
Totale 3.687
Nazione #
US - Stati Uniti d'America 2.556
UA - Ucraina 185
IT - Italia 155
CN - Cina 110
SE - Svezia 106
IE - Irlanda 94
GB - Regno Unito 82
DE - Germania 69
FI - Finlandia 45
BE - Belgio 38
CA - Canada 29
VN - Vietnam 29
TR - Turchia 23
TW - Taiwan 21
JP - Giappone 17
IN - India 14
RU - Federazione Russa 14
RO - Romania 12
PL - Polonia 10
IL - Israele 9
BD - Bangladesh 7
FR - Francia 6
HK - Hong Kong 6
ES - Italia 5
IR - Iran 5
NL - Olanda 5
ID - Indonesia 4
PK - Pakistan 4
AE - Emirati Arabi Uniti 3
EU - Europa 3
SG - Singapore 3
CZ - Repubblica Ceca 2
HR - Croazia 2
HU - Ungheria 2
LB - Libano 2
PH - Filippine 2
QA - Qatar 2
ZA - Sudafrica 2
AT - Austria 1
BR - Brasile 1
KR - Corea 1
LI - Liechtenstein 1
Totale 3.687
Città #
Woodbridge 297
Fairfield 278
Ann Arbor 271
Houston 186
Chandler 183
Wilmington 148
Ashburn 137
Seattle 106
Jacksonville 104
Cambridge 97
Dublin 94
Princeton 90
Dearborn 83
Brussels 38
Udine 37
Nottingham 30
Beijing 29
Dong Ket 29
Ogden 27
San Diego 22
Norwalk 21
Des Moines 18
Izmir 16
Taipei 16
New York 15
Ottawa 14
Tokyo 12
Bolzano Vicentino 10
Hefei 9
Rishon LeTsiyyon 9
Suzhou 9
Ankara 7
Montreal 7
Nanjing 7
Tonypandy 7
Toronto 7
Wuhan 7
Boardman 6
Glasgow 6
Hangzhou 6
Treviso 6
Trieste 6
Guangzhou 5
Milan 5
Warsaw 5
Zhongli District 5
Amelia 4
Birmingham 4
Horia 4
London 4
Philadelphia 4
Shenzhen 4
Timisoara 4
Chongqing 3
Fremont 3
Fulham 3
Grafing 3
Kunming 3
Nanchang 3
Oxford 3
Portland 3
Preganziol 3
Rome 3
San Mateo 3
Trento 3
Verona 3
Abu Dhabi 2
Ahmedabad 2
Andover 2
Baotou 2
Beirut 2
Bloemfontein 2
Bucharest 2
Budapest 2
Carpi 2
Central 2
Cesson-Sévigné 2
Chions 2
Covina 2
Doha 2
Eindhoven 2
Fredericksburg 2
Grado 2
Ha Kwai Chung 2
Heemstede 2
Jinan 2
Katowice 2
Krakow 2
Lahore 2
Los Angeles 2
Makassar 2
Malang 2
Malo 2
Mantova 2
Mendota 2
Mumbai 2
Nanning 2
Naples 2
Osaka 2
Prague 2
Totale 2.662
Nome #
A comparison of CLP(FD) and ASP solutions to NP-complete problems 142
T-resolution: refinements and model elimination 138
Parallel Answer Set Programming 137
Representing Multi-Agent Planning in CLP 135
An Empirical Study of Constraint Logic Programming and Answer Set Programming Solutions of Combinatorial Problems 134
Three-variable statements of set-pairing 126
A GPU implementation of the ASP computation 125
ASP Applications in Bio-informatics: A Short Tour 125
Perspectives on Logic-based Approaches for Reasoning About Actions and Change 122
An investigation of Multi-Agent Planning in CLP. 111
Multivalued Action Languages with Constraints in CLP(FD) 106
Multi-valued Action Languages with Constraints in CLP(FD) 105
The axiom of elementary sets on the edge of Peircean expressibility 98
Decidability Results for Sets with Atoms 93
Exploring Life: Answer Set Programming in Bioinformatics 84
An Experimental Comparison of Constraint Logic Programming and Answer Set Programming. 81
CUD@SAT: SAT solving on GPUs 78
Autonomous agents coordination: Action languages meet CLP(FD) and Linda 74
Students' Careers and AI: a decision-making support system for Academia 72
Parallel execution of the ASP computation - An investigation on GPUs 71
Logic programming applied to genome evolution in cancer? 71
Views on Time in Systems Biology 70
On T Logic Programming 67
Reasoning on Relations, Modalities, and Sets 62
CUD@ASP: Experimenting with GPUs in ASP solving 59
2D object reconstruction with ASP 58
BAAC: A Prolog System for Action Description and Agents Coordination 54
Exploiting unexploited computing resources for computational logics 52
An xAI Approach for Data-to-Text Processing with ASP 48
Parallel Answer Set Programming 47
Augmenting Datalog ± with Customizable Metalogic Features for Powerful Ontological Reasoning 41
Preface 41
Augmenting knowledge representation and reasoning languages with customizable metalogic features 37
GPU-Based Parallelism for ASP-Solving 35
Timed Memory in Resource-Bounded Agents 34
Towards explainable data-to-text generation 33
Autonomous Agents Coordination: Action Description Languages Meet CLP(FD) and Linda 32
Adding Metalogic Features to Knowledge Representation Languages 28
Augmenting agent computational environments with quantitative reasoning modules and customizable bridge rules 28
An environment for specifying properties of dyadic relations and reasoning about them II: Relational presentation of non-classical logics 27
Augmenting agent computational environments with quantitative reasoning modules and customizable bridge rules 27
{CUDA}: Set Constraints on GPUs. 27
An equational re-engineering of set theories 26
Theoretical Computer Science in Italy 24
Advances in computational logic (CILC08): Preface 24
Special issue of the 22nd RCRA international workshop on "Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion" 23
Query answering in resource-based answer set semantics 22
A graphical representation of relational formulae with complementation 22
Augmenting agent computational environments with quantitative reasoning modules and customisable bridge rules 21
An Epistemic Logic for Multi-agent Systems with Budget and Costs 20
An Agg application supporting visual reasoning 20
Nested weight constraints in ASP 20
Query answering in resource-based answer set semantics 20
On multiple learning schemata in conflict driven solvers 19
Multi-context systems in time 18
Product and production process modeling and configuration 17
Negation as a Resource: A Novel View on Answer Set Semantics 17
23rd RCRA International workshop on “Experimental evaluation of algorithms for solving problems with combinatorial explosion” 17
Introduction to the 35th International Conference on Logic Programming Special Issue 17
Accelerating energy games solvers on modern architectures 17
Answer set programming with resources 16
Multi-context systems in dynamic environments 16
An Epistemic Logic for Modular Development of Multi-Agent Systems 16
Dataset_ScalableEnergyGamesSolversOnGPUs 16
GPU Parallelism for SAT Solving Heuristics 14
Negation as a resource: A novel view on answer set semantics 14
A graphical approach to relational reasoning 14
Budget-constrained reasoning in agent computational environments 14
A logic of inferable in multi-agent systems with budget and costs 14
Preference Management in Epistemic Logic L-DINF 13
Preface 13
Weight constraints with preferences in ASP 13
Scalable Energy Games Solvers on GPUs 13
Compiling dyadic first-order specifications into map algebra 12
Negation as a resource: A novel view on answer set semantics 12
Augmenting weight constraints with complex preferences 12
An efficient relational deductive system for propositional non-Classical logics 11
Theory-specific automated reasoning 11
Prolog Meets Biology 11
Layered map reasoning: An experimental approach put to trial on sets 10
Multi-context systems: Dynamics and evolution 10
Introduction to the 37th International Conference on Logic Programming Special Issue II 10
Parallel Logic Programming: A Sequel 9
Temporalizing Epistemic Logic L-DINF 9
Modeling preferences and conditional preferences on resource consumption and production in ASP 9
Qualitative Uncertainty Orderings Revised 9
PRODPROC - Product and production process modeling and configuration 9
Instructing equational set-reasoning with otter 9
Conditional preferences in P-RASP 9
Constraint propagation on GPU: A case study for the AllDifferent constraint 8
Epistemic Logic Programs: an Approach to Semantic Comparison 8
Proceedings of the 38th Italian Conference on Computational Logic (CILC 2023) 8
Mappings between domain models in Answer Set Programming 8
Strong equivalence of RASP programs 8
Management of uncertainty orderings through ASP 8
Nested weight constraints in ASP 8
RASP and ASP as a fragment of linear logic 8
Preferences and priorities in ASP 8
Introduction to the 37th international conference on logic programming special issue i 8
An epistemic logic for formalizing group dynamics of agents 7
Totale 3.934
Categoria #
all - tutte 17.641
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.641


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019157 0 0 0 0 0 0 0 0 2 28 75 52
2019/2020794 27 24 25 91 47 119 85 118 87 55 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/2023579 110 43 7 68 44 149 8 33 66 7 28 16
2023/2024406 35 26 37 16 59 57 63 67 46 0 0 0
Totale 4.008