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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.006 0 0 0 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.846 801 273 949 633 1.226 409 711 359 403 505 227 350
2026/20271.735 357 177 478 723 0 0 0 0 0 0 0 0
Totale 16.051