IRIS
FABER, WOLFGANG
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 6.471
AS - Asia 4.804
EU - Europa 3.310
SA - Sud America 1.591
AF - Africa 400
Continente sconosciuto - Info sul continente non disponibili 110
OC - Oceania 14
Totale 16.700
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.114
SG - Singapore 1.900
BR - Brasile 1.155
UA - Ucraina 1.033
CN - Cina 933
VN - Vietnam 833
DE - Germania 739
IT - Italia 521
SE - Svezia 347
SN - Senegal 245
TR - Turchia 210
FR - Francia 196
KR - Corea 156
CA - Canada 154
BD - Bangladesh 149
AR - Argentina 144
AT - Austria 118
IN - India 106
HK - Hong Kong 101
FI - Finlandia 93
EC - Ecuador 88
IQ - Iraq 77
MX - Messico 68
CO - Colombia 67
RU - Federazione Russa 61
GB - Regno Unito 56
ID - Indonesia 55
ZA - Sudafrica 52
PK - Pakistan 42
VE - Venezuela 41
CL - Cile 32
MY - Malesia 25
UZ - Uzbekistan 24
SA - Arabia Saudita 23
PY - Paraguay 22
PH - Filippine 21
MA - Marocco 20
CZ - Repubblica Ceca 19
JM - Giamaica 19
ES - Italia 18
PL - Polonia 18
CR - Costa Rica 17
EG - Egitto 17
PE - Perù 16
TN - Tunisia 16
JP - Giappone 15
TT - Trinidad e Tobago 15
UY - Uruguay 15
AU - Australia 14
NL - Olanda 14
SV - El Salvador 14
DZ - Algeria 12
JO - Giordania 12
NP - Nepal 12
AE - Emirati Arabi Uniti 11
KE - Kenya 11
NI - Nicaragua 11
DO - Repubblica Dominicana 10
HN - Honduras 10
AZ - Azerbaigian 9
BO - Bolivia 9
GP - Guadalupe 9
GT - Guatemala 9
IL - Israele 9
IR - Iran 9
KZ - Kazakistan 9
BG - Bulgaria 8
CW - ???statistics.table.value.countryCode.CW??? 8
OM - Oman 8
PR - Porto Rico 8
BE - Belgio 7
KG - Kirghizistan 7
PA - Panama 7
RO - Romania 7
AL - Albania 6
BY - Bielorussia 6
ET - Etiopia 6
EU - Europa 6
GE - Georgia 6
PT - Portogallo 6
RS - Serbia 6
AO - Angola 5
LB - Libano 5
AM - Armenia 4
CH - Svizzera 4
GR - Grecia 4
HU - Ungheria 4
KW - Kuwait 4
LT - Lituania 4
PS - Palestinian Territory 4
CG - Congo 3
CI - Costa d'Avorio 3
IE - Irlanda 3
MN - Mongolia 3
QA - Qatar 3
TW - Taiwan 3
BA - Bosnia-Erzegovina 2
BB - Barbados 2
CY - Cipro 2
HR - Croazia 2
Totale 16.566
Salva come PNG Salva come JPEG
Città #
Jacksonville 723
Singapore 698
Council Bluffs 574
Ashburn 522
Chandler 423
San Jose 402
Dearborn 377
Boardman 318
Ho Chi Minh City 301
Dallas 300
Dakar 244
San Mateo 225
Beijing 221
Hanoi 179
Izmir 164
Seoul 154
Roxbury 146
Lawrence 145
Lauterbourg 129
Shanghai 115
New York 108
Cambridge 106
Bremen 105
Milan 98
Vienna 98
Des Moines 94
São Paulo 92
Helsinki 91
Hong Kong 87
Hefei 85
Brooklyn 79
Grafing 78
Ottawa 77
Staranzano 76
Ann Arbor 65
Inglewood 58
Los Angeles 55
Santa Clara 55
Wilmington 50
Da Nang 46
Haiphong 40
Rende 40
Columbus 39
Rio de Janeiro 38
Ogden 37
Chicago 35
Munich 34
Rome 33
Quito 31
Brasília 30
Guangzhou 29
Guayaquil 27
Miano 27
Phoenix 26
San Francisco 25
Toronto 25
Curitiba 24
Hải Dương 24
Baghdad 22
Tianjin 22
Belo Horizonte 21
Biên Hòa 20
Porto Alegre 19
Seattle 19
Tashkent 19
Florence 18
Johannesburg 18
Caracas 17
Atlanta 16
Frankfurt am Main 16
Dhaka 15
Montreal 15
The Dalles 15
Erbil 14
Lahore 14
Mumbai 14
Warsaw 14
Buenos Aires 13
Falls Church 13
Guarulhos 13
Jinan 13
Kingston 13
San José 13
Tokyo 13
Cape Town 12
Fortaleza 12
Medellín 12
Montevideo 12
Nanjing 12
Norwalk 12
Orem 12
Pune 12
San Salvador 12
Santiago 12
Washington 12
Amman 11
Bắc Ninh 11
Charlotte 11
London 11
Mexico City 11
Totale 9.133
Salva come PNG Salva come JPEG
Nome #
A Backjumping Technique for Disjunctive Logic Programming 232
A Backjumping Technique for Disjunctive Logic Programming 224
DLV: An Advanced System for Knowledge Representation and Reasoning 214
Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues 211
The DLV System 201
The ASP System DLV: Advancements and Applications 191
New DLV Features for Data Integration 182
Algorithm Selection for Paracoherent Answer Set Computation 180
Design and Implementation of Aggregate Functions in the DLV System 179
DLV - Declarative Problem Solving Using Answer Set Programming 172
A Logic Programming Approach to Knowledge-State Planning: Semantics and Complexity 172
A Logic Programming Approach to Knowledge-State Planning, II: the DLVK System 166
The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track 166
Aggregates in Answer Set Programming 165
Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLV 164
A Comparison of Heuristics for Answer Set Programming 163
Aggregate Functions in DLV 160
Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates 159
Pruning Operators for Disjunctive Logic Programming Systems 158
The DLV System for Knowledge Representation and Reasoning 156
Declarative and Computational Properties of Logic Programs with Aggregates 155
A Logic-Based Approach to Finding Explanations for Discrepancies in Optimistic Plan Execution 154
Answer Set Planning under Action Costs 153
Boosting Information Integration: The INFOMIX System 152
System Description: DLV with Aggregates 150
On Look-Ahead Heuristics in Disjunctive Logic Programming 148
Answer Set Planning under Action Costs 147
A Tool for Benchmarking Command-line Systems 146
Answer set programming for qualitative spatio-temporal reasoning: Methods and experiments 144
Chain Answer Sets for Logic Programs with Generalized Atoms 144
Disjunctive Logic Programs with Inheritance 143
The Diagnosis Front-End of the DLV System 143
WASP: A native ASP solver based on constraint learning 142
Magic Sets and their Application to Data Integration 139
Well-Founded Semantics for Logic Programs with Aggregates: Implementation and Experimentation 137
7th International Conference on Web Reasoning and Rule Systems, RR 2013; Mannheim; Germany; 27 July 2013 through 29 July 2013 136
Answer Set Programming 135
System Description: DLV 133
Disjunctive ASP with Functions: Decidable Queries and Effective Computation 132
A Polynomial Reduction from ASPDA to ASP 130
Magic Sets for Disjunctive Datalog Programs 130
Abstract preference frameworks – a unifying perspective on separability and strong equivalence 129
The Disjunctive Datalog System DLV 129
Answer Set Programming 128
Magic Sets and their Application to Data Integration 127
The Birth of a WASP: Preliminary Report on a New ASP Solver 127
Semantics and Complexity of Recursive Aggregates in Answer Set Programming 125
Aggregate Semantics for Propositional Answer Set Programs 125
Complexity of Super-Coherence Problems in Answer Set Programming 122
Function Symbols in ASP: Overview and Perspectives 121
Complexity of super-coherence problems in ASP 119
Query Answering over Disjunctive Datalog with Existential Quantifiers 118
Pruning Operators for Answer Set Programming Systems 118
Evaluating Backjumping for Disjunctive Logic Programming 117
Reasoning web: Semantic Interoperability on the web 116
nfn2dlp and nfnsolve: Normal Form Nested Programs Compiler and Solver 115
Declarative Problem-Solving Using the DLV System 112
Pushing Goal Derivation in DLP Computations 112
Introduction to the special issue on the 25th annual GULP conference 111
Backjumping and Look- back Heuristics for Disjunctive Logic Programming with Aggregates 111
Properties of answer set programming with convex generalized atoms 111
Effectively Solving NP-SPEC Encodings by Translation to ASP 110
Data Integration: a Challenging ASP Application 109
Look-Back Techniques and Heuristics in DLV: Implementation, Evaluation and Comparison to QBF Solvers 108
System description: The DLV K planning system 107
Dynamic Magic Sets and super-coherent answer set programs 107
Solving Hard Problems for the Second Level of the Polynomial Hierarchy: Heuristics and Benchmarks 106
Experimenting with Heuristics for Answer Set Programming 106
Normal Form Nested Programs 105
Complexity of Answer Set Checking and Bounded Predicate Arities for Non-ground Answer Set Programming 103
Planning Under Incomplete Knowledge 103
Solving Hard ASP Programs Efficiently 103
Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity 103
Dynamic Magic Sets for Super-Consistent Answer Set Programs 103
Boolean Functions with Ordered Domains in Answer Set Programming 102
Efficient Evaluation of Disjunctive Datalog Queries with Aggregate Functions 102
Optimizing the Computation of Heuristics for Answer Set Programming Systems 101
Heuristics for Hard ASP Programs 101
From Non-Convex Aggregates to Monotone Aggregates in ASP 100
Enhancing the Magic-Set Method for Disjunctive Datalog Programs 100
Externally supported models for efficient computation of paracoherent answer sets 99
The Relationship between Reasoning about Privacy and Default Logics 99
Implementation and Evaluation of Look-Back Techniques and Heuristics in DLV 99
Reasoning Web. Web Logic Rules 11th International Summer School 2015, Berlin, Germany, July 31- August 4, 2015, Tutorial Lectures. 99
Stable Model Semantics of Abstract Dialectical Frameworks Revisited: A Logic Programming Perspective 98
Rewriting recursive aggregates in answer set programming: back to monotonicity 98
Computing Preferred Answer Sets by Meta-Interpretation in Answer Set Programming 96
The DLVk Planning System: Progress Report 96
The DLVk Planning System 95
Computing Preferred and Weakly Preferred Answer Sets by Meta-Interpretation in Answer Set Programming 93
Looking Back in DLV: Experiments and Comparison to QBF Solvers 93
Unfounded Sets for Disjunctive Logic Programs with Arbitrary Aggregates 93
The Complexity Boundary of Answer Set Programming with Generalized Atoms under the FLP Semantics 93
Plan Reversals for Recovery in Execution Monitoring 92
What should an ASP Solver output? A Multiple Position Paper 92
The DLV Project: A Tour from Theory and Research to Applications and Market 92
Strong Equivalence of Qualitative Optimization Problems 90
The Intelligent Grounder of DLV 90
Complexity of Super-Coherence Problems in ASP 90
The INFOMIX System for Advanced Integration of Incomplete and Inconsistent Data 90
Totale 12.867
Salva come PNG Salva come JPEG
Categoria #
all - tutte 93.162
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 93.162
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.381 0 0 0 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/20266.659 905 248 679 882 1.181 327 652 325 381 523 265 291
2026/20271.480 354 102 362 662 0 0 0 0 0 0 0 0
Totale 16.700