IRIS
FABER, WOLFGANG
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.370
AS - Asia 4.746
EU - Europa 2.985
SA - Sud America 1.563
AF - Africa 400
OC - Oceania 13
Continente sconosciuto - Info sul continente non disponibili 6
Totale 15.083
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.112
SG - Singapore 1.900
BR - Brasile 1.141
UA - Ucraina 1.032
CN - Cina 917
VN - Vietnam 827
DE - Germania 736
SE - Svezia 347
SN - Senegal 245
IT - Italia 217
TR - Turchia 210
FR - Francia 195
KR - Corea 156
AR - Argentina 143
BD - Bangladesh 131
CA - Canada 123
AT - Austria 118
IN - India 102
HK - Hong Kong 98
FI - Finlandia 93
EC - Ecuador 85
IQ - Iraq 77
MX - Messico 67
CO - Colombia 60
RU - Federazione Russa 60
ID - Indonesia 54
ZA - Sudafrica 52
GB - Regno Unito 51
PK - Pakistan 41
VE - Venezuela 40
CL - Cile 31
UZ - Uzbekistan 24
SA - Arabia Saudita 23
MY - Malesia 22
PY - Paraguay 22
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
JM - Giamaica 13
JP - Giappone 13
DZ - Algeria 12
JO - Giordania 12
NP - Nepal 12
KE - Kenya 11
AE - Emirati Arabi Uniti 10
CR - Costa Rica 10
DO - Repubblica Dominicana 10
AZ - Azerbaigian 9
IL - Israele 9
IR - Iran 9
KZ - Kazakistan 9
BG - Bulgaria 8
BO - Bolivia 8
OM - Oman 8
BE - Belgio 7
HN - Honduras 7
KG - Kirghizistan 7
PA - Panama 7
BY - Bielorussia 6
ET - Etiopia 6
EU - Europa 6
GE - Georgia 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 15.054
Salva come PNG Salva come JPEG
Città #
Jacksonville 722
Singapore 698
Chandler 423
Dearborn 377
San Jose 320
Boardman 318
Ho Chi Minh City 300
Dallas 283
Ashburn 277
Dakar 244
Council Bluffs 241
San Mateo 225
Beijing 218
Hanoi 177
Izmir 164
Seoul 154
Roxbury 146
Lawrence 145
Lauterbourg 129
Shanghai 115
Cambridge 106
Bremen 105
Vienna 98
Des Moines 94
New York 94
Helsinki 91
São Paulo 87
Hefei 85
Hong Kong 85
Grafing 78
Ottawa 77
Brooklyn 76
Ann Arbor 65
Inglewood 58
Wilmington 50
Los Angeles 47
Da Nang 45
Rende 40
Haiphong 39
Rio de Janeiro 38
Santa Clara 38
Columbus 37
Ogden 37
Munich 34
Quito 30
Brasília 29
Guangzhou 29
Guayaquil 26
Curitiba 24
Hải Dương 24
Baghdad 22
San Francisco 22
Tianjin 22
Belo Horizonte 21
Rome 21
Biên Hòa 20
Porto Alegre 19
Tashkent 19
Johannesburg 18
Seattle 18
Toronto 18
Caracas 17
Dhaka 15
Frankfurt am Main 15
The Dalles 15
Erbil 14
Florence 14
Warsaw 14
Buenos Aires 13
Falls Church 13
Guarulhos 13
Jinan 13
Lahore 13
Cape Town 12
Fortaleza 12
Montevideo 12
Montreal 12
Nanjing 12
Norwalk 12
Pune 12
Amman 11
Bắc Ninh 11
Chicago 11
Medellín 11
Mexico City 11
Nairobi 11
Nuremberg 11
Orem 11
Santiago 11
Tokyo 11
Kuala Lumpur 10
London 10
Mumbai 10
Nha Trang 10
Olomouc 10
Osasco 10
Salvador 10
Baku 9
Campinas 9
Catania 9
Totale 8.122
Salva come PNG Salva come JPEG
Nome #
A Backjumping Technique for Disjunctive Logic Programming 207
A Backjumping Technique for Disjunctive Logic Programming 204
DLV: An Advanced System for Knowledge Representation and Reasoning 192
Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues 191
The DLV System 186
The ASP System DLV: Advancements and Applications 178
Algorithm Selection for Paracoherent Answer Set Computation 170
A Logic Programming Approach to Knowledge-State Planning: Semantics and Complexity 160
Design and Implementation of Aggregate Functions in the DLV System 156
Aggregates in Answer Set Programming 155
A Comparison of Heuristics for Answer Set Programming 154
Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLV 154
New DLV Features for Data Integration 153
DLV - Declarative Problem Solving Using Answer Set Programming 152
A Logic Programming Approach to Knowledge-State Planning, II: the DLVK System 152
Aggregate Functions in DLV 151
The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track 147
Boosting Information Integration: The INFOMIX System 146
Declarative and Computational Properties of Logic Programs with Aggregates 146
A Logic-Based Approach to Finding Explanations for Discrepancies in Optimistic Plan Execution 144
Answer Set Planning under Action Costs 143
Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates 142
System Description: DLV with Aggregates 141
Pruning Operators for Disjunctive Logic Programming Systems 139
Answer Set Planning under Action Costs 136
On Look-Ahead Heuristics in Disjunctive Logic Programming 135
Answer set programming for qualitative spatio-temporal reasoning: Methods and experiments 134
The DLV System for Knowledge Representation and Reasoning 134
The Diagnosis Front-End of the DLV System 131
7th International Conference on Web Reasoning and Rule Systems, RR 2013; Mannheim; Germany; 27 July 2013 through 29 July 2013 128
Well-Founded Semantics for Logic Programs with Aggregates: Implementation and Experimentation 127
Answer Set Programming 127
System Description: DLV 126
Chain Answer Sets for Logic Programs with Generalized Atoms 126
A Tool for Benchmarking Command-line Systems 125
Disjunctive Logic Programs with Inheritance 124
WASP: A native ASP solver based on constraint learning 124
Magic Sets and their Application to Data Integration 122
Abstract preference frameworks – a unifying perspective on separability and strong equivalence 122
Answer Set Programming 121
A Polynomial Reduction from ASPDA to ASP 120
Disjunctive ASP with Functions: Decidable Queries and Effective Computation 118
The Disjunctive Datalog System DLV 117
The Birth of a WASP: Preliminary Report on a New ASP Solver 116
Complexity of Super-Coherence Problems in Answer Set Programming 114
Semantics and Complexity of Recursive Aggregates in Answer Set Programming 113
Magic Sets for Disjunctive Datalog Programs 112
Aggregate Semantics for Propositional Answer Set Programs 112
Complexity of super-coherence problems in ASP 109
Query Answering over Disjunctive Datalog with Existential Quantifiers 109
Pruning Operators for Answer Set Programming Systems 109
Reasoning web: Semantic Interoperability on the web 109
Function Symbols in ASP: Overview and Perspectives 106
Properties of answer set programming with convex generalized atoms 105
Magic Sets and their Application to Data Integration 103
Declarative Problem-Solving Using the DLV System 103
Pushing Goal Derivation in DLP Computations 103
Introduction to the special issue on the 25th annual GULP conference 101
System description: The DLV K planning system 100
Effectively Solving NP-SPEC Encodings by Translation to ASP 99
nfn2dlp and nfnsolve: Normal Form Nested Programs Compiler and Solver 99
Solving Hard Problems for the Second Level of the Polynomial Hierarchy: Heuristics and Benchmarks 98
Backjumping and Look- back Heuristics for Disjunctive Logic Programming with Aggregates 98
Experimenting with Heuristics for Answer Set Programming 98
Dynamic Magic Sets and super-coherent answer set programs 98
Dynamic Magic Sets for Super-Consistent Answer Set Programs 96
Data Integration: a Challenging ASP Application 96
Complexity of Answer Set Checking and Bounded Predicate Arities for Non-ground Answer Set Programming 95
Planning Under Incomplete Knowledge 95
Evaluating Backjumping for Disjunctive Logic Programming 95
Solving Hard ASP Programs Efficiently 94
Boolean Functions with Ordered Domains in Answer Set Programming 93
Reasoning Web. Web Logic Rules 11th International Summer School 2015, Berlin, Germany, July 31- August 4, 2015, Tutorial Lectures. 93
Efficient Evaluation of Disjunctive Datalog Queries with Aggregate Functions 93
Normal Form Nested Programs 93
From Non-Convex Aggregates to Monotone Aggregates in ASP 92
Heuristics for Hard ASP Programs 92
Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity 92
Optimizing the Computation of Heuristics for Answer Set Programming Systems 91
Implementation and Evaluation of Look-Back Techniques and Heuristics in DLV 91
Enhancing the Magic-Set Method for Disjunctive Datalog Programs 91
Externally supported models for efficient computation of paracoherent answer sets 90
Stable Model Semantics of Abstract Dialectical Frameworks Revisited: A Logic Programming Perspective 90
Rewriting recursive aggregates in answer set programming: back to monotonicity 90
The Relationship between Reasoning about Privacy and Default Logics 88
Look-Back Techniques and Heuristics in DLV: Implementation, Evaluation and Comparison to QBF Solvers 88
The DLVk Planning System: Progress Report 87
The DLVk Planning System 87
Plan Reversals for Recovery in Execution Monitoring 86
Computing Preferred Answer Sets by Meta-Interpretation in Answer Set Programming 85
Looking Back in DLV: Experiments and Comparison to QBF Solvers 85
Unfounded Sets for Disjunctive Logic Programs with Arbitrary Aggregates 85
Complexity of Super-Coherence Problems in ASP 85
Computing Preferred and Weakly Preferred Answer Sets by Meta-Interpretation in Answer Set Programming 84
What should an ASP Solver output? A Multiple Position Paper 83
The DLV Project: A Tour from Theory and Research to Applications and Market 82
Strong Order Equivalence 82
The Complexity Boundary of Answer Set Programming with Generalized Atoms under the FLP Semantics 82
Strong Equivalence of Qualitative Optimization Problems 81
Declarative Planning and Knowledge Representation in an Action Language 81
Totale 11.687
Salva come PNG Salva come JPEG
Categoria #
all - tutte 86.362
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 86.362
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021141 0 0 0 0 0 0 0 0 0 0 0 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.618 905 248 679 882 1.181 327 652 325 381 523 265 250
Totale 15.179