Wolfgang Faber

Orcid: 0000-0002-0330-5868

Affiliations:
  • Alpen-Adria Universität Klagenfurt, Austria
  • University of Huddersfield, UK
  • University of Calabria, Rende, Italy
  • Vienna University of Technology, Austria


According to our database1, Wolfgang Faber authored at least 136 papers between 1997 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Evaluating Datalog Tools for Meta-reasoning over OWL 2 QL.
Theory Pract. Log. Program., March, 2024

2023
An Efficient Solver for ASP(Q).
Theory Pract. Log. Program., July, 2023

Aggregate Semantics for Propositional Answer Set Programs.
Theory Pract. Log. Program., 2023

Using Hybrid Knowledge Bases for Meta-reasoning over OWL 2 QL.
Proceedings of the Practical Aspects of Declarative Languages, 2023

Enhancing ASP(Q) evaluation.
Proceedings of the Discussion Papers, 2023

2022
Thirty years of Epistemic Specifications.
Theory Pract. Log. Program., 2022

Determining Action Reversibility in STRIPS Using Answer Set Programming with Quantifiers.
Proceedings of the Practical Aspects of Declarative Languages, 2022

Evaluating Epistemic Logic Programs via Answer Set Programming with Quantifiers.
Proceedings of the Joint Proceedings of the 1st International Workshop on HYbrid Models for Coupling Deductive and Inductive ReAsoning (HYDRA 2022) and the 29th RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2022) co-located with the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022), 2022

Meta-reasoning over OWL 2 QL using Datalog.
Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) co-located with the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022), 2022

2021
Determining Action Reversibility in STRIPS Using Answer Set and Epistemic Logic Programming.
Theory Pract. Log. Program., 2021

Determining ActionReversibility in STRIPS Using Answer Set and Epistemic Logic Programming.
CoRR, 2021

Paracoherent answer set computation.
Artif. Intell., 2021

An Evaluation of Meta-reasoning over OWL 2 QL.
Proceedings of the Rules and Reasoning - 5th International Joint Conference, 2021

Universal and Uniform Action Reversibility.
Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

2020
ASP-Core-2 Input Language Format.
Theory Pract. Log. Program., 2020

An Introduction to Answer Set Programming and Some of Its Extensions.
Proceedings of the Reasoning Web. Declarative Artificial Intelligence, 2020

Supporting Metamodeling in Ontologies Using Rules.
Proceedings of the 14th International Rule Challenge, 4th Doctoral Consortium, and 6th Industry Track @ RuleML+RR 2020 co-located with 16th Reasoning Web Summer School (RW 2020) 12th DecisionCAMP 2020 as part of Declarative AI 2020, Oslo, Norway (virtual due to Covid-19 pandemic), 29 June, 2020

On the Reversibility of Actions in Planning.
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

Determining Action Reversibility in STRIPS Using Answer Set Programming.
Proceedings of the International Conference on Logic Programming 2020 Workshop Proceedings co-located with 36th International Conference on Logic Programming (ICLP 2020), 2020

Determining Action Reversibility in STRIPS Using Epistemic Logic Programs.
Proceedings of the International Conference on Logic Programming 2020 Workshop Proceedings co-located with 36th International Conference on Logic Programming (ICLP 2020), 2020

Reversibility of Actions and Plans (invited talk).
Proceedings of the 35th Italian Conference on Computational Logic, 2020

2019
On Uniform Equivalence of Epistemic Logic Programs.
Theory Pract. Log. Program., 2019

Algorithm Selection for Paracoherent Answer Set Computation.
Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

Chain Answer Sets for Logic Programs with Generalized Atoms.
Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

Strong Equivalence for Epistemic Logic Programs Made Easy.
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018
Aggregates in Answer Set Programming.
Künstliche Intell., 2018

The ASP System DLV: Advancements and Applications.
Künstliche Intell., 2018

Strong Equivalence for Epistemic Logic Programs Made Easy (Extended Version).
CoRR, 2018

Automated Training Plan Generation for Athletes.
Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2018

Enumerating Preferred Extensions Using ASP Domain Heuristics: The ASPrMin Solver.
Proceedings of the Computational Models of Argument, 2018

Externally Supported Models for Efficient Computation of Paracoherent Answer Sets.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017
On the Computation of Paracoherent Answer Sets.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016
Solving Set Optimization Problems by Cardinality Optimization via Weak Constraints with an Application to Argumentation.
CoRR, 2016

Proposing of Planning System for Sports Domain: A Tool for Professional Coaches.
Proceedings of the 34th Workshop of the UK Planning and Scheduling Special Interest Group, 2016

