Stefan Woltran
Orcid: 0000-0003-1594-8972Affiliations:
- TU Wien, Vienna, Autria
According to our database1,
Stefan Woltran
authored at least 268 papers
between 2000 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Principles and their Computational Consequences for Argumentation Frameworks with Collective Attacks.
J. Artif. Intell. Res., 2024
CoRR, 2024
A Unified View on Forgetting and Strong Equivalence Notions in Answer Set Programming.
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
2023
A claim-centric perspective on abstract argumentation semantics: Claim-defeat, principles, and expressiveness.
Artif. Intell., November, 2023
J. Appl. Non Class. Logics, October, 2023
Artif. Intell., April, 2023
Artif. Intell., 2023
Proceedings of the First Workshop on the Normative Design and Evaluation of Recommender Systems (NORMalize 2023) co-located with the 17th ACM Conference on Recommender Systems (RecSys 2023), 2023
Proceedings of the 21st International Workshop on Non-Monotonic Reasoning co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023) and co-located with the 36th International Workshop on Description Logics (DL 2023), 2023
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023
On the Structural Complexity of Grounding - Tackling the ASP Grounding Bottleneck via Epistemic Programs and Treewidth.
Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023
Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023
Proceedings of the 7th Workshop on Advances in Argumentation in Artificial Intelligence (AI^3 2023) co-located with the 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2023), 2023
2022
Theory Pract. Log. Program., 2022
Recursion in Abstract Argumentation is Hard - On the Complexity of Semantics Based on Weak Admissibility.
J. Artif. Intell. Res., 2022
Comparing the Reasoning Capabilities of Equilibrium Theories and Answer Set Programs.
Algorithms, 2022
Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving.
Artif. Intell., 2022
Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, 2022
Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022
Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs (Extended Abstract).
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022
Proceedings of the Computational Models of Argument, 2022
Proceedings of the Fourth International Workshop on Systems and Algorithms for Formal Argumentation co-located with the 9th International Conference on Computational Models of Argument (COMMA 2022), 2022
Proceedings of the Computational Models of Argument, 2022
Proceedings of the Computational Models of Argument, 2022
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022
2021
Theory Pract. Log. Program., 2021
ACM Trans. Comput. Log., 2021
On the Complexity of Preferred Semantics in Argumentation Frameworks with Bounded Cycle Length.
Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021
Proceedings of the Logics in Artificial Intelligence - 17th European Conference, 2021
2020
Theory Pract. Log. Program., 2020
Theory Pract. Log. Program., 2020
On the different types of collective attacks in abstract argumentation: equivalence results for SETAFs.
J. Log. Comput., 2020
J. Artif. Intell. Res., 2020
Fundam. Informaticae, 2020
Design and results of the Second International Competition on Computational Models of Argumentation.
Artif. Intell., 2020
Artif. Intell., 2020
Taming High Treewidth with Abstraction, Nested Dynamic Programming, and Database Technology.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2020, 2020
Argumentation Semantics under a Claim-centric View: Properties, Expressiveness and Relation to SETAFs.
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 Foundations of Information and Knowledge Systems, 2020
Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020
On the Relation Between Claim-Augmented Argumentation Frameworks and Collective Attacks.
Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020
Proceedings of the Computational Models of Argument, 2020
Proceedings of the 35th Italian Conference on Computational Logic, 2020
2019
Theory Pract. Log. Program., 2019
J. Artif. Intell. Res., 2019
Proceedings of the KI 2019: Advances in Artificial Intelligence, 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 Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019
2018
Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XIV).
J. Log. Comput., 2018
Log. Methods Comput. Sci., 2018
Int. J. Approx. Reason., 2018
CoRR, 2018
Ann. Math. Artif. Intell., 2018
Summary Report of the Second International Competition on Computational Models of Argumentation.
AI Mag., 2018
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2018, 2018
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018
Novel Algorithms for Abstract Dialectical Frameworks based on Complexity Analysis of Subclasses and SAT Solving.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018
Proceedings of the 26th Annual European Symposium on Algorithms, 2018
Proceedings of the Second International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2018) co-located with the 7th International Conference on Computational Models of Argument (COMMA 2018), 2018
Proceedings of the Second Workshop on Logics for Reasoning about Preferences, 2018
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018
2017
When you must forget: Beyond strong persistence when forgetting in answer set programming.
Theory Pract. Log. Program., 2017
J. Log. Comput., 2017
Improving the Efficiency of Dynamic Programming on Tree Decompositions via Machine Learning.
J. Artif. Intell. Res., 2017
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2017
Proceedings of the 6th Workshop on Dynamics of Knowledge and Belief (DKB-2017) and the 5th Workshop KI & Kognition (KIK-2017) co-located with 40th German Conference on Artificial Intelligence (KI 2017), 2017
On the Complexity of Enumerating the Extensions of Abstract Argumentation Frameworks.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017
Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2017
2016
Theory Pract. Log. Program., 2016
ACM Trans. Comput. Log., 2016
J. Log. Comput., 2016
D-FLAT<sup>2</sup>: Subset Minimization in Dynamic Programming on Tree Decompositions Made Easy.
Fundam. Informaticae, 2016
On rejected arguments and implicit conflicts: The hidden power of argumentation semantics.
Artif. Intell., 2016
Dynamic Programming-based QBF Solving.
Proceedings of the 4th International Workshop on Quantified Boolean Formulas (QBF 2016) co-located with 19th International Conference on Theory and Applications of Satisfiability Testing (SAT 2016), 2016
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016
Proceedings of the KI 2016: Advances in Artificial Intelligence, 2016
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016
Proceedings of the First International Workshop on Systems and Algorithms for Formal Argumentation (SAFA) co-located with the 6th International Conference on Computational Models of Argument (COMMA 2016), 2016
Proceedings of the Computational Models of Argument, 2016
Introducing the Second International Competition on Computational Models of Argumentation.
Proceedings of the First International Workshop on Systems and Algorithms for Formal Argumentation (SAFA) co-located with the 6th International Conference on Computational Models of Argument (COMMA 2016), 2016
On Efficiently Enumerating Semi-Stable Extensions via Dynamic Programming on Tree Decompositions.
Proceedings of the Computational Models of Argument, 2016
Proceedings of the Computational Models of Argument, 2016
Proceedings of the Beyond NP, 2016
2015
Theory Pract. Log. Program., 2015
J. Log. Comput., 2015
Argument Comput., 2015
Artif. Intell., 2015
Artif. Intell., 2015
Proceedings of the Theory and Applications of Formal Argumentation, 2015
Proceedings of the 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2015
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015
Proceedings of the 5th Workshop on Dynamics of Knowledge and Belief (DKB-2015) and the 4th Workshop KI & Kognition (KIK-2015) co-located with 38th German Conference on Artificial Intelligence (KI-2015), 2015
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
Complexity-Sensitive Decision Procedures for Abstract Argumentation (Extended Abstract).
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
Improving the Efficiency of Dynamic Programming on Tree Decompositions via Machine Learning.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
Proceedings of the Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2015
2014
Tractable answer-set programming with weight constraints: bounded treewidth is not enough.
Theory Pract. Log. Program., 2014
IEEE Intell. Syst., 2014
Artif. Intell., 2014
Proceedings of the Scalable Uncertainty Management - 8th International Conference, 2014
Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014
Proceedings of the Computational Models of Argument, 2014
2013
ACM Trans. Comput. Log., 2013
Complexity of redundancy detection on RDF graphs in the presence of rules, constraints, and queries.
Semantic Web, 2013
J. Artif. Intell. Res., 2013
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013
Declarative Dynamic Programming as an Alternative Realization of Courcelle's Theorem.
Proceedings of the Parameterized and Exact Computation - 8th International Symposium, 2013
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2013
Proceedings of the Computational Logic in Multi-Agent Systems, 2013
Proceedings of the Computational Logic in Multi-Agent Systems, 2013
Abstract Preference Frameworks - a Unifying Perspective on Separability and Strong Equivalence.
Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013
2012
D-FLAT: Declarative problem solving using tree decompositions and answer-set programming.
Theory Pract. Log. Program., 2012
Artif. Intell., 2012
Proceedings of the Scalable Uncertainty Management - 6th International Conference, 2012
Proceedings of the Learning and Intelligent Optimization - 6th International Conference, 2012
Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012
Proceedings of the Combinatorial Optimization and Applications, 2012
Proceedings of the Correct Reasoning, 2012
2011
Proceedings of the Applications of Declarative Programming and Knowledge Management, 2011
Proceedings of the Applications of Declarative Programming and Knowledge Management, 2011
Proceedings of the IJCAI 2011, 2011
Proceedings of the IEEE 23rd International Conference on Tools with Artificial Intelligence, 2011
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 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
Inf. Process. Lett., 2010
Argument Comput., 2010
Redundancy Elimination on RDF Graphs in the Presence of Rules, Constraints, and Queries.
Proceedings of the Web Reasoning and Rule Systems - Fourth International Conference, 2010
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010
Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010
Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010
Proceedings of the ECAI 2010, 2010
Proceedings of the Datalog Reloaded - First International Workshop, 2010
Proceedings of the Computational Models of Argument: Proceedings of COMMA 2010, 2010
Proceedings of the Computational Models of Argument: Proceedings of COMMA 2010, 2010
Proceedings of the Computational Logic in Multi-Agent Systems, 11th International Workshop, 2010
Proceedings of the Algorithms and Complexity, 7th International Conference, 2010
Proceedings of the 4th Alberto Mendelzon International Workshop on Foundations of Data Management, 2010
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010
2009
Theory Pract. Log. Program., 2009
Characterising equilibrium logic and nested logic programs: Reductions and complexity<sup>, </sup>.
Theory Pract. Log. Program., 2009
Characterising equilibrium logic and nested logic programs: Reductions and complexity
CoRR, 2009
Artif. Intell., 2009
Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2009
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009
ccT on Stage: Generalised Uniform Equivalence Testing for Verifying Student Assignment Solutions.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009
Proceedings of the Logic Programming, 25th International Conference, 2009
2008
A common view on strong, uniform, and other notions of equivalence in answer-set programming.
Theory Pract. Log. Program., 2008
Ann. Math. Artif. Intell., 2008
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008
Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2008
Elimination of Disjunction and Negation in Answer-Set Programs under Hyperequivalence.
Proceedings of the Logic Programming, 24th International Conference, 2008
Proceedings of the Logic Programming, 24th International Conference, 2008
Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets.
Proceedings of the Foundations of Information and Knowledge Systems, 2008
Proceedings of the Semantic Web: Research and Applications, 2008
2007
Semantical characterizations and complexity of equivalences in answer set programming.
ACM Trans. Comput. Log., 2007
Complexity results for answer set programming with bounded predicate arities and implications.
Ann. Math. Artif. Intell., 2007
Testing Relativised Uniform Equivalence under Answer-Set Projection in the System ccT.
Proceedings of the Applications of Declarative Programming and Knowledge Management, 2007
Proceedings of the Applications of Declarative Programming and Knowledge Management, 2007
Relativised Equivalence in Equilibrium Logic and its Applications to Prediction and Explanation: Preliminary Report.
Proceedings of the LPNMR'07 Workshop on Correspondence and Equivalence for Nonmonotonic Theories (CENT2007), 2007
Alternative Characterizations for Program Equivalence under Answer-Set Semantics: Preliminary Report.
Proceedings of the LPNMR'07 Workshop on Correspondence and Equivalence for Nonmonotonic Theories (CENT2007), 2007
Complexity of Rule Redundancy in Non-ground Answer-Set Programming over Finite Domains.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2007
Proceedings of the IJCAI 2007, 2007
Facts Do Not Cease to Exist Because They Are Ignored: Relativised Uniform Equivalence with Answer-Set Projection.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007
2006
A Tool for Advanced Correspondence Checking in Answer-Set Programming: Preliminary Experimental Results.
Proceedings of the 20th Workshop on Logic Programming, 2006
Proceedings of the 20th Workshop on Logic Programming, 2006
ccT: A Correspondence-Checking Tool for Logic Programs Under the Answer-Set Semantics.
Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006
An Implementation for Recognizing Rule Replacements in Non-ground Answer-Set Programs.
Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006
A Solver for QBFs in Nonprenex Form.
Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006
Proceedings of the Computational Models of Argument: Proceedings of COMMA 2006, 2006
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 Logic Programming, 21st International Conference, 2005
Proceedings of the Inconsistency Tolerance [result from a Dagstuhl seminar], 2005
Strong and Uniform Equivalence in Answer-Set Programming: Characterizations and Complexity Results for the Non-Ground Case.
Proceedings of the Proceedings, 2005
2004
J. Log. Comput., 2004
Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), 2004
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 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
2003
Proceedings of the Theory and Applications of Satisfiability Testing, 2003
Paraconsistent Logics for Reasoning via Quantified Boolean Formulas, II: Circumscribing Inconsistent Theories.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2003
Eliminating Disjunction from Propositional Logic Programs under Stable Model Preservation.
Proceedings of the Answer Set Programming, 2003
Complexity of Answer Set Checking and Bounded Predicate Arities for Non-ground Answer Set Programming.
Proceedings of the Answer Set Programming, 2003
2002
Modal Nonmonotonic Logics Revisited: Efficient Encodings for the Basic Reasoning Tasks.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2002
Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems.
Proceedings of the Paraconsistent Computational Logic, 2002
A polynomial translation of logic programs with nested expressions into disjunctive logic programs: preliminary report.
Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), 2002
2001
Proceedings of the Progress in Artificial Intelligence, 2001
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2001
Proceedings of the Answer Set Programming, 2001
2000
Implementing Default Reasoning Using Quantified Boolean Formulae.
Proceedings of the 14. Workshop Logische Programmierung, 2000
Experimental Evaluation of the Disjunctive Logic Programming Module of the System QUIP.
Proceedings of the WLP 2000, 2000
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000