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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021329 0 0 0 0 0 0 0 0 0 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/20266.058 905 248 679 882 1.181 327 652 325 381 478 0 0
Totale 14.619