The dlv System: Model Generator and Advanced Frontends (system description). - Simona Citrigno; Thomas Eiter; Wolfgang Faber 001; Georg Gottlob; Christoph Koch 001; Nicola Leone; Cristinel Mateis; Gerald Pfeifer; Francesco Scarcello (WLP, 1997)

Pushing Goal Derivation in DLP Computations. - Wolfgang Faber 001; Nicola Leone; Gerald Pfeifer (LPNMR, 1999)

The Diagnosis Frontend of the dlv System. - Thomas Eiter; Wolfgang Faber 001; Nicola Leone; Gerald Pfeifer (AI Commun., 1999)

Planning under Incomplete Knowledge. - Thomas Eiter; Wolfgang Faber 001; Nicola Leone; Gerald Pfeifer; Axel Polleres (Computational Logic, 2000)

Using the dlv System for Planning and Diagnostic Reasoning. - Thomas Eiter; Wolfgang Faber 001; Nicola Leone; Gerald Pfeifer; Axel Polleres (WLP, 2000)

DLV - A System for Declarative Problem Solving - Thomas Eiter; Wolfgang Faber 001; Christoph Koch 001; Nicola Leone; Gerald Pfeifer (CoRR, 2000)

Computing Preferred and Weakly Preferred Answer Sets by Meta Interpretation in Answer Set Programming. - Thomas Eiter; Wolfgang Faber 001; Nicola Leone; Gerald Pfeifer (Answer Set Programming, 2001)

Experimenting with Heuristics for Answer Set Programming. - Wolfgang Faber 001; Nicola Leone; Gerald Pfeifer (IJCAI, 2001)

System Description: DLV. - Tina Dell'Armi; Wolfgang Faber 001; Giuseppe Ielpa; Christoph Koch 001; Nicola Leone; Simona Perri; Gerald Pfeifer (LPNMR, 2001)

System Description: The DLVK Planning System. - Thomas Eiter; Wolfgang Faber 001; Nicola Leone; Gerald Pfeifer; Axel Polleres (LPNMR, 2001)

Optimizing the Computation of Heuristics for Answer Set Programming Systems. - Wolfgang Faber 001; Nicola Leone; Gerald Pfeifer (LPNMR, 2001)

The DLVK Planning System: Progress Report. - Thomas Eiter; Wolfgang Faber 001; Nicola Leone; Gerald Pfeifer; Axel Polleres (JELIA, 2002)

The DLV System. - Nicola Leone; Gerald Pfeifer; Wolfgang Faber 001; Francesco Calimeri; Tina Dell'Armi; Thomas Eiter; Georg Gottlob; Giovambattista Ianni; Giuseppe Ielpa; Christoph Koch 001; Simona Perri; Axel Polleres (JELIA, 2002)

Pruning operators for answer set programming systems. - Francesco Calimeri; Wolfgang Faber 001; Nicola Leone; Gerald Pfeifer (NMR, 2002)

Disjunctive Logic Programs with Inheritance. - Francesco Buccafurri; Wolfgang Faber 001; Nicola Leone (Theory Pract. Log. Program., 2002)

Improving Query Optimization for Disjunctive Datalog. - Chiara Cumbo; Wolfgang Faber 001; Gianluigi Greco (APPIA-GULP-PRODE, 2003)

Aggregate Functions in DLV. - Tina Dell'Armi; Wolfgang Faber 001; Giuseppe Ielpa; Nicola Leone; Gerald Pfeifer (Answer Set Programming, 2003)

Complexity of Answer Set Checking and Bounded Predicate Arities for Non-ground Answer Set Programming. - Thomas Eiter; Wolfgang Faber 001; Michael Fink 001; Gerald Pfeifer; Stefan Woltran (Answer Set Programming, 2003)

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

A logic programming approach to knowledge-state planning, II: The DLVK system. - Thomas Eiter; Wolfgang Faber 001; Nicola Leone; Gerald Pfeifer; Axel Polleres (Artif. Intell., 2003)

Answer Set Planning Under Action Costs. - Thomas Eiter; Wolfgang Faber 001; Nicola Leone; Gerald Pfeifer; Axel Polleres (J. Artif. Intell. Res., 2003)

