Faber, Wolfgang

19 publications

AAAI 2023 Evaluating Epistemic Logic Programs via Answer Set Programming with Quantifiers Wolfgang Faber, Michael Morak

AAAI 2019 Strong Equivalence for Epistemic Logic Programs Made Easy Wolfgang Faber, Michael Morak, Stefan Woltran

AAAI 2018 Externally Supported Models for Efficient Computation of Paracoherent Answer Sets Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Francesco Ricca

AAAI 2017 On the Computation of Paracoherent Answer Sets Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Nicola Leone, Francesco Ricca

AAAI 2016 Boolean Functions with Ordered Domains in Answer Set Programming Mario Alviano, Wolfgang Faber, Hannes Strass

IJCAI 2016 From Non-Convex Aggregates to Monotone Aggregates in ASP Mario Alviano, Wolfgang Faber, Martin Gebser

IJCAI 2015 Stable Model Semantics of Abstract Dialectical Frameworks Revisited: A Logic Programming Perspective Mario Alviano, Wolfgang Faber

AAAI 2013 Abstract Preference Frameworks - A Unifying Perspective on Separability and Strong Equivalence Wolfgang Faber, Miroslaw Truszczynski, Stefan Woltran

JAIR 2013 Strong Equivalence of Qualitative Optimization Problems Wolfgang Faber, Miroslaw Truszczynski, Stefan Woltran

JAIR 2011 Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates Mario Alviano, Francesco Calimeri, Wolfgang Faber, Nicola Leone, Simona Perri

AAAI 2010 Space Efficient Evaluation of ASP Programs with Bounded Predicate Arities Thomas Eiter, Wolfgang Faber, Mushthofa Mushthofa

AAAI 2008 Magic Sets for Data Integration Wolfgang Faber, Gianluigi Greco, Nicola Leone

IJCAI 2007 On Reversing Actions: Algorithms and Complexity Thomas Eiter, Esra Erdem, Wolfgang Faber

IJCAI 2005 Declarative and Computational Properties of Logic Programs with Aggregates Francesco Calimeri, Wolfgang Faber, Nicola Leone, Simona Perri

IJCAI 2005 Heuristics for Hard ASP Programs Wolfgang Faber, Nicola Leone, Francesco Ricca

IJCAI 2005 Strong Equivalence for Logic Programs with Preferences Wolfgang Faber, Kathrin Konczak

IJCAI 2003 Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLV Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Gerald Pfeifer

JAIR 2003 Answer Set Planning Under Action Costs Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres

IJCAI 2001 Experimenting with Heuristics for Answer Set Programming Wolfgang Faber, Nicola Leone, Gerald Pfeifer