Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Wolfgang Faber

Aggregate Semantics for Propositional Answer Set Programs


Sep 17, 2021
Mario Alviano, Wolfgang Faber, Martin Gebser

* Under consideration in Theory and Practice of Logic Programming (TPLP) 

  Access Paper or Ask Questions

Thirty years of Epistemic Specifications


Aug 17, 2021
Jorge Fandinno, Wolfgang Faber, Michael Gelfond

* Under consideration in Theory and Practice of Logic Programming (TPLP) 

  Access Paper or Ask Questions

Determining ActionReversibility in STRIPS Using Answer Set and Epistemic Logic Programming


Aug 11, 2021
Wolfgang Faber, Michael Morak, Lukáš Chrpa

* Paper presented at the 37th International Conference on Logic Programming (ICLP 2021), 16 pages 

  Access Paper or Ask Questions

ASP-Core-2 Input Language Format


Nov 11, 2019
Francesco Calimeri, Wolfgang Faber, Martin Gebser, Giovambattista Ianni, Roland Kaminski, Thomas Krennwallner, Nicola Leone, Marco Maratea, Francesco Ricca, Torsten Schaub


  Access Paper or Ask Questions

On Uniform Equivalence of Epistemic Logic Programs


Jul 25, 2019
Wolfgang Faber, Michael Morak, Stefan Woltran

* Accepted for publication and presentation at the 35th International Conference of Logic Programming, ICLP 2019, in Las Cruces, New Mexico, USA 

  Access Paper or Ask Questions

On the Computation of Paracoherent Answer Sets


Jul 21, 2017
Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Nicola Leone, Francesco Ricca


  Access Paper or Ask Questions

Solving Set Optimization Problems by Cardinality Optimization via Weak Constraints with an Application to Argumentation


Dec 22, 2016
Wolfgang Faber, Mauro Vallati, Federico Cerutti, Massimiliano Giacomin

* Informal proceedings of the 1st Workshop on Trends and Applications of Answer Set Programming (TAASP 2016), Klagenfurt, Austria, 26 September 2016 

  Access Paper or Ask Questions

Rewriting recursive aggregates in answer set programming: back to monotonicity


Jul 14, 2015
Mario Alviano, Wolfgang Faber, Martin Gebser

* Theory and Practice of Logic Programming 15 (2015) 559-573 

  Access Paper or Ask Questions

Efficient Computation of the Well-Founded Semantics over Big Data


May 11, 2014
Ilias Tachmazidis, Grigoris Antoniou, Wolfgang Faber

* 16 pages, 4 figures, ICLP 2014, 30th International Conference on Logic Programming July 19-22, Vienna, Austria 

  Access Paper or Ask Questions

Semantics and Compilation of Answer Set Programming with Generalized Atoms


May 06, 2014
Mario Alviano, Wolfgang Faber

* The paper appears in the Proceedings of the 15th International Workshop on Non-Monotonic Reasoning (NMR 2014) 

  Access Paper or Ask Questions

Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates


Jan 18, 2014
Mario Alviano, Francesco Calimeri, Wolfgang Faber, Nicola Leone, Simona Perri

* Journal Of Artificial Intelligence Research, Volume 42, pages 487-527, 2011 

  Access Paper or Ask Questions

Properties of Answer Set Programming with Convex Generalized Atoms


Dec 20, 2013
Mario Alviano, Wolfgang Faber

* Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2013), 6th International Workshop, August 25, 2013, Istanbul, Turkey 

  Access Paper or Ask Questions

Translating NP-SPEC into ASP


Jan 08, 2013
Mario Alviano, Wolfgang Faber

* Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), 5th International Workshop, September 4, 2012, Budapest, Hungary 

  Access Paper or Ask Questions

Disjunctive Datalog with Existential Quantifiers: Semantics, Decidability, and Complexity Issues


Oct 08, 2012
Mario Alviano, Wolfgang Faber, Nicola Leone, Marco Manna

* Theory and Practice of Logic Programming 12 (4-5): 701-718, 2012 
* 18 pages, 1 figure, 1 table, 1 procedure, presented at ICLP 2012 

  Access Paper or Ask Questions

Magic Sets for Disjunctive Datalog Programs


Apr 27, 2012
Mario Alviano, Wolfgang Faber, Gianluigi Greco, Nicola Leone

* 67 pages, 19 figures, preprint submitted to Artificial Intelligence 

  Access Paper or Ask Questions

Strong Equivalence of Qualitative Optimization Problems


Dec 04, 2011
Wolfgang Faber, Mirosław Truszczyński, Stefan Woltran


  Access Paper or Ask Questions

Design and Implementation of Aggregate Functions in the DLV System


Feb 21, 2008
Wolfgang Faber, Gerald Pfeifer, Nicola Leone, Tina Dell'Armi, Giuseppe Ielpa

* 34 pages, 7 figures. This article has been accepted for publication in Theory and Practice of Logic Programming, Cambridge University Press 

  Access Paper or Ask Questions

The DLV System for Knowledge Representation and Reasoning


Sep 10, 2003
Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello

* ACM Transactions on Computational Logic 7(3):499-562, 2006 
* 56 pages, 9 figures, 6 tables 

  Access Paper or Ask Questions

Computing Preferred Answer Sets by Meta-Interpretation in Answer Set Programming


Jan 16, 2002
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer

* Theory and Practice of Logic Programming 3(4/5):463-498, 2003 
* 34 pages, appeared as a Technical Report at KBS of the Vienna University of Technology, see http://www.kr.tuwien.ac.at/research/reports/ 

  Access Paper or Ask Questions

A Logic Programming Approach to Knowledge-State Planning: Semantics and Complexity


Dec 05, 2001
Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres

* Artificial Intelligence 144:157-211, 2003 
* 48 pages, appeared as a Technical Report at KBS of the Vienna University of Technology, see http://www.kr.tuwien.ac.at/research/reports/ 

  Access Paper or Ask Questions

Disjunctive Logic Programs with Inheritance


Jun 28, 2001
Francesco Buccafurri, Wolfgang Faber, Nicola Leone

* Theory and Practice of Logic Programming 2(3):293-321, 2002 
* 28 pages; will be published in Theory and Practice of Logic Programming 

  Access Paper or Ask Questions

DLV - A System for Declarative Problem Solving


Mar 08, 2000
Thomas Eiter, Wolfgang Faber, Christoph Koch, Nicola Leone, Gerald Pfeifer

* 6 pages, 1 figure, 1 table 

  Access Paper or Ask Questions