Computing preferred answer sets by meta-interpretation in answer set programming. - Thomas Eiter; Wolfgang Faber 001; Nicola Leone; Gerald Pfeifer (Theory Pract. Log. Program., 2003)

Enhancing the Magic-Set Method for Disjunctive Datalog Programs. - Chiara Cumbo; Wolfgang Faber 001; Gianluigi Greco; Nicola Leone (ICLP, 2004)

New DLV Features for Data Integration. - Francesco Calimeri; Manuela Citrigno; Chiara Cumbo; Wolfgang Faber 001; Nicola Leone; Simona Perri; Gerald Pfeifer (JELIA, 2004)

Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity. - Wolfgang Faber 001; Nicola Leone; Gerald Pfeifer (JELIA, 2004)

Complexity of Model Checking and Bounded Predicate Arities for Non-ground Answer Set Programming. - Thomas Eiter; Wolfgang Faber 001; Michael Fink 001; Gerald Pfeifer; Stefan Woltran (KR, 2004)

System Description: DLV with Aggregates. - Tina Dell'Armi; Wolfgang Faber 001; Giuseppe Ielpa; Nicola Leone; Simona Perri; Gerald Pfeifer (LPNMR, 2004)

Plan reversals for recovery in execution monitoring. - Thomas Eiter; Esra Erdem 001; Wolfgang Faber 001 (NMR, 2004)

A logic programming approach to knowledge-state planning: Semantics and complexity. - Thomas Eiter; Wolfgang Faber 001; Nicola Leone; Gerald Pfeifer; Axel Polleres (ACM Trans. Comput. Log., 2004)

Declarative and Computational Properties of Logic Programs with Aggregates. - Francesco Calimeri; Wolfgang Faber 001; Nicola Leone; Simona Perri (IJCAI, 2005)

Strong Equivalence for Logic Programs with Preferences. - Wolfgang Faber 001; Kathrin Konczak (IJCAI, 2005)

Heuristics for Hard ASP Programs. - Wolfgang Faber 001; Nicola Leone; Francesco Ricca (IJCAI, 2005)

The Relationship Between Reasoning About Privacy and Default Logics. - Jürgen Dix; Wolfgang Faber 001; V. S. Subrahmanian (LPAR, 2005)

Testing Strong Equivalence of Datalog Programs - Implementation and Examples. - Thomas Eiter; Wolfgang Faber 001; Patrick Traxler (LPNMR, 2005)

Unfounded Sets for Disjunctive Logic Programs with Arbitrary Aggregates. - Wolfgang Faber 001 (LPNMR, 2005)

Solving Hard ASP Programs Efficiently. - Wolfgang Faber 001; Francesco Ricca (LPNMR, 2005)

Data Integration: a Challenging ASP Application. - Nicola Leone; Thomas Eiter; Wolfgang Faber 001; Michael Fink 001; Georg Gottlob; Luigi Granata; Gianluigi Greco; Edyta Kalka; Giovambattista Ianni; Domenico Lembo; Maurizio Lenzerini; Vincenzino Lio; et al. (LPNMR, 2005)

Boosting Information Integration: The INFOMIX System. - Nicola Leone; Thomas Eiter; Wolfgang Faber 001; Michael Fink 001; Georg Gottlob; Gianluigi Greco (SEBD, 2005)

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 001; Michael Fink 001; Georg Gottlob; Riccardo Rosati 001; Domenico Lembo; Maurizio Lenzerini; et al. (SIGMOD Conference, 2005)

Solving Hard Problems for the Second Level of the Polynomial Hierarchy: Heuristics and Benchmarks. - Wolfgang Faber 001; Nicola Leone; Francesco Ricca (Intelligenza Artificiale, 2005)

Decomposition of Nonmonotone Aggregates in Answer Set Programming. - Wolfgang Faber 001 (WLP, 2006)

A backjumping technique for Disjunctive Logic Programming. - Francesco Ricca; Wolfgang Faber 001; Nicola Leone (AI Commun., 2006)

Strong order equivalence. - Wolfgang Faber 001; Kathrin Konczak (Ann. Math. Artif. Intell., 2006)

Pruning Operators for Disjunctive Logic Programming Systems. - Francesco Calimeri; Wolfgang Faber 001; Gerald Pfeifer; Nicola Leone (Fundam. Informaticae, 2006)