From Non-Convex Aggregates to Monotone Aggregates in ASP.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Answer Set Programming for Qualitative Spatio-Temporal Reasoning: Methods and Experiments.
Proceedings of the Technical Communications of the 32nd International Conference on Logic Programming, 2016

Solving Set Optimization Problems by Cardinality Optimization with an Application to Argumentation.
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Boolean Functions with Ordered Domains in Answer Set Programming.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015
Rewriting recursive aggregates in answer set programming: back to monotonicity.
Theory Pract. Log. Program., 2015

Web reasoning and rule systems.
Semantic Web, 2015

Effectively solving NP-SPEC encodings by translation to ASP.
J. Exp. Theor. Artif. Intell., 2015

Supportedly Stable Answer Sets for Logic Programs with Generalized Atoms.
Proceedings of the Web Reasoning and Rule Systems - 9th International Conference, 2015

Stable Model Semantics of Abstract Dialectical Frameworks Revisited: A Logic Programming Perspective.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

2014
Efficient Computation of the Well-Founded Semantics over Big Data.
Theory Pract. Log. Program., 2014

Complexity of super-coherence problems in ASP.
Theory Pract. Log. Program., 2014

Semantics and Compilation of Answer Set Programming with Generalized Atoms.
CoRR, 2014

2013
Introduction to the special issue on the 25th annual GULP conference.
Theory Pract. Log. Program., 2013

Strong Equivalence of Qualitative Optimization Problems.
J. Artif. Intell. Res., 2013

Translating NP-SPEC into ASP
CoRR, 2013

Properties of Answer Set Programming with Convex Generalized Atoms.
CoRR, 2013

Query Answering over Disjunctive Datalog with Existential Quantifiers.
Proceedings of the 21st Italian Symposium on Advanced Database Systems, 2013

Answer Set Programming.
Proceedings of the Reasoning Web. Semantic Technologies for Intelligent Data Access - 9th International Summer School 2013, Mannheim, Germany, July 30, 2013

The Complexity Boundary of Answer Set Programming with Generalized Atoms under the FLP Semantics.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

WASP: A Native ASP Solver Based on Constraint Learning.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

Abstract Preference Frameworks - a Unifying Perspective on Separability and Strong Equivalence.
Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013

2012
Disjunctive datalog with existential quantifiers: Semantics, decidability, and complexity issues.
Theory Pract. Log. Program., 2012

Magic Sets for disjunctive Datalog programs.
Artif. Intell., 2012

A Polynomial Reduction from ASPDA to ASP.
Proceedings of the Web Reasoning and Rule Systems - 6th International Conference, 2012

The Intelligent Grounder of DLV.
Proceedings of the Correct Reasoning, 2012

Privacy Preservation Using Multi-context Systems and Default Logic.
Proceedings of the Correct Reasoning, 2012

2011
Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates.
J. Artif. Intell. Res., 2011

Look-back Techniques for ASP Programs with Aggregates.
Fundam. Informaticae, 2011

Dynamic Magic Sets and super-coherent answer set programs.
AI Commun., 2011

Semantics and complexity of recursive aggregates in answer set programming.
Artif. Intell., 2011

Privacy Preservation Using Multi-Context Systems.
Proceedings of the 2nd Workshop on Logic-based Interpretation of Context: Modelling and Applications, 2011

The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

The Birth of a WASP: Preliminary Report on a New ASP Solver.
Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31, 2011

Complexity of Super-Coherence Problems in Answer Set Programming.
Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31, 2011

Manifold Answer-Set Programs and Their Applications.
Proceedings of the Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011

2010
Disjunctive ASP with functions: Decidable queries and effective computation.
Theory Pract. Log. Program., 2010

Dynamic Magic Sets for Super-Consistent Answer Set Programs
CoRR, 2010

The Disjunctive Datalog System DLV.
Proceedings of the Datalog Reloaded - First International Workshop, 2010

Well-Founded Semantics for Logic Programs with Aggregates: Implementation and Experimentation.
Proceedings of the 17th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, 2010

Space Efficient Evaluation of ASP Programs with Bounded Predicate Arities.
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2009
Normal Form Nested Programs.
Fundam. Informaticae, 2009

Manifold Answer-Set Programs for Meta-reasoning.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

nfn2dlp and nfnsolve: Normal Form Nested Programs Compiler and Solver.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

2008
Answer Set Programming.
Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

Design and implementation of aggregate functions in the DLV system.
Theory Pract. Log. Program., 2008

Undoing the effects of action sequences.
J. Appl. Log., 2008

Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers.
J. Algorithms, 2008

Notions of Strong Equivalence for Logic Programs with Ordered Disjunction.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

