| 2026 | SAC | Logic-based Languages For Solving Reversibility in Planning. | Wolfgang Faber, Michael Morak |
| 2025 | JELIA | Encoding Action Reversibility In Planning Using Quantified ASP and Bule. | Wolfgang Faber, Michael Morak |
| 2025 | KR | Non-deterministic Action Reversibility: Complexity Results. | Jakub Med, Michael Morak, Luks Chrpa, Wolfgang Faber |
| 2024 | ICAPS | Weak and Strong Reversibility of Non-deterministic Actions: Universality and Uniformity. | Jakub Med, Luks Chrpa, Michael Morak, Wolfgang Faber |
| 2024 | ICLP | Solving Argumentation Problems Using Answer Set Programming with Quantifiers: Preliminary Report. | Wolfgang Faber |
| 2023 | AAAI | Evaluating Epistemic Logic Programs via Answer Set Programming with Quantifiers. | Wolfgang Faber, Michael Morak |
| 2023 | PADL | Using Hybrid Knowledge Bases for Meta-reasoning over OWL 2 QL. | Haya Majid Qureshi, Wolfgang Faber |
| 2022 | LPNMR | Evaluating Epistemic Logic Programs via Answer Set Programming with Quantifiers. | Wolfgang Faber, Michael Morak |
| 2022 | PADL | Determining Action Reversibility in STRIPS Using Answer Set Programming with Quantifiers. | Wolfgang Faber, Michael Morak, Luks Chrpa |
| 2021 | KR | Universal and Uniform Action Reversibility. | Luks Chrpa, Wolfgang Faber, Michael Morak |
| 2020 | ICLP | Determining Action Reversibility in STRIPS Using Epistemic Logic Programs. | Wolfgang Faber, Michael Morak |
| 2020 | ICLP | Determining Action Reversibility in STRIPS Using Answer Set Programming. | Luks Chrpa, Wolfgang Faber, Daniel Fiser, Michael Morak |
| 2020 | KR | On the Reversibility of Actions in Planning. | Michael Morak, Luks Chrpa, Wolfgang Faber, Daniel Fiser |
| 2019 | AAAI | Strong Equivalence for Epistemic Logic Programs Made Easy. | Wolfgang Faber, Michael Morak, Stefan Woltran |
| 2019 | JELIA | Chain Answer Sets for Logic Programs with Generalized Atoms. | Mario Alviano, Wolfgang Faber |
| 2019 | JELIA | Algorithm Selection for Paracoherent Answer Set Computation. | Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Luca Pulina, Francesco Ricca |
| 2018 | AAAI | Externally Supported Models for Efficient Computation of Paracoherent Answer Sets. | Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Francesco Ricca |
| 2018 | COMMA | Enumerating Preferred Extensions Using ASP Domain Heuristics: The ASPrMin Solver. | Wolfgang Faber, Mauro Vallati, Federico Cerutti, Massimiliano Giacomin |
| 2018 | SMC | Automated Training Plan Generation for Athletes. | Toms Skerk, Luks Chrpa, Wolfgang Faber, Mauro Vallati |
| 2017 | AAAI | On the Computation of Paracoherent Answer Sets. | Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Nicola Leone, Francesco Ricca |
| 2016 | AAAI | Boolean Functions with Ordered Domains in Answer Set Programming. | Mario Alviano, Wolfgang Faber, Hannes Strass |
| 2016 | ECAI | Solving Set Optimization Problems by Cardinality Optimization with an Application to Argumentation. | Wolfgang Faber, Mauro Vallati, Federico Cerutti, Massimiliano Giacomin |
| 2016 | ICLP | Answer Set Programming for Qualitative Spatio-Temporal Reasoning: Methods and Experiments. | Christopher Brenton, Wolfgang Faber, Sotiris Batsakis |
| 2016 | IJCAI | From Non-Convex Aggregates to Monotone Aggregates in ASP. | Mario Alviano, Wolfgang Faber, Martin Gebser |
| 2015 | IJCAI | Stable Model Semantics of Abstract Dialectical Frameworks Revisited: A Logic Programming Perspective. | Mario Alviano, Wolfgang Faber |
| 2013 | AAAI | Abstract Preference Frameworks - a Unifying Perspective on Separability and Strong Equivalence. | Wolfgang Faber, Miroslaw Truszczynski, Stefan Woltran |
| 2013 | LPNMR | WASP: A Native ASP Solver Based on Constraint Learning. | Mario Alviano, Carmine Dodaro, Wolfgang Faber, Nicola Leone, Francesco Ricca |
| 2013 | LPNMR | The Complexity Boundary of Answer Set Programming with Generalized Atoms under the FLP Semantics. | Mario Alviano, Wolfgang Faber |
| 2012 | KR | Strong Equivalence of Qualitative Optimization Problems. | Wolfgang Faber, Miroslaw Truszczynski, Stefan Woltran |
| 2011 | LPNMR | The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track. | Francesco Calimeri, Giovambattista Ianni, Francesco Ricca, Mario Alviano, Annamaria Bria, Gelsomina Catalano, Susanna Cozza, Wolfgang Faber, Onofrio Febbraro, Nicola Leone, Marco Manna, Alessandra Martello, Claudio Panetta, Simona Perri, Kristian Reale, Maria Carmela Santoro, Marco Sirianni, Giorgio Terracina, Pierfrancesco Veltri |
| 2011 | LPNMR | Privacy Preservation Using Multi-Context Systems. | Wolfgang Faber |
| 2010 | AAAI | Space Efficient Evaluation of ASP Programs with Bounded Predicate Arities. | Thomas Eiter, Wolfgang Faber, Mushthofa Mushthofa |
| 2010 | CPAIOR | Well-Founded Semantics for Logic Programs with Aggregates: Implementation and Experimentation. | Mario Alviano, Wolfgang Faber, Nicola Leone |
| 2009 | LPNMR | nfn2dlp and nfnsolve: Normal Form Nested Programs Compiler and Solver. | Annamaria Bria, Wolfgang Faber, Nicola Leone |
| 2009 | LPNMR | Manifold Answer-Set Programs for Meta-reasoning. | Wolfgang Faber, Stefan Woltran |
| 2008 | AAAI | Magic Sets for Data Integration. | Wolfgang Faber, Gianluigi Greco, Nicola Leone |
| 2008 | ICLP | The DLV Project: A Tour from Theory and Research to Applications and Market. | Nicola Leone, Wolfgang Faber |
| 2008 | JELIA | Normal Form Nested Programs. | Annamaria Bria, Wolfgang Faber, Nicola Leone |
| 2008 | KR | Notions of Strong Equivalence for Logic Programs with Ordered Disjunction. | Wolfgang Faber, Hans Tompits, Stefan Woltran |
| 2007 | IJCAI | On Reversing Actions: Algorithms and Complexity. | Thomas Eiter, Esra Erdem, Wolfgang Faber |
| 2007 | LPNMR | On the Complexity of Answer Set Programming with Aggregates. | Wolfgang Faber, Nicola Leone |
| 2007 | LPNMR | Experimenting with Look-Back Heuristics for Hard ASP Programs. | Wolfgang Faber, Nicola Leone, Marco Maratea, Francesco Ricca |
| 2005 | ICDT | Magic Sets and Their Application to Data Integration. | Wolfgang Faber, Gianluigi Greco, Nicola Leone |
| 2005 | IJCAI | Declarative and Computational Properties of Logic Programs with Aggregates. | Francesco Calimeri, Wolfgang Faber, Nicola Leone, Simona Perri |
| 2005 | IJCAI | Strong Equivalence for Logic Programs with Preferences. | Wolfgang Faber, Kathrin Konczak |
| 2005 | IJCAI | Heuristics for Hard ASP Programs. | Wolfgang Faber, Nicola Leone, Francesco Ricca |
| 2005 | LPAR | The Relationship Between Reasoning About Privacy and Default Logics. | Jrgen Dix, Wolfgang Faber, V. S. Subrahmanian |
| 2005 | LPNMR | Testing Strong Equivalence of Datalog Programs - Implementation and Examples. | Thomas Eiter, Wolfgang Faber, Patrick Traxler |
| 2005 | LPNMR | Unfounded Sets for Disjunctive Logic Programs with Arbitrary Aggregates. | Wolfgang Faber |
| 2005 | LPNMR | Solving Hard ASP Programs Efficiently. | Wolfgang Faber, Francesco Ricca |
| 2005 | LPNMR | Data Integration: a Challenging ASP Application. | Nicola Leone, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob, Luigi Granata, Gianluigi Greco, Edyta Kalka, Giovambattista Ianni, Domenico Lembo, Maurizio Lenzerini, Vincenzino Lio, Bartosz Nowicki, Riccardo Rosati, Marco Ruzzi, Witold Staniszkis, Giorgio Terracina |
| 2005 | SIGMOD | The INFOMIX system for advanced integration of incomplete and inconsistent data. | Nicola Leone, Gianluigi Greco, Giovambattista Ianni, Vincenzino Lio, Giorgio Terracina, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob, Riccardo Rosati, Domenico Lembo, Maurizio Lenzerini, Marco Ruzzi, Edyta Kalka, Bartosz Nowicki, Witold Staniszkis |
| 2004 | ICLP | Enhancing the Magic-Set Method for Disjunctive Datalog Programs. | Chiara Cumbo, Wolfgang Faber, Gianluigi Greco, Nicola Leone |
| 2004 | JELIA | New DLV Features for Data Integration. | Francesco Calimeri, Manuela Citrigno, Chiara Cumbo, Wolfgang Faber, Nicola Leone, Simona Perri, Gerald Pfeifer |
| 2004 | JELIA | Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity. | Wolfgang Faber, Nicola Leone, Gerald Pfeifer |
| 2004 | KR | Complexity of Model Checking and Bounded Predicate Arities for Non-ground Answer Set Programming. | Thomas Eiter, Wolfgang Faber, Michael Fink, Gerald Pfeifer, Stefan Woltran |
| 2004 | LPNMR | System Description: DLV with Aggregates. | Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Simona Perri, Gerald Pfeifer |
| 2003 | IJCAI | Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLV. | Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Gerald Pfeifer |
| 2002 | JELIA | Answer Set Planning under Action Costs. | Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres |
| 2002 | JELIA | The DLV | Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres |
| 2002 | JELIA | The DLV System. | Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Francesco Calimeri, Tina Dell'Armi, Thomas Eiter, Georg Gottlob, Giovambattista Ianni, Giuseppe Ielpa, Christoph Koch, Simona Perri, Axel Polleres |
| 2001 | IJCAI | Experimenting with Heuristics for Answer Set Programming. | Wolfgang Faber, Nicola Leone, Gerald Pfeifer |
| 2001 | LPNMR | System Description: DLV. | Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Christoph Koch, Nicola Leone, Simona Perri, Gerald Pfeifer |
| 2001 | LPNMR | System Description: The DLV | Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres |
| 2001 | LPNMR | Optimizing the Computation of Heuristics for Answer Set Programming Systems. | Wolfgang Faber, Nicola Leone, Gerald Pfeifer |
| 1999 | ICLP | Disjunctive Logic Programs with Inheritance. | Francesco Buccafurri, Wolfgang Faber, Nicola Leone |
| 1999 | LPNMR | Pushing Goal Derivation in DLP Computations. | Wolfgang Faber, Nicola Leone, Gerald Pfeifer |