The DLV system for knowledge representation and reasoning. - Nicola Leone; Gerald Pfeifer; Wolfgang Faber 001; Thomas Eiter; Georg Gottlob; Simona Perri; Francesco Scarcello (ACM Trans. Comput. Log., 2006)

On Reversing Actions: Algorithms and Complexity. - Thomas Eiter; Esra Erdem 001; Wolfgang Faber 001 (IJCAI, 2007)

On the Complexity of Answer Set Programming with Aggregates. - Wolfgang Faber 001; Nicola Leone (LPNMR, 2007)

Experimenting with Look-Back Heuristics for Hard ASP Programs. - Wolfgang Faber 001; Nicola Leone; Marco Maratea; Francesco Ricca (LPNMR, 2007)

Complexity results for answer set programming with bounded predicate arities and implications. - Thomas Eiter; Wolfgang Faber 001; Michael Fink 001; Stefan Woltran (Ann. Math. Artif. Intell., 2007)

On look-ahead heuristics in disjunctive logic programming. - Wolfgang Faber 001; Nicola Leone; Gerald Pfeifer; Francesco Ricca (Ann. Math. Artif. Intell., 2007)

A Logic-Based Approach to Finding Explanations for Discrepancies in Optimistic Plan Execution. - Thomas Eiter; Esra Erdem 001; Wolfgang Faber 001; Ján Senko (Fundam. Informaticae, 2007)

Magic Sets and their application to data integration. - Wolfgang Faber 001; Gianluigi Greco; Nicola Leone (J. Comput. Syst. Sci., 2007)

Magic Sets for Data Integration. - Wolfgang Faber 001; Gianluigi Greco; Nicola Leone (AAAI, 2008)

The DLV Project: A Tour from Theory and Research to Applications and Market. - Nicola Leone; Wolfgang Faber 001 (ICLP, 2008)

Notions of Strong Equivalence for Logic Programs with Ordered Disjunction. - Wolfgang Faber 001; Hans Tompits; Stefan Woltran (KR, 2008)

Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers. - Marco Maratea; Francesco Ricca; Wolfgang Faber 001; Nicola Leone (J. Algorithms, 2008)

Undoing the effects of action sequences. - Thomas Eiter; Esra Erdem 001; Wolfgang Faber 001 (J. Appl. Log., 2008)

Design and implementation of aggregate functions in the DLV system. - Wolfgang Faber 001; Gerald Pfeifer; Nicola Leone; Tina Dell'Armi; Giuseppe Ielpa (Theory Pract. Log. Program., 2008)

Answer Set Programming. - Wolfgang Faber 001; Nicola Leone; Francesco Ricca (Wiley Encyclopedia of Computer Science and Engineering, 2008)

nfn2dlp and nfnsolve: Normal Form Nested Programs Compiler and Solver. - Annamaria Bria; Wolfgang Faber 001; Nicola Leone (LPNMR, 2009)

Manifold Answer-Set Programs for Meta-reasoning. - Wolfgang Faber 001; Stefan Woltran (LPNMR, 2009)

Normal Form Nested Programs. - Annamaria Bria; Wolfgang Faber 001; Nicola Leone (Fundam. Informaticae, 2009)

Space Efficient Evaluation of ASP Programs with Bounded Predicate Arities. - Thomas Eiter; Wolfgang Faber 001; Mushthofa Mushthofa (AAAI, 2010)

Well-Founded Semantics for Logic Programs with Aggregates: Implementation and Experimentation. - Mario Alviano; Wolfgang Faber 001; Nicola Leone (RCRA@CPAIOR, 2010)

The Disjunctive Datalog System DLV. - Mario Alviano; Wolfgang Faber 001; Nicola Leone; Simona Perri; Gerald Pfeifer; Giorgio Terracina (Datalog, 2010)

Dynamic Magic Sets for Super-Consistent Answer Set Programs - Mario Alviano; Wolfgang Faber 001 (CoRR, 2010)

Disjunctive ASP with functions: Decidable queries and effective computation. - Mario Alviano; Wolfgang Faber 001; Nicola Leone (Theory Pract. Log. Program., 2010)

Manifold Answer-Set Programs and Their Applications. - Wolfgang Faber 001; Stefan Woltran (Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011)