The DLV Project: A Tour from Theory and Research to Applications and Market.
Proceedings of the Logic Programming, 24th International Conference, 2008

Magic Sets for Data Integration.
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007
Magic Sets and their application to data integration.
J. Comput. Syst. Sci., 2007

A Logic-Based Approach to Finding Explanations for Discrepancies in Optimistic Plan Execution.
Fundam. Informaticae, 2007

On look-ahead heuristics in disjunctive logic programming.
Ann. Math. Artif. Intell., 2007

Complexity results for answer set programming with bounded predicate arities and implications.
Ann. Math. Artif. Intell., 2007

Experimenting with Look-Back Heuristics for Hard ASP Programs.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007

On the Complexity of Answer Set Programming with Aggregates.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007

On Reversing Actions: Algorithms and Complexity.
Proceedings of the IJCAI 2007, 2007

2006
The DLV system for knowledge representation and reasoning.
ACM Trans. Comput. Log., 2006

Pruning Operators for Disjunctive Logic Programming Systems.
Fundam. Informaticae, 2006

Strong order equivalence.
Ann. Math. Artif. Intell., 2006

A backjumping technique for Disjunctive Logic Programming.
AI Commun., 2006

Decomposition of Nonmonotone Aggregates in Answer Set Programming.
Proceedings of the 20th Workshop on Logic Programming, 2006

2005
Solving Hard Problems for the Second Level of the Polynomial Hierarchy: Heuristics and Benchmarks.
Intelligenza Artificiale, 2005

The INFOMIX system for advanced integration of incomplete and inconsistent data.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2005

Boosting Information Integration: The INFOMIX System.
Proceedings of the Thirteenth Italian Symposium on Advanced Database Systems, 2005


Solving Hard ASP Programs Efficiently.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

Unfounded Sets for Disjunctive Logic Programs with Arbitrary Aggregates.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

Testing Strong Equivalence of Datalog Programs - Implementation and Examples.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

The Relationship Between Reasoning About Privacy and Default Logics.
Proceedings of the Logic for Programming, 2005

Heuristics for Hard ASP Programs.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Strong Equivalence for Logic Programs with Preferences.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Declarative and Computational Properties of Logic Programs with Aggregates.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

2004
A logic programming approach to knowledge-state planning: Semantics and complexity.
ACM Trans. Comput. Log., 2004

Plan reversals for recovery in execution monitoring.
Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), 2004

System Description: DLV with Aggregates.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004

Complexity of Model Checking and Bounded Predicate Arities for Non-ground Answer Set Programming.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity.
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

New DLV Features for Data Integration.
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

Enhancing the Magic-Set Method for Disjunctive Datalog Programs.
Proceedings of the Logic Programming, 20th International Conference, 2004

2003
Computing preferred answer sets by meta-interpretation in answer set programming.
Theory Pract. Log. Program., 2003

Answer Set Planning Under Action Costs.
J. Artif. Intell. Res., 2003

A logic programming approach to knowledge-state planning, II: The DLV<sup>K</sup> system.
Artif. Intell., 2003

Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLV.
Proceedings of the IJCAI-03, 2003

Complexity of Answer Set Checking and Bounded Predicate Arities for Non-ground Answer Set Programming.
Proceedings of the Answer Set Programming, 2003

Aggregate Functions in DLV.
Proceedings of the Answer Set Programming, 2003

Improving Query Optimization for Disjunctive Datalog.
Proceedings of the 2003 Joint Conference on Declarative Programming, 2003

2002
Disjunctive Logic Programs with Inheritance.
Theory Pract. Log. Program., 2002

Pruning operators for answer set programming systems.
Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), 2002

The DLV System.
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

The DLV<sup>K</sup> Planning System: Progress Report.
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

2001
Optimizing the Computation of Heuristics for Answer Set Programming Systems.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

System Description: The DLV<sup>K</sup> Planning System.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

System Description: DLV.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

Experimenting with Heuristics for Answer Set Programming.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

Computing Preferred and Weakly Preferred Answer Sets by Meta Interpretation in Answer Set Programming.
Proceedings of the Answer Set Programming, 2001

2000
DLV - A System for Declarative Problem Solving
CoRR, 2000

Using the dlv System for Planning and Diagnostic Reasoning.
Proceedings of the 14. Workshop Logische Programmierung, 2000

Planning under Incomplete Knowledge.
Proceedings of the Computational Logic, 2000

1999
The Diagnosis Frontend of the dlv System.
AI Commun., 1999

Pushing Goal Derivation in DLP Computations.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1999

1997
The dlv System: Model Generator and Advanced Frontends (system description).
Proceedings of the Twelfth Workshop Logic Programming, 1997


  Loading...