IRIS
ALVIANO, Mario
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.676
AS - Asia 4.358
EU - Europa 2.696
SA - Sud America 1.352
AF - Africa 391
OC - Oceania 20
Continente sconosciuto - Info sul continente non disponibili 4
Totale 13.497
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.466
SG - Singapore 1.875
BR - Brasile 934
CN - Cina 782
VN - Vietnam 734
UA - Ucraina 663
DE - Germania 598
IT - Italia 504
SN - Senegal 207
FR - Francia 189
SE - Svezia 162
RU - Federazione Russa 158
TR - Turchia 143
HK - Hong Kong 137
AR - Argentina 122
IN - India 110
KR - Corea 92
GB - Regno Unito 90
IQ - Iraq 87
CA - Canada 86
BD - Bangladesh 72
EC - Ecuador 71
FI - Finlandia 71
CO - Colombia 64
ZA - Sudafrica 63
MX - Messico 62
AT - Austria 50
NL - Olanda 46
ID - Indonesia 45
PK - Pakistan 40
VE - Venezuela 40
CL - Cile 38
MA - Marocco 33
PH - Filippine 32
PE - Perù 30
PY - Paraguay 28
UZ - Uzbekistan 28
SA - Arabia Saudita 26
ES - Italia 25
BE - Belgio 23
PL - Polonia 20
AU - Australia 18
EG - Egitto 17
TN - Tunisia 17
DZ - Algeria 16
UY - Uruguay 15
AE - Emirati Arabi Uniti 14
JO - Giordania 13
JP - Giappone 13
KE - Kenya 13
DO - Repubblica Dominicana 12
KZ - Kazakistan 11
MY - Malesia 11
NP - Nepal 11
PT - Portogallo 11
BH - Bahrain 10
GR - Grecia 10
PA - Panama 10
RO - Romania 10
AL - Albania 9
CZ - Repubblica Ceca 9
KG - Kirghizistan 9
NI - Nicaragua 9
BO - Bolivia 8
CR - Costa Rica 8
AZ - Azerbaigian 7
IL - Israele 7
JM - Giamaica 7
GE - Georgia 6
KH - Cambogia 6
TT - Trinidad e Tobago 6
AM - Armenia 5
BG - Bulgaria 5
BY - Bielorussia 5
GA - Gabon 5
HN - Honduras 5
HU - Ungheria 5
LT - Lituania 5
CH - Svizzera 4
CI - Costa d'Avorio 4
KW - Kuwait 4
AO - Angola 3
CY - Cipro 3
EU - Europa 3
IE - Irlanda 3
IR - Iran 3
LB - Libano 3
LK - Sri Lanka 3
MD - Moldavia 3
NO - Norvegia 3
OM - Oman 3
PS - Palestinian Territory 3
TH - Thailandia 3
BA - Bosnia-Erzegovina 2
EE - Estonia 2
GT - Guatemala 2
GY - Guiana 2
LV - Lettonia 2
RS - Serbia 2
SV - El Salvador 2
Totale 13.466
Salva come PNG Salva come JPEG
Città #
Singapore 700
Dallas 640
Chandler 497
Jacksonville 380
San Jose 343
Ho Chi Minh City 260
Ashburn 252
Boardman 247
San Mateo 211
Dakar 207
Beijing 202
Dearborn 202
Hanoi 164
Hong Kong 118
Lauterbourg 114
Bremen 98
Lawrence 94
Roxbury 94
Izmir 93
Seoul 89
Shanghai 87
Grafing 86
Rende 86
Hefei 83
São Paulo 81
Des Moines 68
Helsinki 65
Cambridge 60
Ann Arbor 58
Ogden 51
New York 48
Haiphong 45
Inglewood 45
Ottawa 45
Rome 43
Munich 40
Los Angeles 38
Santa Clara 38
Brooklyn 37
Rio de Janeiro 36
The Dalles 35
Florence 33
Da Nang 32
Guangzhou 32
Baghdad 30
Quito 30
Seattle 30
Council Bluffs 28
Frankfurt am Main 28
Milan 27
Wilmington 26
Columbus 25
Vienna 25
Catanzaro 24
Tashkent 24
Cosenza 23
Brussels 22
Belo Horizonte 21
Redwood City 21
Tianjin 20
San Francisco 19
Medellín 18
Fremont 17
Johannesburg 17
Toronto 17
Curitiba 16
Sanayi 16
Biên Hòa 15
Cape Town 15
Chicago 15
Amsterdam 14
Guayaquil 14
Kyiv 14
Montevideo 14
Naaldwijk 14
Warsaw 14
Boston 13
Caracas 13
Jeddah 13
Lima 13
Mexico City 13
Thái Nguyên 13
Amman 12
Asunción 12
Orem 12
Santiago 12
Brasília 11
Fortaleza 11
Hải Dương 11
Messina 11
Phoenix 11
Thái Bình 11
Tokyo 11
Berlin 10
Chennai 10
Dhaka 10
Ferrara 10
Lahore 10
Montreal 10
Mumbai 10
Totale 7.203
Salva come PNG Salva come JPEG
Nome #
The ASP System DLV2 244
Nurse (Re)scheduling via answer set programming 196
An advanced answer set programming encoding for nurse scheduling 189
Reasoning over Ontologies with DLV 186
Enhancing DLV for Large-Scale Reasoning 185
Large Scale DLV: Preliminary Results 183
A Logic-Based System for e-Tourism 182
Evaluation of Disjunctive Programs in WASP 180
Introducing ASP recipes and ASP Chef 179
Querying large expressive horn ontologies 175
The ASP System DLV: Advancements and Applications 173
Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues 171
Aggregates in Answer Set Programming 154
Advances in WASP 152
An Application of ASP for Procedural Content Generation in Video Games 150
Enhancing Magic Sets with an Application to Ontological Reasoning 149
The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track 145
Algorithms for solving optimization problems in answer set programming 143
A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size 141
Model Enumeration via Assumption Literals 139
Answer set enumeration via assumption literals 138
Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates 138
A Hybrid Approach to Optimization in Answer Set Programming 136
Erratum: A logic-based system for e-tourism (Fundamenta Informaticae (2010) 105:1-2) 128
Answer set programming in healthcare: Extended overview 126
Shared aggregate sets in answer set programming 124
Data validation for answer set programming (extended abstract) 123
Answer Set Programming and Large Language Models interaction with YAML: Preliminary Report 122
Well-Founded Semantics for Logic Programs with Aggregates: Implementation and Experimentation 121
Chain Answer Sets for Logic Programs with Generalized Atoms 121
A speech about generative datalog and non-measurable sets 121
Anytime computation of cautious consequences in answer set programming 119
A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming 119
Inconsistency Proofs for ASP: The ASP-DRUPE Format 119
Anytime answer set optimization via unsatisfiable core shrinking 118
A Generalised approach for encoding and reasoning with qualitative theories in answer set programming 118
ASP and subset minimality: Enumeration, cautious reasoning and MUSes 117
Cautious reasoning in ASP via minimal models and unsatisfiable cores 117
AMO-aware Aggregates in Answer Set Programming 116
WASP: A native ASP solver based on constraint learning 115
The Birth of a WASP: Preliminary Report on a New ASP Solver 114
Complexity of Super-Coherence Problems in Answer Set Programming 114
JWASP: A New Java-Based {ASP} Solver 113
Dynamic Magic Sets for Programs with Monotone Recursive Aggregates 113
Argumentation Reasoning via Circumscription with Pyglaf 113
Evaluating answer set programming with non-convex recursive aggregates 112
Model Enumeration in Propositional Circumscription via Unsatisfiable Core Analysis 112
Structured Declarative Language 111
Coalition formation in social environments with logic-based agents 111
Answer set programming with composed predicate names 111
Disjunctive ASP with Functions: Decidable Queries and Effective Computation 110
Integrating Answer Set Programming and Large Language Models for Enhanced Structured Representation of Complex Knowledge in Natural Language 109
Efficient Recursive Aggregate Evaluation in Logic Programming 109
Complexity of super-coherence problems in ASP 109
Magic Sets for Disjunctive Datalog Programs 109
Aggregate Semantics for Propositional Answer Set Programs 109
Team-building with Answer Set Programming in the Gioia-Tauro Seaport 108
Completion of Disjunctive Logic Programs 107
Minimal undefinedness for fuzzy answer sets 107
Efficient Compliance Computation in Probabilistic Declarative Specifications 106
Fuzzy answer sets approximations 105
Enumeration of Minimal Models and MUSes in WASP 104
The Disjunctive Datalog System DLV 104
Reduct-based Stability Check Using Literal Assumptions 104
Query Answering over Disjunctive Datalog with Existential Quantifiers 103
Stable model semantics for tuple-generating dependencies revisited 103
Function Symbols in ASP: Overview and Perspectives 101
The Fourth Answer Set Programming Competition: Preliminary Report 101
Properties of answer set programming with convex generalized atoms 100
Comparing alternative solutions for unfounded set propagation in ASP 99
Data Validation Meets Answer Set Programming 99
Optimization problems in answer set programming 98
Preliminary Report on WASP 2.0 97
Dynamic Magic Sets and super-coherent answer set programs 96
Effectively Solving NP-SPEC Encodings by Translation to ASP 95
Default Negation for Non-Guarded Existential Rules 95
A preferential interpretation of MultiLayer Perceptrons in a conditional logic with typicality 94
The pyglaf argumentation reasoner 94
On the implementation of weak constraints in WASP 94
Optimum stable model search: algorithms and implementation 94
Rethinking Answer Set Programming Templates 94
Boolean Functions with Ordered Domains in Answer Set Programming 93
Declarative specification of benchmark sessions via ASP 92
The HiLeX System for Semantic Information Extraction 92
Stable Model Semantics of Abstract Dialectical Frameworks Revisited: A Logic Programming Perspective 90
Complexity and compilation of GZ-aggregates in answer set programming 90
Preference Relations by Approximation 90
On the integration of CP-nets in ASPRIN 90
Answer Set Explanations via Preferred Unit-Provable Unsatisfiable Subsets 89
From Non-Convex Aggregates to Monotone Aggregates in ASP 89
Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search 89
Dynamic Magic Sets for Super-Consistent Answer Set Programs 88
ASP Chef: Draw and Expand 86
Advancements in xASP, an XAI System for Answer Set Programming 86
Fuzzy answer set computation via satisfiability modulo theories 85
Translating NP-SPEC into ASP 85
ValAsp: A Tool for Data Validation in Answer Set Programming 84
Rewriting recursive aggregates in answer set programming: back to monotonicity 84
Query Answering in Propositional Circumscription 84
Evaluating Answer Set Programming with Non-Convex Recursive Aggregates 83
Totale 11.822
Salva come PNG Salva come JPEG
Categoria #
all - tutte 73.394
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 73.394
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021190 0 0 0 0 0 0 0 0 0 103 19 68
2021/20221.181 10 157 8 47 99 100 21 239 15 16 169 300
2022/20231.276 147 148 18 128 202 100 14 242 138 24 64 51
2023/2024780 52 45 86 39 55 82 40 42 75 47 54 163
2024/20252.294 99 315 62 159 239 168 130 199 307 117 195 304
2025/20266.237 801 273 949 633 1.226 409 711 359 403 473 0 0
Totale 13.707