Complexity of Super-Coherence Problems in Answer Set Programming. - Mario Alviano; Wolfgang Faber 001; Stefan Woltran (CILC, 2011)

The Birth of a WASP: Preliminary Report on a New ASP Solver. - Carmine Dodaro; Mario Alviano; Wolfgang Faber 001; Nicola Leone; Francesco Ricca; Marco Sirianni (CILC, 2011)

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 001; Onofrio Febbraro; Nicola Leone; Marco Manna; Alessandra Martello; et al. (LPNMR, 2011)

Privacy Preservation Using Multi-Context Systems. - Wolfgang Faber 001 (Log-IC@LPNMR, 2011)

Semantics and complexity of recursive aggregates in answer set programming. - Wolfgang Faber 001; Gerald Pfeifer; Nicola Leone (Artif. Intell., 2011)

Dynamic Magic Sets and super-coherent answer set programs. - Mario Alviano; Wolfgang Faber 001 (AI Commun., 2011)

Look-back Techniques for ASP Programs with Aggregates. - Wolfgang Faber 001; Nicola Leone; Marco Maratea; Francesco Ricca (Fundam. Informaticae, 2011)

Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates. - Mario Alviano; Francesco Calimeri; Wolfgang Faber 001; Nicola Leone; Simona Perri (J. Artif. Intell. Res., 2011)

Privacy Preservation Using Multi-context Systems and Default Logic. - Jürgen Dix; Wolfgang Faber 001; V. S. Subrahmanian (Correct Reasoning, 2012)

The Intelligent Grounder of DLV. - Wolfgang Faber 001; Nicola Leone; Simona Perri (Correct Reasoning, 2012)

A Polynomial Reduction from ASPDA to ASP. - Wolfgang Faber 001 (RR, 2012)

Magic Sets for disjunctive Datalog programs. - Mario Alviano; Wolfgang Faber 001; Gianluigi Greco; Nicola Leone (Artif. Intell., 2012)

Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues. - Mario Alviano; Wolfgang Faber 001; Nicola Leone; Marco Manna (Theory Pract. Log. Program., 2012)

Abstract Preference Frameworks - a Unifying Perspective on Separability and Strong Equivalence. - Wolfgang Faber 001; Miroslaw Truszczynski; Stefan Woltran (AAAI, 2013)

WASP: A Native ASP Solver Based on Constraint Learning. - Mario Alviano; Carmine Dodaro; Wolfgang Faber 001; Nicola Leone; Francesco Ricca (LPNMR, 2013)

The Complexity Boundary of Answer Set Programming with Generalized Atoms under the FLP Semantics. - Mario Alviano; Wolfgang Faber 001 (LPNMR, 2013)

Answer Set Programming. - Wolfgang Faber 001 (Reasoning Web, 2013)

Query Answering over Disjunctive Datalog with Existential Quantifiers. - Mario Alviano; Wolfgang Faber 001; Nicola Leone; Marco Manna (SEBD, 2013)

Properties of Answer Set Programming with Convex Generalized Atoms. - Mario Alviano; Wolfgang Faber 001 (CoRR, 2013)

Translating NP-SPEC into ASP - Mario Alviano; Wolfgang Faber 001 (CoRR, 2013)

Strong Equivalence of Qualitative Optimization Problems. - Wolfgang Faber 001; Miroslaw Truszczynski; Stefan Woltran (J. Artif. Intell. Res., 2013)

Introduction to the special issue on the 25th annual GULP conference. - Wolfgang Faber 001; Nicola Leone (Theory Pract. Log. Program., 2013)

Semantics and Compilation of Answer Set Programming with Generalized Atoms. - Mario Alviano; Wolfgang Faber 001 (CoRR, 2014)

Complexity of super-coherence problems in ASP. - Mario Alviano; Wolfgang Faber 001; Stefan Woltran (Theory Pract. Log. Program., 2014)

Efficient Computation of the Well-Founded Semantics over Big Data. - Ilias Tachmazidis; Grigoris Antoniou; Wolfgang Faber 001 (Theory Pract. Log. Program., 2014)

Stable Model Semantics of Abstract Dialectical Frameworks Revisited: A Logic Programming Perspective. - Mario Alviano; Wolfgang Faber 001 (IJCAI, 2015)

