Wolfgang Faber
Orcid: 0000-0002-0330-5868Affiliations:
- 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 138 papers
between 1997 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on scopus.com
-
on orcid.org
-
on id.loc.gov
-
on d-nb.info
-
on wfaber.com
On csauthors.net:
Bibliography
2024
Theory Pract. Log. Program., March, 2024
Solving Argumentation Problems Using Answer Set Programming with Quantifiers: Preliminary Report.
Proceedings of the Workshop Proceedings of the 40th International Conference on Logic Programming (ICLP-WS 2024) co-located with the 40th International Conference on Logic Programming (ICLP 2024), 2024
Weak and Strong Reversibility of Non-deterministic Actions: Universality and Uniformity.
Proceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling, 2024
2023
Theory Pract. Log. Program., 2023
Proceedings of the Practical Aspects of Declarative Languages, 2023
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023
2022
Determining Action Reversibility in STRIPS Using Answer Set Programming with Quantifiers.
Proceedings of the Practical Aspects of Declarative Languages, 2022
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
Proceedings of the Rules and Reasoning - 5th International Joint Conference, 2021
Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021
2020
Proceedings of the Reasoning Web. Declarative Artificial Intelligence, 2020
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
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020
Proceedings of the International Conference on Logic Programming 2020 Workshop Proceedings co-located with 36th International Conference on Logic Programming (ICLP 2020), 2020
Proceedings of the International Conference on Logic Programming 2020 Workshop Proceedings co-located with 36th International Conference on Logic Programming (ICLP 2020), 2020
Proceedings of the 35th Italian Conference on Computational Logic, 2020
2019
Theory Pract. Log. Program., 2019
Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019
Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019
2018
CoRR, 2018
Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2018
Proceedings of the Computational Models of Argument, 2018
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018
2017
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
Proceedings of the 34th Workshop of the UK Planning and Scheduling Special Interest Group, 2016
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
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016
2015
Theory Pract. Log. Program., 2015
J. Exp. Theor. Artif. Intell., 2015
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
Theory Pract. Log. Program., 2014
CoRR, 2014
2013
Theory Pract. Log. Program., 2013
J. Artif. Intell. Res., 2013
Query Answering over Disjunctive Datalog with Existential Quantifiers.
Proceedings of the 21st Italian Symposium on Advanced Database Systems, 2013
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
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
Proceedings of the Web Reasoning and Rule Systems - 6th International Conference, 2012
Proceedings of the Correct Reasoning, 2012
2011
J. Artif. Intell. Res., 2011
Artif. Intell., 2011
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
Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31, 2011
Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31, 2011
Proceedings of the Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011
2010
Theory Pract. Log. Program., 2010
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
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010
2009
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009
2008
Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008
Theory Pract. Log. Program., 2008
Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers.
J. Algorithms, 2008
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008
Proceedings of the Logic Programming, 24th International Conference, 2008
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008
2007
A Logic-Based Approach to Finding Explanations for Discrepancies in Optimistic Plan Execution.
Fundam. Informaticae, 2007
Ann. Math. Artif. Intell., 2007
Complexity results for answer set programming with bounded predicate arities and implications.
Ann. Math. Artif. Intell., 2007
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007
2006
ACM Trans. Comput. Log., 2006
Fundam. Informaticae, 2006
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
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
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005
Proceedings of the Logic for Programming, 2005
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005
2004
ACM Trans. Comput. Log., 2004
Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), 2004
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
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004
Proceedings of the Logic Programming, 20th International Conference, 2004
2003
Theory Pract. Log. Program., 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
Improving Query Optimization for Disjunctive Datalog.
Proceedings of the 2003 Joint Conference on Declarative Programming, 2003
2002
Pruning operators for answer set programming systems.
Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), 2002
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002
2001
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001
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
Using the dlv System for Planning and Diagnostic Reasoning.
Proceedings of the 14. Workshop Logische Programmierung, 2000
1999
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