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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020591 0 0 0 0 59 193 68 97 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/2025807 99 315 62 159 172 0 0 0 0 0 0 0
Totale 5.983