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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.509 0 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.659 905 248 679 882 1.181 327 652 325 381 523 265 291
2026/2027448 354 94 0 0 0 0 0 0 0 0 0 0
Totale 15.668