IRIS
FABER, WOLFGANG
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.260
EU - Europa 2.327
AS - Asia 477
AF - Africa 241
SA - Sud America 12
OC - Oceania 9
Continente sconosciuto - Info sul continente non disponibili 6
Totale 6.332
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.169
UA - Ucraina 1.004
DE - Germania 659
SE - Svezia 339
SN - Senegal 240
CN - Cina 197
TR - Turchia 175
IT - Italia 123
AT - Austria 102
CA - Canada 90
FI - Finlandia 52
KR - Corea 30
IN - India 26
HK - Hong Kong 21
GB - Regno Unito 19
FR - Francia 10
AU - Australia 9
IR - Iran 8
SG - Singapore 8
EU - Europa 6
NL - Olanda 5
SA - Arabia Saudita 4
BR - Brasile 3
GR - Grecia 3
JP - Giappone 3
AR - Argentina 2
BE - Belgio 2
CL - Cile 2
HU - Ungheria 2
IE - Irlanda 2
PE - Perù 2
AL - Albania 1
BD - Bangladesh 1
BO - Bolivia 1
DO - Repubblica Dominicana 1
EC - Ecuador 1
ES - Italia 1
FK - Isole Falkland (Malvinas) 1
ID - Indonesia 1
JO - Giordania 1
KH - Cambogia 1
LA - Repubblica Popolare Democratica del Laos 1
LU - Lussemburgo 1
RO - Romania 1
RS - Serbia 1
ZA - Sudafrica 1
Totale 6.332
Salva come PNG Salva come JPEG
Città #
Jacksonville 721
Chandler 423
Dearborn 377
Dakar 240
San Mateo 225
Izmir 163
Roxbury 146
Lawrence 145
Cambridge 106
Bremen 105
Vienna 92
Des Moines 91
Grafing 78
Ottawa 76
Brooklyn 66
Ann Arbor 65
Ashburn 65
Inglewood 58
New York 57
Helsinki 52
Wilmington 50
Beijing 49
Shanghai 48
Rende 39
Ogden 37
Seoul 30
Boardman 18
Seattle 17
San Francisco 15
Falls Church 13
Toronto 13
Florence 12
Jinan 12
Norwalk 12
Nanjing 11
Pune 11
Hong Kong 10
Catania 8
Hefei 7
Washington 7
Ardabil 6
Guangzhou 6
Haikou 6
Rome 6
Canberra 5
Hebei 5
Shenyang 5
Catanzaro 4
Fremont 4
Lanzhou 4
Nanchang 4
Ningbo 4
Reggio Calabria 4
Riyadh 4
Zhengzhou 4
Augusta 3
Bari 3
Cirò Marina 3
Kilburn 3
Kunming 3
Los Angeles 3
Milan 3
Redmond 3
Redwood City 3
Serra San Bruno 3
Tappahannock 3
Tianjin 3
Tokyo 3
Udine 3
Basildon 2
Berlin 2
Brussels 2
Castrolibero 2
Changsha 2
Charlotte 2
Chongqing 2
Dublin 2
Leawood 2
Lima 2
Mascalucia 2
Melbourne 2
Messina 2
Montegiordano 2
Mountain View 2
Mumbai 2
Portland 2
Sabz 2
Sydney 2
São Paulo 2
Taizhou 2
Trento 2
Woodbridge 2
Alezio 1
Amsterdam 1
Andover 1
Athens 1
Bangalore 1
Belgrade 1
Bruneck 1
Budapest 1
Totale 3.937
Salva come PNG Salva come JPEG
Nome #
The ASP System DLV: Advancements and Applications 100
DLV: An Advanced System for Knowledge Representation and Reasoning 92
A Backjumping Technique for Disjunctive Logic Programming 89
Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLV 86
A Backjumping Technique for Disjunctive Logic Programming 83
On Look-Ahead Heuristics in Disjunctive Logic Programming 76
DLV - Declarative Problem Solving Using Answer Set Programming 76
Aggregate Functions in DLV 75
The DLV System 75
Algorithm Selection for Paracoherent Answer Set Computation 75
Aggregates in Answer Set Programming 72
System Description: DLV with Aggregates 71
A Comparison of Heuristics for Answer Set Programming 70
Boosting Information Integration: The INFOMIX System 68
Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues 68
A Logic Programming Approach to Knowledge-State Planning: Semantics and Complexity 67
The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track 67
A Logic-Based Approach to Finding Explanations for Discrepancies in Optimistic Plan Execution 66
Answer Set Planning under Action Costs 66
A Logic Programming Approach to Knowledge-State Planning, II: the DLVK System 66
Answer Set Programming 64
System Description: DLV 64
Answer set programming for qualitative spatio-temporal reasoning: Methods and experiments 63
Introduction to the special issue on the 25th annual GULP conference 62
Design and Implementation of Aggregate Functions in the DLV System 62
Reasoning web: Semantic Interoperability on the web 62
A Tool for Benchmarking Command-line Systems 62
Pruning Operators for Disjunctive Logic Programming Systems 62
Answer Set Planning under Action Costs 62
A Polynomial Reduction from ASPDA to ASP 59
Declarative and Computational Properties of Logic Programs with Aggregates 59
7th International Conference on Web Reasoning and Rule Systems, RR 2013; Mannheim; Germany; 27 July 2013 through 29 July 2013 59
Effectively Solving NP-SPEC Encodings by Translation to ASP 57
Boolean Functions with Ordered Domains in Answer Set Programming 56
The Disjunctive Datalog System DLV 56
Dynamic Magic Sets and super-coherent answer set programs 55
Solving Hard Problems for the Second Level of the Polynomial Hierarchy: Heuristics and Benchmarks 54
Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates 54
Answer Set Programming 54
Chain Answer Sets for Logic Programs with Generalized Atoms 53
Abstract preference frameworks – a unifying perspective on separability and strong equivalence 52
Disjunctive Logic Programs with Inheritance 51
The Diagnosis Front-End of the DLV System 51
The DLV System for Knowledge Representation and Reasoning 51
New DLV Features for Data Integration 51
Complexity of super-coherence problems in ASP 50
Computing Preferred Answer Sets by Meta-Interpretation in Answer Set Programming 50
Complexity of Super-Coherence Problems in Answer Set Programming 50
Magic Sets for Disjunctive Datalog Programs 50
Magic Sets and their Application to Data Integration 49
Data Integration: a Challenging ASP Application 49
Semantics and Complexity of Recursive Aggregates in Answer Set Programming 48
Pruning Operators for Answer Set Programming Systems 47
System description: The DLV K planning system 47
Rewriting recursive aggregates in answer set programming: back to monotonicity 47
Strong Order Equivalence 45
Look-back Techniques for ASP Programs with Aggregates 44
Magic Sets and their Application to Data Integration 43
Complexity of Super-Coherence Problems in ASP 43
Disjunctive ASP with Functions: Decidable Queries and Effective Computation 42
Computing Preferred and Weakly Preferred Answer Sets by Meta-Interpretation in Answer Set Programming 40
Stable Model Semantics of Abstract Dialectical Frameworks Revisited: A Logic Programming Perspective 40
The Birth of a WASP: Preliminary Report on a New ASP Solver 40
Optimizing the Computation of Heuristics for Answer Set Programming Systems 40
Efficient Evaluation of Disjunctive Datalog Queries with Aggregate Functions 40
Function Symbols in ASP: Overview and Perspectives 40
Query Answering over Disjunctive Datalog with Existential Quantifiers 39
Complexity of Answer Set Checking and Bounded Predicate Arities for Non-ground Answer Set Programming 39
Well-Founded Semantics for Logic Programs with Aggregates: Implementation and Experimentation 39
Experimenting with Heuristics for Answer Set Programming 39
From Non-Convex Aggregates to Monotone Aggregates in ASP 38
Heuristics for Hard ASP Programs 38
Declarative Problem-Solving Using the DLV System 38
The Complexity Boundary of Answer Set Programming with Generalized Atoms under the FLP Semantics 38
Strong Equivalence of Qualitative Optimization Problems 37
The DLVk Planning System 37
Planning Under Incomplete Knowledge 37
Solving Problems on the Second Level of the Polynomial Hierarchy 37
Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity 37
Dynamic Magic Sets for Super-Consistent Answer Set Programs 37
Report on the Dagstuhl Seminar on Nonmonotonic Reasoning, Answer Set Programming and Constraints 36
Implementation and Evaluation of Look-Back Techniques and Heuristics in DLV 36
Solving Hard ASP Programs Efficiently 36
nfn2dlp and nfnsolve: Normal Form Nested Programs Compiler and Solver 36
Pushing Goal Derivation in DLP Computations 36
Enhancing the Magic-Set Method for Disjunctive Datalog Programs 36
The INFOMIX System for Advanced Integration of Incomplete and Inconsistent Data 36
Plan Reversals for Recovery in Execution Monitoring 35
Declarative Planning and Knowledge Representation in an Action Language 35
What should an ASP Solver output? A Multiple Position Paper 35
nfn2dlp: A compiler for normal form nested programs 35
The DLVk Planning System: Progress Report 35
WASP: A native ASP solver based on constraint learning 35
Properties of answer set programming with convex generalized atoms 35
The Relationship between Reasoning about Privacy and Default Logics 34
Manifold Answer-Set Programs and Their Applications 34
Improving Query Optimization for Disjunctive Datalog 34
Logic Programming and Nonmonotonic Reasoning --- 11th International Conference, LPNMR 2011, Vancouver, Canada, May 2011, Proceedings 34
Looking Back in DLV: Experiments and Comparison to QBF Solvers 33
Strong Equivalence for Logic Programs with Preferences 33
Totale 5.116
Salva come PNG Salva come JPEG
Categoria #
all - tutte 39.096
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 39.096
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019168 0 0 0 0 0 0 0 0 0 0 167 1
2019/20201.518 151 145 2 152 92 373 148 167 22 25 153 88
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/2024543 71 33 77 30 39 120 32 28 75 38 0 0
Totale 6.426