IRIS
FABER, WOLFGANG
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.962
EU - Europa 2.551
AS - Asia 2.266
SA - Sud America 296
AF - Africa 261
OC - Oceania 9
Continente sconosciuto - Info sul continente non disponibili 6
Totale 9.351
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.833
SG - Singapore 1.266
UA - Ucraina 1.009
DE - Germania 721
CN - Cina 581
SE - Svezia 344
BR - Brasile 265
SN - Senegal 241
TR - Turchia 187
IT - Italia 137
CA - Canada 111
AT - Austria 109
FI - Finlandia 88
HK - Hong Kong 64
IN - India 39
GB - Regno Unito 35
KR - Corea 30
RU - Federazione Russa 28
CZ - Repubblica Ceca 17
IQ - Iraq 17
FR - Francia 12
BD - Bangladesh 11
SA - Arabia Saudita 11
AU - Australia 9
IR - Iran 9
NL - Olanda 9
JP - Giappone 8
ZA - Sudafrica 8
AR - Argentina 7
MX - Messico 7
PL - Polonia 7
VN - Vietnam 7
ES - Italia 6
EU - Europa 6
UZ - Uzbekistan 6
AZ - Azerbaigian 5
BE - Belgio 5
EC - Ecuador 5
JO - Giordania 5
CO - Colombia 4
HU - Ungheria 4
JM - Giamaica 4
KE - Kenya 4
PE - Perù 4
PK - Pakistan 4
CL - Cile 3
EG - Egitto 3
GR - Grecia 3
IE - Irlanda 3
PT - Portogallo 3
VE - Venezuela 3
AE - Emirati Arabi Uniti 2
AL - Albania 2
AM - Armenia 2
BO - Bolivia 2
DZ - Algeria 2
IL - Israele 2
KZ - Kazakistan 2
RO - Romania 2
TT - Trinidad e Tobago 2
AF - Afghanistan, Repubblica islamica di 1
BB - Barbados 1
BY - Bielorussia 1
CH - Svizzera 1
CI - Costa d'Avorio 1
DM - Dominica 1
DO - Repubblica Dominicana 1
ET - Etiopia 1
FK - Isole Falkland (Malvinas) 1
GE - Georgia 1
GT - Guatemala 1
GY - Guiana 1
HN - Honduras 1
ID - Indonesia 1
KG - Kirghizistan 1
KH - Cambogia 1
LA - Repubblica Popolare Democratica del Laos 1
LK - Sri Lanka 1
LT - Lituania 1
LU - Lussemburgo 1
LV - Lettonia 1
MA - Marocco 1
OM - Oman 1
PY - Paraguay 1
RS - Serbia 1
SK - Slovacchia (Repubblica Slovacca) 1
Totale 9.351
Salva come PNG Salva come JPEG
Città #
Jacksonville 722
Chandler 423
Singapore 402
Dearborn 377
Boardman 317
Dakar 241
San Mateo 225
Izmir 163
Roxbury 146
Lawrence 145
Beijing 143
Shanghai 114
Cambridge 106
Bremen 105
Vienna 95
Des Moines 91
Ashburn 88
Helsinki 87
Grafing 78
Ottawa 77
Brooklyn 73
Hefei 66
Ann Arbor 65
New York 65
Inglewood 58
Hong Kong 52
Wilmington 50
Rende 40
Ogden 37
Munich 34
Seoul 30
Los Angeles 29
Guangzhou 26
Columbus 21
San Francisco 20
São Paulo 19
Seattle 18
Council Bluffs 16
Toronto 16
The Dalles 15
Falls Church 13
Jinan 13
Florence 12
Norwalk 12
Dallas 11
Montreal 11
Nanjing 11
Pune 11
Olomouc 10
Santa Clara 10
Nuremberg 9
Rio de Janeiro 9
Catania 8
Tokyo 8
Belo Horizonte 7
Brasília 7
Catanzaro 7
Falkenstein 7
Rome 7
Washington 7
Ardabil 6
Baghdad 6
Brno 6
Chicago 6
Haikou 6
Mumbai 6
Secaucus 6
Shenzhen 6
Tashkent 6
Warsaw 6
Wuhan 6
Baku 5
Boston 5
Brussels 5
Canberra 5
Dhaka 5
Hebei 5
Ningbo 5
Riyadh 5
Shenyang 5
Stockholm 5
Amman 4
Ankara 4
Charlotte 4
Fortaleza 4
Frankfurt am Main 4
Fremont 4
Guarulhos 4
Hangzhou 4
Hanoi 4
Johannesburg 4
Kunming 4
Lanzhou 4
Manchester 4
Milan 4
Nairobi 4
Nanchang 4
Reggio Calabria 4
Zhengzhou 4
Atlanta 3
Totale 5.276
Salva come PNG Salva come JPEG
Nome #
A Backjumping Technique for Disjunctive Logic Programming 133
The ASP System DLV: Advancements and Applications 130
DLV: An Advanced System for Knowledge Representation and Reasoning 125
A Backjumping Technique for Disjunctive Logic Programming 124
Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLV 116
Algorithm Selection for Paracoherent Answer Set Computation 116
A Logic Programming Approach to Knowledge-State Planning: Semantics and Complexity 111
DLV - Declarative Problem Solving Using Answer Set Programming 110
The DLV System 107
Boosting Information Integration: The INFOMIX System 106
Aggregate Functions in DLV 105
The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track 104
Aggregates in Answer Set Programming 103
A Comparison of Heuristics for Answer Set Programming 101
Design and Implementation of Aggregate Functions in the DLV System 100
A Logic Programming Approach to Knowledge-State Planning, II: the DLVK System 100
Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues 100
On Look-Ahead Heuristics in Disjunctive Logic Programming 98
Answer Set Planning under Action Costs 98
A Logic-Based Approach to Finding Explanations for Discrepancies in Optimistic Plan Execution 97
System Description: DLV with Aggregates 97
7th International Conference on Web Reasoning and Rule Systems, RR 2013; Mannheim; Germany; 27 July 2013 through 29 July 2013 94
Answer set programming for qualitative spatio-temporal reasoning: Methods and experiments 91
Pruning Operators for Disjunctive Logic Programming Systems 91
Answer Set Planning under Action Costs 91
System Description: DLV 90
Declarative and Computational Properties of Logic Programs with Aggregates 89
Answer Set Programming 88
A Tool for Benchmarking Command-line Systems 86
A Polynomial Reduction from ASPDA to ASP 85
Disjunctive ASP with Functions: Decidable Queries and Effective Computation 82
New DLV Features for Data Integration 81
Answer Set Programming 80
Introduction to the special issue on the 25th annual GULP conference 79
Abstract preference frameworks – a unifying perspective on separability and strong equivalence 77
Disjunctive Logic Programs with Inheritance 77
Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates 77
The Disjunctive Datalog System DLV 77
Reasoning web: Semantic Interoperability on the web 77
Effectively Solving NP-SPEC Encodings by Translation to ASP 76
The Diagnosis Front-End of the DLV System 76
Magic Sets and their Application to Data Integration 75
Well-Founded Semantics for Logic Programs with Aggregates: Implementation and Experimentation 75
The DLV System for Knowledge Representation and Reasoning 74
Chain Answer Sets for Logic Programs with Generalized Atoms 74
Dynamic Magic Sets and super-coherent answer set programs 73
Magic Sets for Disjunctive Datalog Programs 73
Solving Hard Problems for the Second Level of the Polynomial Hierarchy: Heuristics and Benchmarks 72
Semantics and Complexity of Recursive Aggregates in Answer Set Programming 72
Boolean Functions with Ordered Domains in Answer Set Programming 72
Pruning Operators for Answer Set Programming Systems 71
Data Integration: a Challenging ASP Application 69
Computing Preferred Answer Sets by Meta-Interpretation in Answer Set Programming 68
System description: The DLV K planning system 68
Rewriting recursive aggregates in answer set programming: back to monotonicity 68
Complexity of super-coherence problems in ASP 66
Magic Sets and their Application to Data Integration 64
Complexity of Super-Coherence Problems in Answer Set Programming 64
The Birth of a WASP: Preliminary Report on a New ASP Solver 62
Strong Order Equivalence 62
Look-back Techniques for ASP Programs with Aggregates 60
Computing Preferred and Weakly Preferred Answer Sets by Meta-Interpretation in Answer Set Programming 59
Declarative Problem-Solving Using the DLV System 59
Function Symbols in ASP: Overview and Perspectives 59
Aggregate Semantics for Propositional Answer Set Programs 59
Strong Equivalence of Qualitative Optimization Problems 58
Stable Model Semantics of Abstract Dialectical Frameworks Revisited: A Logic Programming Perspective 58
Query Answering over Disjunctive Datalog with Existential Quantifiers 58
Efficient Evaluation of Disjunctive Datalog Queries with Aggregate Functions 58
Complexity of Super-Coherence Problems in ASP 58
Normal Form Nested Programs 57
Plan Reversals for Recovery in Execution Monitoring 56
Complexity of Answer Set Checking and Bounded Predicate Arities for Non-ground Answer Set Programming 56
Experimenting with Heuristics for Answer Set Programming 56
Logic Programming and Nonmonotonic Reasoning --- 11th International Conference, LPNMR 2011, Vancouver, Canada, May 2011, Proceedings 55
Enhancing the Magic-Set Method for Disjunctive Datalog Programs 55
The Relationship between Reasoning about Privacy and Default Logics 54
The DLVk Planning System 54
Optimizing the Computation of Heuristics for Answer Set Programming Systems 54
Heuristics for Hard ASP Programs 54
Dynamic Magic Sets for Super-Consistent Answer Set Programs 54
The INFOMIX System for Advanced Integration of Incomplete and Inconsistent Data 54
Planning Under Incomplete Knowledge 53
WASP: A native ASP solver based on constraint learning 53
nfn2dlp and nfnsolve: Normal Form Nested Programs Compiler and Solver 53
Pushing Goal Derivation in DLP Computations 53
Properties of answer set programming with convex generalized atoms 53
The Complexity Boundary of Answer Set Programming with Generalized Atoms under the FLP Semantics 53
Manifold Answer-Set Programs and Their Applications 52
nfn2dlp: A compiler for normal form nested programs 52
Report on the Dagstuhl Seminar on Nonmonotonic Reasoning, Answer Set Programming and Constraints 52
Supportedly Stable Answer Sets for Logic Programs with Generalized Atoms 51
Looking Back in DLV: Experiments and Comparison to QBF Solvers 51
From Non-Convex Aggregates to Monotone Aggregates in ASP 51
Solving Hard ASP Programs Efficiently 51
Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity 50
What should an ASP Solver output? A Multiple Position Paper 49
Look-Back Techniques and Heuristics in DLV: Implementation, Evaluation and Comparison to QBF Solvers 49
The DLV Project: A Tour from Theory and Research to Applications and Market 49
Declarative Planning and Knowledge Representation in an Action Language 48
Totale 7.435
Salva come PNG Salva come JPEG
Categoria #
all - tutte 66.607
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 66.607
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20211.134 170 3 144 157 4 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/2026886 886 0 0 0 0 0 0 0 0 0 0 0
Totale 9.447