Supportedly Stable Answer Sets for Logic Programs with Generalized Atoms. - Mario Alviano; Wolfgang Faber 001 (RR, 2015)

Effectively solving NP-SPEC encodings by translation to ASP. - Mario Alviano; Wolfgang Faber 001 (J. Exp. Theor. Artif. Intell., 2015)

Web reasoning and rule systems. - Domenico Lembo; Wolfgang Faber 001 (Semantic Web, 2015)

Rewriting recursive aggregates in answer set programming: back to monotonicity. - Mario Alviano; Wolfgang Faber 001; Martin Gebser (Theory Pract. Log. Program., 2015)

Boolean Functions with Ordered Domains in Answer Set Programming. - Mario Alviano; Wolfgang Faber 001; Hannes Strass (AAAI, 2016)

Solving Set Optimization Problems by Cardinality Optimization with an Application to Argumentation. - Wolfgang Faber 001; Mauro Vallati; Federico Cerutti 001; Massimiliano Giacomin (ECAI, 2016)

Answer Set Programming for Qualitative Spatio-Temporal Reasoning: Methods and Experiments. - Christopher Brenton; Wolfgang Faber 001; Sotiris Batsakis (ICLP (Technical Communications), 2016)

From Non-Convex Aggregates to Monotone Aggregates in ASP. - Mario Alviano; Wolfgang Faber 001; Martin Gebser (IJCAI, 2016)

Proposing of Planning System for Sports Domain: A Tool for Professional Coaches. - Tomás Skerík; Wolfgang Faber 001; Lukás Chrpa (PlanSIG, 2016)

Solving Set Optimization Problems by Cardinality Optimization via Weak Constraints with an Application to Argumentation. - Wolfgang Faber 001; Mauro Vallati; Federico Cerutti 001; Massimiliano Giacomin (CoRR, 2016)

On the Computation of Paracoherent Answer Sets. - Giovanni Amendola; Carmine Dodaro; Wolfgang Faber 001; Nicola Leone; Francesco Ricca (AAAI, 2017)

Externally Supported Models for Efficient Computation of Paracoherent Answer Sets. - Giovanni Amendola; Carmine Dodaro; Wolfgang Faber 001; Francesco Ricca (AAAI, 2018)

Enumerating Preferred Extensions Using ASP Domain Heuristics: The ASPrMin Solver. - Wolfgang Faber 001; Mauro Vallati; Federico Cerutti 001; Massimiliano Giacomin (COMMA, 2018)

Automated Training Plan Generation for Athletes. - Tomás Skerík; Lukás Chrpa; Wolfgang Faber 001; Mauro Vallati (SMC, 2018)

Strong Equivalence for Epistemic Logic Programs Made Easy (Extended Version). - Wolfgang Faber 001; Michael Morak; Stefan Woltran (CoRR, 2018)

The ASP System DLV: Advancements and Applications. - Weronika T. Adrian; Mario Alviano; Francesco Calimeri; Bernardo Cuteri; Carmine Dodaro; Wolfgang Faber 001; Davide Fuscà; Nicola Leone; Marco Manna; Simona Perri; Francesco Ricca; Pierfrancesco Veltri; et al. (Künstliche Intell., 2018)

Aggregates in Answer Set Programming. - Mario Alviano; Wolfgang Faber 001 (Künstliche Intell., 2018)

Strong Equivalence for Epistemic Logic Programs Made Easy. - Wolfgang Faber 001; Michael Morak; Stefan Woltran (AAAI, 2019)

Chain Answer Sets for Logic Programs with Generalized Atoms. - Mario Alviano; Wolfgang Faber 001 (JELIA, 2019)

Algorithm Selection for Paracoherent Answer Set Computation. - Giovanni Amendola; Carmine Dodaro; Wolfgang Faber 001; Luca Pulina; Francesco Ricca (JELIA, 2019)

On Uniform Equivalence of Epistemic Logic Programs. - Wolfgang Faber 001; Michael Morak; Stefan Woltran (Theory Pract. Log. Program., 2019)

Reversibility of Actions and Plans (invited talk). - Wolfgang Faber 001 (CILC, 2020)

Determining Action Reversibility in STRIPS Using Epistemic Logic Programs. - Wolfgang Faber 001; Michael Morak (ICLP Workshops, 2020)

