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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020743 0 0 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/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/2025245 97 148 0 0 0 0 0 0 0 0 0 0
Totale 4.354