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


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