Determining Action Reversibility in STRIPS Using Answer Set Programming. - Lukás Chrpa; Wolfgang Faber 001; Daniel Fiser; Michael Morak (ICLP Workshops, 2020)

On the Reversibility of Actions in Planning. - Michael Morak; Lukás Chrpa; Wolfgang Faber 001; Daniel Fiser (KR, 2020)

Supporting Metamodeling in Ontologies Using Rules. - Haya Majid Qureshi; Wolfgang Faber 001 (RuleML+RR (Supplement), 2020)

An Introduction to Answer Set Programming and Some of Its Extensions. - Wolfgang Faber 001 (RW, 2020)

ASP-Core-2 Input Language Format. - Francesco Calimeri; Wolfgang Faber 001; Martin Gebser; Giovambattista Ianni; Roland Kaminski; Thomas Krennwallner; Nicola Leone; Marco Maratea; Francesco Ricca; Torsten Schaub (Theory Pract. Log. Program., 2020)

Universal and Uniform Action Reversibility. - Lukás Chrpa; Wolfgang Faber 001; Michael Morak (KR, 2021)

An Evaluation of Meta-reasoning over OWL 2 QL. - Haya Majid Qureshi; Wolfgang Faber 001 (RuleML+RR, 2021)

Paracoherent answer set computation. - Giovanni Amendola; Carmine Dodaro; Wolfgang Faber 001; Francesco Ricca (Artif. Intell., 2021)

Determining ActionReversibility in STRIPS Using Answer Set and Epistemic Logic Programming. - Wolfgang Faber 001; Michael Morak; Lukás Chrpa (CoRR, 2021)

Determining Action Reversibility in STRIPS Using Answer Set and Epistemic Logic Programming. - Wolfgang Faber 001; Michael Morak; Lukás Chrpa (Theory Pract. Log. Program., 2021)

Meta-reasoning over OWL 2 QL using Datalog. - Haya Majid Qureshi; Wolfgang Faber 001 (Datalog, 2022)

Determining Action Reversibility in STRIPS Using Answer Set Programming with Quantifiers. - Wolfgang Faber 001; Michael Morak; Lukás Chrpa (PADL, 2022)

Thirty years of Epistemic Specifications. - Jorge Fandinno; Wolfgang Faber 001; Michael Gelfond (Theory Pract. Log. Program., 2022)

Evaluating Epistemic Logic Programs via Answer Set Programming with Quantifiers. - Wolfgang Faber 001; Michael Morak (AAAI, 2023)

Enhancing ASP(Q) evaluation. - Wolfgang Faber 001; Giuseppe Mazzotta; Francesco Ricca (DP@AI*IA, 2023)

Using Hybrid Knowledge Bases for Meta-reasoning over OWL 2 QL. - Haya Majid Qureshi; Wolfgang Faber 001 (PADL, 2023)

Aggregate Semantics for Propositional Answer Set Programs. - Mario Alviano; Wolfgang Faber 001; Martin Gebser (Theory Pract. Log. Program., 2023)

An Efficient Solver for ASP(Q). - Wolfgang Faber 001; Giuseppe Mazzotta; Francesco Ricca (Theory Pract. Log. Program., 2023)

Weak and Strong Reversibility of Non-deterministic Actions: Universality and Uniformity. - Jakub Med; Lukás Chrpa; Michael Morak; Wolfgang Faber 001 (ICAPS, 2024)

Solving Argumentation Problems Using Answer Set Programming with Quantifiers: Preliminary Report. - Wolfgang Faber 001 (ICLP Workshops, 2024)

Efficient OWL2QL Meta-reasoning Using ASP-based Hybrid Knowledge Bases. - Haya Majid Qureshi; Wolfgang Faber 001 (ICLP, 2024)

Evaluating Datalog Tools for Meta-reasoning over OWL 2 QL. - Haya Majid Qureshi; Wolfgang Faber 001 (Theory Pract. Log. Program., 2024)

Encoding Action Reversibility In Planning Using Quantified ASP and Bule. - Wolfgang Faber 001; Michael Morak (JELIA (1), 2025)

ASP Chef grows Mustache to look better. - Mario Alviano; Wolfgang Faber 001; Luis Angel Rodriguez Reiners (CoRR, 2025)