IRIS
ALVIANO, Mario
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.959
EU - Europa 2.113
AS - Asia 1.129
AF - Africa 218
SA - Sud America 121
OC - Oceania 15
Continente sconosciuto - Info sul continente non disponibili 3
Totale 6.558
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.886
UA - Ucraina 637
SG - Singapore 580
DE - Germania 531
IT - Italia 387
CN - Cina 302
SN - Senegal 204
SE - Svezia 154
RU - Federazione Russa 120
TR - Turchia 118
BR - Brasile 99
FI - Finlandia 65
CA - Canada 59
GB - Regno Unito 48
AT - Austria 37
NL - Olanda 31
HK - Hong Kong 29
BE - Belgio 23
FR - Francia 20
IN - India 17
AU - Australia 15
IQ - Iraq 12
ES - Italia 11
KR - Corea 11
PH - Filippine 11
PT - Portogallo 8
SA - Arabia Saudita 8
NI - Nicaragua 7
PK - Pakistan 7
ZA - Sudafrica 7
CZ - Repubblica Ceca 6
GR - Grecia 6
RO - Romania 6
PE - Perù 5
PL - Polonia 5
AR - Argentina 4
GE - Georgia 4
KG - Kirghizistan 4
KZ - Kazakistan 4
AE - Emirati Arabi Uniti 3
BD - Bangladesh 3
CL - Cile 3
EU - Europa 3
HU - Ungheria 3
LT - Lituania 3
AL - Albania 2
AZ - Azerbaigian 2
BO - Bolivia 2
CO - Colombia 2
EC - Ecuador 2
IR - Iran 2
JM - Giamaica 2
JO - Giordania 2
JP - Giappone 2
MD - Moldavia 2
MX - Messico 2
NO - Norvegia 2
PA - Panama 2
UY - Uruguay 2
AM - Armenia 1
BG - Bulgaria 1
BY - Bielorussia 1
CI - Costa d'Avorio 1
CR - Costa Rica 1
CY - Cipro 1
DK - Danimarca 1
DZ - Algeria 1
EE - Estonia 1
EG - Egitto 1
GY - Guiana 1
IE - Irlanda 1
KE - Kenya 1
KH - Cambogia 1
LA - Repubblica Popolare Democratica del Laos 1
LK - Sri Lanka 1
LV - Lettonia 1
MA - Marocco 1
OM - Oman 1
PS - Palestinian Territory 1
SC - Seychelles 1
TN - Tunisia 1
UZ - Uzbekistan 1
VE - Venezuela 1
Totale 6.558
Salva come PNG Salva come JPEG
Città #
Chandler 497
Jacksonville 378
Singapore 289
Boardman 245
San Mateo 211
Dakar 204
Dearborn 202
Bremen 98
Lawrence 94
Roxbury 94
Izmir 92
Grafing 86
Shanghai 82
Ashburn 67
Rende 66
Des Moines 62
Helsinki 62
Cambridge 60
Ann Arbor 58
Ogden 51
Inglewood 45
Ottawa 45
Beijing 40
Rome 37
Florence 30
Seattle 28
New York 27
Santa Clara 27
Wilmington 26
Brooklyn 25
Vienna 23
Brussels 22
Catanzaro 22
Milan 22
Redwood City 21
Cosenza 17
Fremont 17
Hong Kong 17
Guangzhou 16
Munich 16
Sanayi 16
Naaldwijk 14
Council Bluffs 13
Los Angeles 13
San Francisco 13
Seoul 11
Frankfurt am Main 10
Reggio Calabria 10
Toronto 10
Basildon 9
São Paulo 9
Wuhan 9
Berlin 8
Falkenstein 8
Kyiv 8
Las Vegas 8
Nuremberg 8
Falls Church 7
Lisbon 7
Managua 7
Melbourne 7
Fuscaldo 6
Messina 6
Nanjing 6
Norwalk 6
Palermo 6
Serra San Bruno 6
Turin 6
A Coruña 5
Augsburg 5
Ferrara 5
Jiaxing 5
Leawood 5
London 5
Moscow 5
Phoenix 5
Amsterdam 4
Athens 4
Belo Horizonte 4
Bishkek 4
Elk Grove Village 4
Fuzhou 4
Iligan 4
Jeddah 4
Lima 4
Locri 4
Piracicaba 4
Potsdam 4
Rawalpindi 4
Riva Del Garda 4
Riyadh 4
Washington 4
Baghdad 3
Barcelona 3
Bergamo 3
Bisignano 3
Bolzano 3
Brasília 3
Brno 3
Canberra 3
Totale 3.896
Salva come PNG Salva come JPEG
Nome #
The ASP System DLV2 169
Nurse (Re)scheduling via answer set programming 133
Reasoning over Ontologies with DLV 115
The ASP System DLV: Advancements and Applications 113
An advanced answer set programming encoding for nurse scheduling 112
A Logic-Based System for e-Tourism 104
Enhancing DLV for Large-Scale Reasoning 102
Evaluation of Disjunctive Programs in WASP 99
Large Scale DLV: Preliminary Results 96
Aggregates in Answer Set Programming 91
Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues 87
Querying large expressive horn ontologies 86
Model Enumeration via Assumption Literals 84
The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track 83
Erratum: A logic-based system for e-tourism (Fundamenta Informaticae (2010) 105:1-2) 79
Algorithms for solving optimization problems in answer set programming 79
Advances in WASP 78
Anytime computation of cautious consequences in answer set programming 76
Anytime answer set optimization via unsatisfiable core shrinking 76
Inconsistency Proofs for ASP: The ASP-DRUPE Format 75
A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size 74
Coalition formation in social environments with logic-based agents 74
Model Enumeration in Propositional Circumscription via Unsatisfiable Core Analysis 72
Answer set enumeration via assumption literals 72
Data validation for answer set programming (extended abstract) 72
Answer set programming in healthcare: Extended overview 72
Evaluating answer set programming with non-convex recursive aggregates 71
A Hybrid Approach to Optimization in Answer Set Programming 71
Enhancing Magic Sets with an Application to Ontological Reasoning 71
Fuzzy answer sets approximations 70
Efficient Recursive Aggregate Evaluation in Logic Programming 69
Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates 69
The Disjunctive Datalog System DLV 69
Dynamic Magic Sets and super-coherent answer set programs 67
Chain Answer Sets for Logic Programs with Generalized Atoms 67
Boolean Functions with Ordered Domains in Answer Set Programming 66
Effectively Solving NP-SPEC Encodings by Translation to ASP 65
Reduct-based Stability Check Using Literal Assumptions 65
A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming 65
Completion of Disjunctive Logic Programs 63
Shared aggregate sets in answer set programming 63
Stable model semantics for tuple-generating dependencies revisited 63
Introducing ASP recipes and ASP Chef 62
Rewriting recursive aggregates in answer set programming: back to monotonicity 62
Cautious reasoning in ASP via minimal models and unsatisfiable cores 62
Magic Sets for Disjunctive Datalog Programs 61
Complexity of super-coherence problems in ASP 60
Team-building with Answer Set Programming in the Gioia-Tauro Seaport 58
Complexity and compilation of GZ-aggregates in answer set programming 58
Argumentation Reasoning via Circumscription with Pyglaf 58
Comparing alternative solutions for unfounded set propagation in ASP 57
Optimum stable model search: algorithms and implementation 57
A speech about generative datalog and non-measurable sets 57
On the implementation of weak constraints in WASP 56
Complexity of Super-Coherence Problems in Answer Set Programming 56
Query Answering in Propositional Circumscription 55
Fuzzy answer set computation via satisfiability modulo theories 54
Declarative specification of benchmark sessions via ASP 54
The Fourth Answer Set Programming Competition: Preliminary Report 54
The Birth of a WASP: Preliminary Report on a New ASP Solver 52
Disjunctive ASP with Functions: Decidable Queries and Effective Computation 52
Complexity of Super-Coherence Problems in ASP 51
Dynamic Magic Sets for Programs with Monotone Recursive Aggregates 51
Function Symbols in ASP: Overview and Perspectives 51
Preference Relations by Approximation 50
Translating NP-SPEC into ASP 50
On the integration of CP-nets in ASPRIN 50
Rethinking Answer Set Programming Templates 49
Optimization problems in answer set programming 48
Unsatisfiable core shrinking for anytime answer set optimization 48
Magic-Sets for Datalog with Existential Quantifiers 48
Stable Model Semantics of Abstract Dialectical Frameworks Revisited: A Logic Programming Perspective 47
An Application of ASP for Procedural Content Generation in Video Games 46
ASP and subset minimality: Enumeration, cautious reasoning and MUSes 46
Preliminary Report on WASP 2.0 46
The Complexity Boundary of Answer Set Programming with Generalized Atoms under the FLP Semantics 46
Aggregate Semantics for Propositional Answer Set Programs 46
JWASP: A New Java-Based {ASP} Solver 45
Well-Founded Semantics for Logic Programs with Aggregates: Implementation and Experimentation 45
On the Properties of GZ-Aggregates in Answer Set Programming 45
A Generalised approach for encoding and reasoning with qualitative theories in answer set programming 45
From Non-Convex Aggregates to Monotone Aggregates in ASP 44
Minimal undefinedness for fuzzy answer sets 44
Dynamic Magic Sets for Super-Consistent Answer Set Programs 44
The HiLeX System for Semantic Information Extraction 44
Data Validation Meets Answer Set Programming 44
Query Answering over Disjunctive Datalog with Existential Quantifiers 43
Supportedly Stable Answer Sets for Logic Programs with Generalized Atoms 42
WASP: A native ASP solver based on constraint learning 42
Properties of answer set programming with convex generalized atoms 42
Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search 42
Answer set programming with composed predicate names 42
Default Negation for Non-Guarded Existential Rules 40
AMO-aware Aggregates in Answer Set Programming 38
Semantics and Compilation of Answer Set Programming with Generalized Atoms 38
Enumeration of Minimal Models and MUSes in WASP 37
Evaluating Answer Set Programming with Non-Convex Recursive Aggregates 37
Dynamic Magic Sets for Disjunctive Datalog Programs 37
The ingredients of the argumentation reasoner pyglaf: Python, circumscription, and glucose to taste 36
A preferential interpretation of MultiLayer Perceptrons in a conditional logic with typicality 35
Totale 6.256
Salva come PNG Salva come JPEG
Categoria #
all - tutte 49.271
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 49.271
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020174 0 0 0 0 0 0 0 0 14 35 86 39
2020/2021752 114 17 83 101 14 97 17 104 15 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/20251.590 99 315 62 159 239 168 130 199 219 0 0 0
Totale 6.766