IRIS
ALVIANO, Mario
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.992
AS - Asia 4.438
EU - Europa 2.777
SA - Sud America 1.353
AF - Africa 391
OC - Oceania 20
Continente sconosciuto - Info sul continente non disponibili 4
Totale 13.975
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.773
SG - Singapore 1.885
BR - Brasile 935
CN - Cina 801
VN - Vietnam 737
UA - Ucraina 663
DE - Germania 600
IT - Italia 573
SN - Senegal 207
FR - Francia 195
SE - Svezia 162
RU - Federazione Russa 158
TR - Turchia 143
HK - Hong Kong 138
AR - Argentina 122
BD - Bangladesh 116
IN - India 110
KR - Corea 92
GB - Regno Unito 91
CA - Canada 90
IQ - Iraq 87
EC - Ecuador 71
FI - Finlandia 71
CO - Colombia 64
ZA - Sudafrica 63
MX - Messico 62
AT - Austria 52
NL - Olanda 47
ID - Indonesia 46
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
JP - Giappone 14
JO - Giordania 13
KE - Kenya 13
DO - Repubblica Dominicana 12
MY - Malesia 12
KZ - Kazakistan 11
NP - Nepal 11
PT - Portogallo 11
BH - Bahrain 10
GR - Grecia 10
JM - Giamaica 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
GE - Georgia 6
HN - Honduras 6
KH - Cambogia 6
TT - Trinidad e Tobago 6
AM - Armenia 5
BG - Bulgaria 5
BY - Bielorussia 5
GA - Gabon 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
GT - Guatemala 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
GY - Guiana 2
LV - Lettonia 2
RS - Serbia 2
SV - El Salvador 2
Totale 13.944
Salva come PNG Salva come JPEG
Città #
Singapore 703
Dallas 642
Chandler 497
Jacksonville 380
San Jose 362
Ashburn 291
Ho Chi Minh City 260
Boardman 247
San Mateo 211
Dakar 207
Beijing 206
Dearborn 202
Council Bluffs 169
Hanoi 165
Hong Kong 119
Lauterbourg 114
Bremen 98
Lawrence 94
Roxbury 94
Izmir 93
Rende 90
Seoul 89
Shanghai 88
Grafing 86
Hefei 83
São Paulo 81
Des Moines 68
New York 67
Helsinki 65
Cambridge 61
Ann Arbor 58
Rome 55
Santa Clara 53
Ogden 51
Haiphong 45
Inglewood 45
Ottawa 45
Los Angeles 41
Munich 40
Brooklyn 37
Rio de Janeiro 36
Florence 35
The Dalles 35
Da Nang 32
Guangzhou 32
Baghdad 30
Milan 30
Quito 30
Seattle 30
Catanzaro 28
Frankfurt am Main 28
Vienna 27
Wilmington 26
Columbus 25
Tashkent 24
Cosenza 23
Brussels 22
Belo Horizonte 21
Redwood City 21
San Francisco 20
Tianjin 20
Chicago 19
Naples 19
Medellín 18
Toronto 18
Fremont 17
Johannesburg 17
Curitiba 16
Sanayi 16
Biên Hòa 15
Cape Town 15
Amsterdam 14
Guayaquil 14
Kyiv 14
Montevideo 14
Naaldwijk 14
Warsaw 14
Boston 13
Caracas 13
Jeddah 13
Lima 13
Mexico City 13
Orem 13
Thái Nguyên 13
Amman 12
Asunción 12
Messina 12
Montreal 12
Phoenix 12
Santiago 12
Brasília 11
Fortaleza 11
Hải Dương 11
Thái Bình 11
Tokyo 11
Berlin 10
Chennai 10
Dhaka 10
Ferrara 10
Lahore 10
Totale 7.499
Salva come PNG Salva come JPEG
Nome #
The ASP System DLV2 254
Nurse (Re)scheduling via answer set programming 209
Introducing ASP recipes and ASP Chef 203
An advanced answer set programming encoding for nurse scheduling 194
Reasoning over Ontologies with DLV 192
Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues 191
Enhancing DLV for Large-Scale Reasoning 190
A Logic-Based System for e-Tourism 186
Large Scale DLV: Preliminary Results 184
Evaluation of Disjunctive Programs in WASP 181
The ASP System DLV: Advancements and Applications 178
Querying large expressive horn ontologies 177
Aggregates in Answer Set Programming 155
Advances in WASP 153
An Application of ASP for Procedural Content Generation in Video Games 152
Enhancing Magic Sets with an Application to Ontological Reasoning 151
The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track 147
Model Enumeration via Assumption Literals 144
A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size 143
Algorithms for solving optimization problems in answer set programming 143
Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates 142
Answer set enumeration via assumption literals 140
A Hybrid Approach to Optimization in Answer Set Programming 137
Answer set programming in healthcare: Extended overview 130
Erratum: A logic-based system for e-tourism (Fundamenta Informaticae (2010) 105:1-2) 129
Well-Founded Semantics for Logic Programs with Aggregates: Implementation and Experimentation 127
Chain Answer Sets for Logic Programs with Generalized Atoms 126
Shared aggregate sets in answer set programming 125
Answer Set Programming and Large Language Models interaction with YAML: Preliminary Report 125
WASP: A native ASP solver based on constraint learning 124
A speech about generative datalog and non-measurable sets 124
AMO-aware Aggregates in Answer Set Programming 123
Data validation for answer set programming (extended abstract) 123
Structured Declarative Language 122
A Generalised approach for encoding and reasoning with qualitative theories in answer set programming 122
Anytime computation of cautious consequences in answer set programming 121
Inconsistency Proofs for ASP: The ASP-DRUPE Format 121
Anytime answer set optimization via unsatisfiable core shrinking 120
Enumeration of Minimal Models and MUSes in WASP 119
Integrating Answer Set Programming and Large Language Models for Enhanced Structured Representation of Complex Knowledge in Natural Language 119
ASP and subset minimality: Enumeration, cautious reasoning and MUSes 119
A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming 119
Dynamic Magic Sets for Programs with Monotone Recursive Aggregates 118
Disjunctive ASP with Functions: Decidable Queries and Effective Computation 118
Cautious reasoning in ASP via minimal models and unsatisfiable cores 118
The Disjunctive Datalog System DLV 117
The Birth of a WASP: Preliminary Report on a New ASP Solver 116
JWASP: A New Java-Based {ASP} Solver 115
Complexity of Super-Coherence Problems in Answer Set Programming 114
Argumentation Reasoning via Circumscription with Pyglaf 114
Evaluating answer set programming with non-convex recursive aggregates 113
Coalition formation in social environments with logic-based agents 113
Model Enumeration in Propositional Circumscription via Unsatisfiable Core Analysis 112
Magic Sets for Disjunctive Datalog Programs 112
Aggregate Semantics for Propositional Answer Set Programs 112
Completion of Disjunctive Logic Programs 111
Team-building with Answer Set Programming in the Gioia-Tauro Seaport 111
Answer set programming with composed predicate names 111
Efficient Recursive Aggregate Evaluation in Logic Programming 109
Complexity of super-coherence problems in ASP 109
Query Answering over Disjunctive Datalog with Existential Quantifiers 109
Minimal undefinedness for fuzzy answer sets 109
Efficient Compliance Computation in Probabilistic Declarative Specifications 108
ASP Chef: Draw and Expand 107
Fuzzy answer sets approximations 106
Function Symbols in ASP: Overview and Perspectives 106
The Fourth Answer Set Programming Competition: Preliminary Report 106
Properties of answer set programming with convex generalized atoms 105
Reduct-based Stability Check Using Literal Assumptions 105
Stable model semantics for tuple-generating dependencies revisited 103
Comparing alternative solutions for unfounded set propagation in ASP 101
The pyglaf argumentation reasoner 100
The HiLeX System for Semantic Information Extraction 100
Effectively Solving NP-SPEC Encodings by Translation to ASP 99
Preliminary Report on WASP 2.0 99
Default Negation for Non-Guarded Existential Rules 99
Data Validation Meets Answer Set Programming 99
Optimization problems in answer set programming 98
Dynamic Magic Sets and super-coherent answer set programs 98
Optimum stable model search: algorithms and implementation 98
Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search 97
Dynamic Magic Sets for Super-Consistent Answer Set Programs 96
Answer Set Explanations via Preferred Unit-Provable Unsatisfiable Subsets 95
On the implementation of weak constraints in WASP 95
A preferential interpretation of MultiLayer Perceptrons in a conditional logic with typicality 94
Rethinking Answer Set Programming Templates 94
Boolean Functions with Ordered Domains in Answer Set Programming 93
Declarative specification of benchmark sessions via ASP 93
Preference Relations by Approximation 93
From Non-Convex Aggregates to Monotone Aggregates in ASP 92
Complexity and compilation of GZ-aggregates in answer set programming 92
On the integration of CP-nets in ASPRIN 91
Stable Model Semantics of Abstract Dialectical Frameworks Revisited: A Logic Programming Perspective 90
Rewriting recursive aggregates in answer set programming: back to monotonicity 90
Evaluating Answer Set Programming with Non-Convex Recursive Aggregates 89
Magic-Sets for Datalog with Existential Quantifiers 89
Integrating Structured Declarative Language (SDL) into ASP Chef 89
Query Answering in Propositional Circumscription 88
Fuzzy answer set computation via satisfiability modulo theories 86
Translating NP-SPEC into ASP 86
Totale 12.214
Salva come PNG Salva come JPEG
Categoria #
all - tutte 76.969
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 76.969
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202168 0 0 0 0 0 0 0 0 0 0 0 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.728 801 273 949 633 1.226 409 711 359 403 505 227 232
Totale 14.198