
ASPCore2 Input Language Format
Standardization of solver input languages has been a main driver for the...
read it

On Uniform Equivalence of Epistemic Logic Programs
Epistemic Logic Programs (ELPs) extend Answer Set Programming (ASP) with...
read it

Strong Equivalence for Epistemic Logic Programs Made Easy (Extended Version)
Epistemic Logic Programs (ELPs), that is, Answer Set Programming (ASP) e...
read it

On the Computation of Paracoherent Answer Sets
Answer Set Programming (ASP) is a wellestablished formalism for nonmono...
read it

Solving Set Optimization Problems by Cardinality Optimization via Weak Constraints with an Application to Argumentation
Optimization  minimization or maximization  in the lattice of subsets ...
read it

Efficient Computation of the WellFounded Semantics over Big Data
Data originating from the Web, sensor readings and social media result i...
read it

Semantics and Compilation of Answer Set Programming with Generalized Atoms
Answer Set Programming (ASP) is logic programming under the stable model...
read it

Unfounded Sets and WellFounded Semantics of Answer Set Programs with Aggregates
Logic programs with aggregates (LPA) are one of the major linguistic ext...
read it

Properties of Answer Set Programming with Convex Generalized Atoms
In recent years, Answer Set Programming (ASP), logic programming under t...
read it

Translating NPSPEC into ASP
NPSPEC is a language for specifying problems in NP in a declarative way...
read it

Disjunctive Datalog with Existential Quantifiers: Semantics, Decidability, and Complexity Issues
Datalog is one of the bestknown rulebased languages, and extensions of...
read it

Magic Sets for Disjunctive Datalog Programs
In this paper, a new technique for the optimization of (partially) bound...
read it

Strong Equivalence of Qualitative Optimization Problems
We introduce the framework of qualitative optimization problems (or, sim...
read it

The DLV System for Knowledge Representation and Reasoning
This paper presents the DLV system, which is widely considered the state...
read it

DLV  A System for Declarative Problem Solving
DLV is an efficient logic programming and nonmonotonic reasoning (LPNMR...
read it
Wolfgang Faber
is this you? claim profile
Professor of Artificial Intelligence at University of Huddersfield since 2014, Associate Professor at University of Calabria since 2006, Reader at University of Huddersfield from 20132014, Postdoc at Austrian Academy of Sciences 20042006, Assistant Professor at Technische Universität Wien from 19992006