IRIS
FABER, WOLFGANG
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.607
EU - Europa 2.375
AS - Asia 828
AF - Africa 241
SA - Sud America 17
OC - Oceania 9
Continente sconosciuto - Info sul continente non disponibili 6
Totale 7.083
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.515
UA - Ucraina 1.005
DE - Germania 673
CN - Cina 391
SE - Svezia 340
SN - Senegal 240
TR - Turchia 175
SG - Singapore 154
IT - Italia 123
AT - Austria 103
CA - Canada 91
FI - Finlandia 53
KR - Corea 30
IN - India 27
HK - Hong Kong 22
GB - Regno Unito 20
CZ - Repubblica Ceca 17
FR - Francia 12
AU - Australia 9
IR - Iran 8
BR - Brasile 6
EU - Europa 6
NL - Olanda 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
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.083
Salva come PNG Salva come JPEG
Città #
Jacksonville 721
Chandler 423
Dearborn 377
Boardman 317
Dakar 240
San Mateo 225
Izmir 163
Roxbury 146
Lawrence 145
Shanghai 111
Cambridge 106
Bremen 105
Vienna 92
Des Moines 91
Singapore 80
Grafing 78
Ottawa 76
Ashburn 69
Brooklyn 66
Ann Arbor 65
Beijing 60
Inglewood 58
New York 57
Helsinki 53
Wilmington 50
Rende 39
Ogden 37
Seoul 30
Guangzhou 20
Seattle 17
San Francisco 15
Toronto 14
Falls Church 13
Florence 12
Jinan 12
Munich 12
Norwalk 12
Nanjing 11
Pune 11
Hong Kong 10
Olomouc 10
Los Angeles 9
Catania 8
Hefei 7
Washington 7
Ardabil 6
Brno 6
Haikou 6
Rome 6
Wuhan 6
Brussels 5
Canberra 5
Hebei 5
Ningbo 5
Shenyang 5
Shenzhen 5
Catanzaro 4
Fremont 4
Hangzhou 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
Frankfurt am Main 3
Fuzhou 3
Jinhua 3
Kilburn 3
Kunming 3
Lima 3
Lisbon 3
Milan 3
Mumbai 3
Redmond 3
Redwood City 3
Serra San Bruno 3
Tappahannock 3
Tianjin 3
Tokyo 3
Udine 3
Baku 2
Basildon 2
Berlin 2
Castrolibero 2
Changsha 2
Charlotte 2
Dublin 2
Jiaxing 2
Jiujiang 2
Karachi 2
Leawood 2
London 2
Mascalucia 2
Melbourne 2
Totale 4.468
Salva come PNG Salva come JPEG
Nome #
The ASP System DLV: Advancements and Applications 106
DLV: An Advanced System for Knowledge Representation and Reasoning 102
A Backjumping Technique for Disjunctive Logic Programming 97
A Backjumping Technique for Disjunctive Logic Programming 96
Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLV 90
Algorithm Selection for Paracoherent Answer Set Computation 85
DLV - Declarative Problem Solving Using Answer Set Programming 83
On Look-Ahead Heuristics in Disjunctive Logic Programming 81
Aggregate Functions in DLV 81
The DLV System 80
Boosting Information Integration: The INFOMIX System 77
System Description: DLV with Aggregates 77
Aggregates in Answer Set Programming 77
A Comparison of Heuristics for Answer Set Programming 76
A Logic Programming Approach to Knowledge-State Planning: Semantics and Complexity 76
A Logic Programming Approach to Knowledge-State Planning, II: the DLVK System 76
Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues 76
A Logic-Based Approach to Finding Explanations for Discrepancies in Optimistic Plan Execution 75
The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track 74
Answer Set Planning under Action Costs 71
System Description: DLV 69
Answer Set Planning under Action Costs 69
Design and Implementation of Aggregate Functions in the DLV System 68
Declarative and Computational Properties of Logic Programs with Aggregates 68
7th International Conference on Web Reasoning and Rule Systems, RR 2013; Mannheim; Germany; 27 July 2013 through 29 July 2013 68
Answer set programming for qualitative spatio-temporal reasoning: Methods and experiments 67
Answer Set Programming 67
Pruning Operators for Disjunctive Logic Programming Systems 67
Reasoning web: Semantic Interoperability on the web 66
A Tool for Benchmarking Command-line Systems 66
Introduction to the special issue on the 25th annual GULP conference 65
A Polynomial Reduction from ASPDA to ASP 63
The Disjunctive Datalog System DLV 62
Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates 61
Effectively Solving NP-SPEC Encodings by Translation to ASP 60
Boolean Functions with Ordered Domains in Answer Set Programming 60
Dynamic Magic Sets and super-coherent answer set programs 60
Chain Answer Sets for Logic Programs with Generalized Atoms 60
Solving Hard Problems for the Second Level of the Polynomial Hierarchy: Heuristics and Benchmarks 59
The DLV System for Knowledge Representation and Reasoning 59
Disjunctive Logic Programs with Inheritance 58
Answer Set Programming 58
The Diagnosis Front-End of the DLV System 57
New DLV Features for Data Integration 57
Abstract preference frameworks – a unifying perspective on separability and strong equivalence 56
Magic Sets for Disjunctive Datalog Programs 56
Magic Sets and their Application to Data Integration 55
Complexity of super-coherence problems in ASP 55
Complexity of Super-Coherence Problems in Answer Set Programming 55
Computing Preferred Answer Sets by Meta-Interpretation in Answer Set Programming 54
Data Integration: a Challenging ASP Application 53
Semantics and Complexity of Recursive Aggregates in Answer Set Programming 52
System description: The DLV K planning system 52
Rewriting recursive aggregates in answer set programming: back to monotonicity 52
Pruning Operators for Answer Set Programming Systems 51
Look-back Techniques for ASP Programs with Aggregates 48
Magic Sets and their Application to Data Integration 48
Complexity of Super-Coherence Problems in ASP 48
Strong Order Equivalence 48
The Birth of a WASP: Preliminary Report on a New ASP Solver 47
Function Symbols in ASP: Overview and Perspectives 47
Computing Preferred and Weakly Preferred Answer Sets by Meta-Interpretation in Answer Set Programming 46
Disjunctive ASP with Functions: Decidable Queries and Effective Computation 46
Efficient Evaluation of Disjunctive Datalog Queries with Aggregate Functions 45
Stable Model Semantics of Abstract Dialectical Frameworks Revisited: A Logic Programming Perspective 44
Well-Founded Semantics for Logic Programs with Aggregates: Implementation and Experimentation 44
Optimizing the Computation of Heuristics for Answer Set Programming Systems 44
Normal Form Nested Programs 44
Complexity of Answer Set Checking and Bounded Predicate Arities for Non-ground Answer Set Programming 43
Experimenting with Heuristics for Answer Set Programming 43
From Non-Convex Aggregates to Monotone Aggregates in ASP 43
Heuristics for Hard ASP Programs 43
The Complexity Boundary of Answer Set Programming with Generalized Atoms under the FLP Semantics 43
Query Answering over Disjunctive Datalog with Existential Quantifiers 42
The DLVk Planning System 42
Planning Under Incomplete Knowledge 42
Declarative Problem-Solving Using the DLV System 42
Dynamic Magic Sets for Super-Consistent Answer Set Programs 42
The INFOMIX System for Advanced Integration of Incomplete and Inconsistent Data 42
Strong Equivalence of Qualitative Optimization Problems 41
Report on the Dagstuhl Seminar on Nonmonotonic Reasoning, Answer Set Programming and Constraints 41
Pushing Goal Derivation in DLP Computations 41
Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity 41
Enhancing the Magic-Set Method for Disjunctive Datalog Programs 41
Plan Reversals for Recovery in Execution Monitoring 40
What should an ASP Solver output? A Multiple Position Paper 40
Solving Problems on the Second Level of the Polynomial Hierarchy 40
Implementation and Evaluation of Look-Back Techniques and Heuristics in DLV 40
nfn2dlp and nfnsolve: Normal Form Nested Programs Compiler and Solver 40
Properties of answer set programming with convex generalized atoms 40
The Relationship between Reasoning about Privacy and Default Logics 39
Improving Query Optimization for Disjunctive Datalog 39
nfn2dlp: A compiler for normal form nested programs 39
Solving Hard ASP Programs Efficiently 39
WASP: A native ASP solver based on constraint learning 39
Declarative Planning and Knowledge Representation in an Action Language 38
Manifold Answer-Set Programs and Their Applications 38
Looking Back in DLV: Experiments and Comparison to QBF Solvers 38
Logic Programming and Nonmonotonic Reasoning --- 11th International Conference, LPNMR 2011, Vancouver, Canada, May 2011, Proceedings 38
Evaluating Backjumping for Disjunctive Logic Programming 38
Totale 5.657
Salva come PNG Salva come JPEG
Categoria #
all - tutte 49.422
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 49.422
Salva come PNG Salva come JPEG


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