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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020976 0 0 0 0 0 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/2024774 71 33 77 30 39 120 32 28 75 45 30 194
2024/2025854 96 357 62 76 190 73 0 0 0 0 0 0
Totale 7.511