Wolfgang Faber

According to our database1, Wolfgang Faber authored at least 137 papers between 1997 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
On Uniform Equivalence of Epistemic Logic Programs.
TPLP, 2019

On Uniform Equivalence of Epistemic Logic Programs.
CoRR, 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.
KI, 2018

The ASP System DLV: Advancements and Applications.
KI, 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.
CoRR, 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.
TPLP, 2015

Web reasoning and rule systems.
Semantic Web, 2015

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

Rewriting recursive aggregates in answer set programming: back to monotonicity.
CoRR, 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.
TPLP, 2014

Complexity of super-coherence problems in ASP.
TPLP, 2014

Efficient Computation of the Well-Founded Semantics over Big Data.
CoRR, 2014

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

Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates.
CoRR, 2014

2013
Introduction to the special issue on the 25th annual GULP conference.
TPLP, 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.
TPLP, 2012

Complexity of super-coherence problems in ASP
CoRR, 2012

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

Magic Sets for Disjunctive Datalog Programs
CoRR, 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

Strong Equivalence of Qualitative Optimization Problems.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth 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. Inform., 2011

Strong Equivalence of Qualitative Optimization Problems
CoRR, 2011

Answer Set Planning Under Action Costs
CoRR, 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.
TPLP, 2010

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

Disjunctive ASP with Functions: Decidable Queries and Effective Computation
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. Inform., 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.
TPLP, 2008

Undoing the effects of action sequences.
J. Applied Logic, 2008

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

Design and Implementation of Aggregate Functions in the DLV System
CoRR, 2008

Look-back Techniques for ASP Programs with Aggregates.
Proceedings of the 15th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, 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

Normal Form Nested Programs.
Proceedings of the Logics in Artificial Intelligence, 11th European 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. Inform., 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. Inform., 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

Magic Sets and Their Application to Data Integration.
Proceedings of the Database Theory, 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.
TPLP, 2003

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

A logic programming approach to knowledge-state planning, II: The DLVK 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.
TPLP, 2002

Computing Preferred Answer Sets by Meta-Interpretation in Answer Set Programming
CoRR, 2002

The DLV System for Knowledge Representation and Reasoning
CoRR, 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 DLVK Planning System: Progress Report.
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

Answer Set Planning under Action Costs.
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

2001
Disjunctive Logic Programs with Inheritance
CoRR, 2001

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

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

System Description: The DLVK 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

Disjunctive Logic Programs with Inheritance.
Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999

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


  Loading...