IRIS
ALVIANO, Mario
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.384
EU - Europa 1.713
AS - Asia 226
AF - Africa 210
OC - Oceania 12
SA - Sud America 9
Continente sconosciuto - Info sul continente non disponibili 3
Totale 4.557
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.329
UA - Ucraina 636
DE - Germania 469
IT - Italia 232
SN - Senegal 204
SE - Svezia 153
TR - Turchia 114
CN - Cina 70
AT - Austria 63
CA - Canada 54
GB - Regno Unito 42
BE - Belgio 39
FI - Finlandia 37
FR - Francia 13
AU - Australia 12
IN - India 11
HK - Hong Kong 8
NL - Olanda 7
SA - Arabia Saudita 7
IQ - Iraq 6
RO - Romania 6
BR - Brasile 4
GR - Grecia 4
PT - Portogallo 4
EU - Europa 3
PK - Pakistan 3
PL - Polonia 3
ZA - Sudafrica 3
CL - Cile 2
ES - Italia 2
HU - Ungheria 2
IR - Iran 2
UY - Uruguay 2
AE - Emirati Arabi Uniti 1
BD - Bangladesh 1
EC - Ecuador 1
EG - Egitto 1
IE - Irlanda 1
JP - Giappone 1
LA - Repubblica Popolare Democratica del Laos 1
MA - Marocco 1
PA - Panama 1
PS - Palestinian Territory 1
SC - Seychelles 1
Totale 4.557
Salva come PNG Salva come JPEG
Città #
Chandler 497
Jacksonville 378
San Mateo 211
Dakar 204
Dearborn 202
Bremen 98
Lawrence 94
Roxbury 94
Izmir 92
Grafing 86
Des Moines 62
Cambridge 60
Ann Arbor 58
Rende 55
Vienna 53
Inglewood 45
Ottawa 42
Brussels 38
Helsinki 37
Beijing 35
Florence 30
Wilmington 26
Brooklyn 25
Ashburn 22
Redwood City 21
Fremont 17
Sanayi 16
San Francisco 13
Rome 12
Catanzaro 11
Toronto 10
Basildon 9
Boardman 9
Kyiv 8
Falls Church 7
Las Vegas 7
Milan 7
Melbourne 6
Messina 6
Nanjing 6
Norwalk 6
Reggio Calabria 6
Serra San Bruno 6
Leawood 5
Palermo 5
Phoenix 5
Seattle 5
Cosenza 4
Fuscaldo 4
Jeddah 4
Potsdam 4
Riva Del Garda 4
Washington 4
Bolzano 3
Canberra 3
Cirò Marina 3
Guangzhou 3
Hanover 3
Hefei 3
Lahore 3
Lisbon 3
Riyadh 3
Seelze 3
Trento 3
Warsaw 3
Zhengzhou 3
Amendolara 2
Andover 2
Ardabil 2
Athens 2
Bagnara Calabra 2
Bengaluru 2
Bucharest 2
Catania 2
Changsha 2
Civitavecchia 2
Crotone 2
Dayton 2
Fairfield 2
Falkenstein 2
Ferrara 2
Fuzhou 2
Hyderabad 2
Jinan 2
Lanzhou 2
Markham 2
Mascalucia 2
Montevideo 2
Mumbai 2
New York 2
Ningbo 2
Paris 2
Redmond 2
Saarbrücken 2
Sacile 2
Santiago 2
Stezzano 2
São Paulo 2
Tirol 2
Villasanta 2
Totale 2.878
Salva come PNG Salva come JPEG
Nome #
The ASP System DLV2 151
The ASP System DLV: Advancements and Applications 100
A Logic-Based System for e-Tourism 87
Reasoning over Ontologies with DLV 75
Enhancing DLV for Large-Scale Reasoning 75
Evaluation of Disjunctive Programs in WASP 74
Large Scale DLV: Preliminary Results 72
Nurse (Re)scheduling via answer set programming 68
An advanced answer set programming encoding for nurse scheduling 67
Coalition formation in social environments with logic-based agents 67
Aggregates in Answer Set Programming 66
Model Enumeration via Assumption Literals 66
Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues 64
Algorithms for solving optimization problems in answer set programming 64
Anytime answer set optimization via unsatisfiable core shrinking 63
Anytime computation of cautious consequences in answer set programming 62
The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track 62
Erratum: A logic-based system for e-tourism (Fundamenta Informaticae (2010) 105:1-2) 61
Advances in WASP 61
Fuzzy answer sets approximations 60
Evaluating answer set programming with non-convex recursive aggregates 60
Querying large expressive horn ontologies 58
A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size 57
Completion of Disjunctive Logic Programs 57
The Disjunctive Datalog System DLV 57
Boolean Functions with Ordered Domains in Answer Set Programming 56
Effectively Solving NP-SPEC Encodings by Translation to ASP 55
Model Enumeration in Propositional Circumscription via Unsatisfiable Core Analysis 55
Shared aggregate sets in answer set programming 55
Data validation for answer set programming (extended abstract) 54
Stable model semantics for tuple-generating dependencies revisited 54
Efficient Recursive Aggregate Evaluation in Logic Programming 53
Answer set enumeration via assumption literals 52
Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates 52
Dynamic Magic Sets and super-coherent answer set programs 52
Chain Answer Sets for Logic Programs with Generalized Atoms 52
A Hybrid Approach to Optimization in Answer Set Programming 51
Complexity of super-coherence problems in ASP 50
Complexity of Super-Coherence Problems in Answer Set Programming 49
Magic Sets for Disjunctive Datalog Programs 49
A Trajectory Calculus for Qualitative Spatial Reasoning Using Answer Set Programming 49
Cautious reasoning in ASP via minimal models and unsatisfiable cores 48
Comparing alternative solutions for unfounded set propagation in ASP 47
Complexity and compilation of GZ-aggregates in answer set programming 47
Fuzzy answer set computation via satisfiability modulo theories 46
Declarative specification of benchmark sessions via ASP 46
Rewriting recursive aggregates in answer set programming: back to monotonicity 46
The Fourth Answer Set Programming Competition: Preliminary Report 46
Enhancing Magic Sets with an Application to Ontological Reasoning 46
On the implementation of weak constraints in WASP 45
Reduct-based Stability Check Using Literal Assumptions 45
Optimum stable model search: algorithms and implementation 45
Translating NP-SPEC into ASP 44
Answer set programming in healthcare: Extended overview 44
Query Answering in Propositional Circumscription 43
Preference Relations by Approximation 43
Team-building with Answer Set Programming in the Gioia-Tauro Seaport 42
Complexity of Super-Coherence Problems in ASP 42
Dynamic Magic Sets for Programs with Monotone Recursive Aggregates 42
Disjunctive ASP with Functions: Decidable Queries and Effective Computation 41
Stable Model Semantics of Abstract Dialectical Frameworks Revisited: A Logic Programming Perspective 40
The Birth of a WASP: Preliminary Report on a New ASP Solver 40
Unsatisfiable core shrinking for anytime answer set optimization 40
Argumentation Reasoning via Circumscription with Pyglaf 40
Query Answering over Disjunctive Datalog with Existential Quantifiers 39
Well-Founded Semantics for Logic Programs with Aggregates: Implementation and Experimentation 39
On the Properties of GZ-Aggregates in Answer Set Programming 38
Function Symbols in ASP: Overview and Perspectives 38
The Complexity Boundary of Answer Set Programming with Generalized Atoms under the FLP Semantics 38
JWASP: A New Java-Based {ASP} Solver 37
From Non-Convex Aggregates to Monotone Aggregates in ASP 37
Minimal undefinedness for fuzzy answer sets 37
Optimization problems in answer set programming 37
Magic-Sets for Datalog with Existential Quantifiers 37
Dynamic Magic Sets for Super-Consistent Answer Set Programs 36
Inconsistency Proofs for ASP: The ASP-DRUPE Format 36
Preliminary Report on WASP 2.0 35
WASP: A native ASP solver based on constraint learning 35
Properties of answer set programming with convex generalized atoms 35
The HiLeX System for Semantic Information Extraction 35
Data Validation Meets Answer Set Programming 35
Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search 34
Default Negation for Non-Guarded Existential Rules 33
Evaluating Answer Set Programming with Non-Convex Recursive Aggregates 32
Aggregate Semantics for Propositional Answer Set Programs 32
On the integration of CP-nets in ASPRIN 31
Semantics and Compilation of Answer Set Programming with Generalized Atoms 30
Solving NP-SPEC domains using ASP 30
Dynamic Magic Sets for Disjunctive Datalog Programs 30
The pyglaf argumentation reasoner 29
Supportedly Stable Answer Sets for Logic Programs with Generalized Atoms 28
The ingredients of the argumentation reasoner pyglaf: Python, circumscription, and glucose to taste 26
Answer set programming with composed predicate names 23
A Generalised approach for encoding and reasoning with qualitative theories in answer set programming 23
Enumeration of Minimal Models and MUSes in WASP 21
A speech about generative datalog and non-measurable sets 21
An Application of ASP for Procedural Content Generation in Video Games 20
ASP and subset minimality: Enumeration, cautious reasoning and MUSes 20
ValAsp: A Tool for Data Validation in Answer Set Programming 11
Modal Logic S5 in Answer Set Programming with Lazy Creation of Worlds 9
Totale 4.707
Salva come PNG Salva come JPEG
Categoria #
all - tutte 25.592
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 25.592
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019141 0 0 0 0 0 28 4 2 8 1 98 0
2019/2020867 74 71 39 92 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.326 147 148 18 128 202 100 20 244 142 28 74 75
2023/2024297 57 45 88 43 60 4 0 0 0 0 0 0
Totale 4.743