W
Wolfgang Faber
Researcher at Alpen-Adria-Universität Klagenfurt
Publications - 158
Citations - 6153
Wolfgang Faber is an academic researcher from Alpen-Adria-Universität Klagenfurt. The author has contributed to research in topics: Answer set programming & Stable model semantics. The author has an hindex of 36, co-authored 158 publications receiving 5881 citations. Previous affiliations of Wolfgang Faber include University of Calabar & University of Calabria.
Papers
More filters
Journal ArticleDOI
The DLV system for knowledge representation and reasoning
Nicola Leone,Gerald Pfeifer,Wolfgang Faber,Thomas Eiter,Georg Gottlob,Simona Perri,Francesco Scarcello +6 more
TL;DR: The experimental results confirm the solidity of DLV and highlight its potential for emerging application areas like knowledge management and information integration, and the main international projects investigating the potential of the system for industrial exploitation are described.
Journal ArticleDOI
Semantics and complexity of recursive aggregates in answer set programming
TL;DR: This paper defines a semantics for programs with arbitrary aggregates in the full ASP language allowing also for disjunction in the head (disjunctive logic programming - DLP), and proves that this semantics guarantees the minimality (and therefore the incomparability) of answer sets, and demonstrates that it coincides with the standard answer set semantics on aggregate-free programs.
Book ChapterDOI
Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity
TL;DR: The addition of aggregates has been one of the most relevant enhancements to the language of answer set programming (ASP) and many of them do not satisfy desirable criteria, such as minimality or coincidence with answer sets in the aggregate-free case.
Journal ArticleDOI
ASP-Core-2 Input Language Format
Francesco Calimeri,Wolfgang Faber,Martin Gebser,Giovambattista Ianni,Roland Kaminski,Thomas Krennwallner,Nicola Leone,Marco Maratea,Francesco Ricca,Torsten Schaub +9 more
TL;DR: The ASP-CORE-2 standard input language for Answer Set Programming, which has been adopted in ASP Competition events since 2013, is presented.