IRIS
FABER, WOLFGANG
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.416
AS - Asia 3.870
EU - Europa 2.670
SA - Sud America 1.280
AF - Africa 319
OC - Oceania 9
Continente sconosciuto - Info sul continente non disponibili 6
Totale 12.570
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.211
SG - Singapore 1.782
UA - Ucraina 1.023
BR - Brasile 967
CN - Cina 815
DE - Germania 728
VN - Vietnam 529
SE - Svezia 346
SN - Senegal 242
TR - Turchia 188
KR - Corea 154
IT - Italia 153
AR - Argentina 122
CA - Canada 114
AT - Austria 113
FI - Finlandia 90
HK - Hong Kong 85
EC - Ecuador 58
IN - India 51
RU - Federazione Russa 51
IQ - Iraq 49
MX - Messico 49
BD - Bangladesh 47
CO - Colombia 43
GB - Regno Unito 41
ID - Indonesia 41
FR - Francia 31
ZA - Sudafrica 29
VE - Venezuela 22
CL - Cile 19
PY - Paraguay 19
CZ - Repubblica Ceca 18
PK - Pakistan 17
UZ - Uzbekistan 16
SA - Arabia Saudita 13
PL - Polonia 12
UY - Uruguay 12
EG - Egitto 11
NL - Olanda 11
PE - Perù 11
JP - Giappone 10
AU - Australia 9
IR - Iran 9
DO - Repubblica Dominicana 8
JO - Giordania 7
TN - Tunisia 7
AZ - Azerbaigian 6
ES - Italia 6
EU - Europa 6
JM - Giamaica 6
KE - Kenya 6
MA - Marocco 6
BE - Belgio 5
BG - Bulgaria 5
BO - Bolivia 5
CR - Costa Rica 5
DZ - Algeria 5
IL - Israele 5
KZ - Kazakistan 5
OM - Oman 5
PA - Panama 5
TT - Trinidad e Tobago 5
AE - Emirati Arabi Uniti 4
AL - Albania 4
AM - Armenia 4
GT - Guatemala 4
HU - Ungheria 4
KG - Kirghizistan 4
MY - Malesia 4
NP - Nepal 4
RS - Serbia 4
AO - Angola 3
CI - Costa d'Avorio 3
ET - Etiopia 3
GR - Grecia 3
HN - Honduras 3
IE - Irlanda 3
KW - Kuwait 3
LT - Lituania 3
PS - Palestinian Territory 3
PT - Portogallo 3
RO - Romania 3
SV - El Salvador 3
BA - Bosnia-Erzegovina 2
CG - Congo 2
CH - Svizzera 2
LB - Libano 2
AF - Afghanistan, Repubblica islamica di 1
BB - Barbados 1
BH - Bahrain 1
BY - Bielorussia 1
CD - Congo 1
DM - Dominica 1
FK - Isole Falkland (Malvinas) 1
GE - Georgia 1
GY - Guiana 1
KH - Cambogia 1
LA - Repubblica Popolare Democratica del Laos 1
LK - Sri Lanka 1
LU - Lussemburgo 1
Totale 12.562
Salva come PNG Salva come JPEG
Città #
Jacksonville 722
Singapore 602
Chandler 423
Dearborn 377
Boardman 318
Dallas 278
Dakar 242
San Mateo 225
Beijing 213
Ho Chi Minh City 197
Izmir 163
Seoul 154
Roxbury 146
Lawrence 145
Ashburn 135
Hanoi 123
Shanghai 114
Cambridge 106
Bremen 105
Vienna 98
Des Moines 94
Helsinki 88
Hefei 85
Grafing 78
Ottawa 77
Brooklyn 76
Hong Kong 73
New York 68
São Paulo 68
Ann Arbor 65
Inglewood 58
Wilmington 50
Rende 40
Ogden 37
Los Angeles 36
Munich 34
Rio de Janeiro 31
Guangzhou 26
Brasília 23
Haiphong 23
Columbus 21
Da Nang 21
Guayaquil 21
San Francisco 21
Tianjin 21
Belo Horizonte 20
Curitiba 19
Quito 18
Seattle 18
Toronto 18
Council Bluffs 16
Hải Dương 16
Porto Alegre 16
The Dalles 15
Biên Hòa 14
Falls Church 13
Jinan 13
Santa Clara 13
Tashkent 13
Florence 12
Montreal 12
Nanjing 12
Norwalk 12
Baghdad 11
Fortaleza 11
Frankfurt am Main 11
Guarulhos 11
Pune 11
Rome 11
Buenos Aires 10
Dhaka 10
Erbil 10
Olomouc 10
Warsaw 10
Campinas 9
Jakarta 9
Johannesburg 9
Montevideo 9
Nuremberg 9
Tokyo 9
Bắc Ninh 8
Catania 8
Lima 8
Mexico City 8
Mumbai 8
Osasco 8
Recife 8
Salvador 8
Thái Bình 8
Cape Town 7
Caracas 7
Catanzaro 7
Chicago 7
Falkenstein 7
Ha Long 7
London 7
Ninh Bình 7
Secaucus 7
Shenzhen 7
Sorocaba 7
Totale 6.710
Salva come PNG Salva come JPEG
Nome #
A Backjumping Technique for Disjunctive Logic Programming 173
A Backjumping Technique for Disjunctive Logic Programming 168
DLV: An Advanced System for Knowledge Representation and Reasoning 159
The ASP System DLV: Advancements and Applications 157
Algorithm Selection for Paracoherent Answer Set Computation 142
A Logic Programming Approach to Knowledge-State Planning: Semantics and Complexity 138
A Comparison of Heuristics for Answer Set Programming 136
Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues 136
The DLV System 136
Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLV 135
Aggregates in Answer Set Programming 135
DLV - Declarative Problem Solving Using Answer Set Programming 132
Boosting Information Integration: The INFOMIX System 131
Design and Implementation of Aggregate Functions in the DLV System 130
Aggregate Functions in DLV 130
The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track 129
A Logic-Based Approach to Finding Explanations for Discrepancies in Optimistic Plan Execution 127
A Logic Programming Approach to Knowledge-State Planning, II: the DLVK System 127
System Description: DLV with Aggregates 125
Answer Set Planning under Action Costs 123
On Look-Ahead Heuristics in Disjunctive Logic Programming 121
Declarative and Computational Properties of Logic Programs with Aggregates 121
Answer Set Planning under Action Costs 118
Answer set programming for qualitative spatio-temporal reasoning: Methods and experiments 113
Pruning Operators for Disjunctive Logic Programming Systems 113
7th International Conference on Web Reasoning and Rule Systems, RR 2013; Mannheim; Germany; 27 July 2013 through 29 July 2013 112
Well-Founded Semantics for Logic Programs with Aggregates: Implementation and Experimentation 110
New DLV Features for Data Integration 110
Answer Set Programming 108
A Tool for Benchmarking Command-line Systems 108
Answer Set Programming 108
A Polynomial Reduction from ASPDA to ASP 106
Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates 105
System Description: DLV 103
Disjunctive Logic Programs with Inheritance 101
Abstract preference frameworks – a unifying perspective on separability and strong equivalence 100
Chain Answer Sets for Logic Programs with Generalized Atoms 99
The Birth of a WASP: Preliminary Report on a New ASP Solver 97
WASP: A native ASP solver based on constraint learning 97
Disjunctive ASP with Functions: Decidable Queries and Effective Computation 97
The Diagnosis Front-End of the DLV System 96
The DLV System for Knowledge Representation and Reasoning 96
The Disjunctive Datalog System DLV 95
Complexity of Super-Coherence Problems in Answer Set Programming 94
Semantics and Complexity of Recursive Aggregates in Answer Set Programming 92
Complexity of super-coherence problems in ASP 92
Query Answering over Disjunctive Datalog with Existential Quantifiers 92
Reasoning web: Semantic Interoperability on the web 92
Function Symbols in ASP: Overview and Perspectives 91
Magic Sets and their Application to Data Integration 90
Introduction to the special issue on the 25th annual GULP conference 90
Pruning Operators for Answer Set Programming Systems 90
Properties of answer set programming with convex generalized atoms 89
Aggregate Semantics for Propositional Answer Set Programs 89
Effectively Solving NP-SPEC Encodings by Translation to ASP 88
Declarative Problem-Solving Using the DLV System 88
Magic Sets for Disjunctive Datalog Programs 88
System description: The DLV K planning system 87
Pushing Goal Derivation in DLP Computations 87
Dynamic Magic Sets and super-coherent answer set programs 87
Boolean Functions with Ordered Domains in Answer Set Programming 85
Solving Hard Problems for the Second Level of the Polynomial Hierarchy: Heuristics and Benchmarks 83
Complexity of Answer Set Checking and Bounded Predicate Arities for Non-ground Answer Set Programming 83
Magic Sets and their Application to Data Integration 82
Solving Hard ASP Programs Efficiently 82
Stable Model Semantics of Abstract Dialectical Frameworks Revisited: A Logic Programming Perspective 81
nfn2dlp and nfnsolve: Normal Form Nested Programs Compiler and Solver 81
Heuristics for Hard ASP Programs 80
Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity 80
Experimenting with Heuristics for Answer Set Programming 79
From Non-Convex Aggregates to Monotone Aggregates in ASP 79
Evaluating Backjumping for Disjunctive Logic Programming 79
Computing Preferred Answer Sets by Meta-Interpretation in Answer Set Programming 78
Rewriting recursive aggregates in answer set programming: back to monotonicity 78
Dynamic Magic Sets for Super-Consistent Answer Set Programs 78
Optimizing the Computation of Heuristics for Answer Set Programming Systems 77
Efficient Evaluation of Disjunctive Datalog Queries with Aggregate Functions 77
Enhancing the Magic-Set Method for Disjunctive Datalog Programs 77
The DLVk Planning System 76
Complexity of Super-Coherence Problems in ASP 76
Reasoning Web. Web Logic Rules 11th International Summer School 2015, Berlin, Germany, July 31- August 4, 2015, Tutorial Lectures. 75
Data Integration: a Challenging ASP Application 75
What should an ASP Solver output? A Multiple Position Paper 74
Strong Equivalence of Qualitative Optimization Problems 73
The Relationship between Reasoning about Privacy and Default Logics 72
Looking Back in DLV: Experiments and Comparison to QBF Solvers 72
The DLVk Planning System: Progress Report 72
Strong Order Equivalence 72
The Complexity Boundary of Answer Set Programming with Generalized Atoms under the FLP Semantics 72
Normal Form Nested Programs 71
Look-back Techniques for ASP Programs with Aggregates 71
Declarative Planning and Knowledge Representation in an Action Language 70
Manifold Answer-Set Programs and Their Applications 70
Semantics and Compilation of Answer Set Programming with Generalized Atoms 70
nfn2dlp: A compiler for normal form nested programs 70
Computing Preferred and Weakly Preferred Answer Sets by Meta-Interpretation in Answer Set Programming 69
Plan Reversals for Recovery in Execution Monitoring 69
Implementation and Evaluation of Look-Back Techniques and Heuristics in DLV 69
The INFOMIX System for Advanced Integration of Incomplete and Inconsistent Data 69
Normal Form Nested Programs 69
Totale 9.744
Salva come PNG Salva come JPEG
Categoria #
all - tutte 78.565
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 78.565
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021656 0 0 0 0 0 161 9 151 6 158 30 141
2021/20221.517 8 127 1 165 145 88 26 275 11 24 247 400
2022/20231.310 179 155 6 103 232 126 2 251 144 33 49 30
2023/2024774 71 33 77 30 39 120 32 28 75 45 30 194
2024/20251.904 96 357 62 76 190 73 50 130 307 88 185 290
2025/20264.105 905 248 679 882 1.181 210 0 0 0 0 0 0
Totale 12.666