Stefan Woltran

381 papers A* 68A 18B 39C 27Misc 6Journal 153Unranked 62
YearRankTypeTitle / Venue / Authors
2026 — ed.
Digital Humanism - First Interdisciplinary Science and Research Conference, DIGHUM 2025, Vienna, Austria, November 20-21, 2025, Proceedings
DIGHUM
Ludger Hagedorn, Ute Schmid, Susan J. Winter, Stefan Woltran
2025 A conf
A Novel Equivalence Notion to Compare Answer-Set Programs over Multi-Layered Inputs.
ECAI
Tobias Geibinger, Zeynep G. Saribatur, Stefan Woltran
2025 J jnl
Automated Hybrid Grounding Using Structural and Data-Driven Heuristics.
CoRR
Alexander Beiser, Markus Hecher, Stefan Woltran
2025 J jnl
Automated Hybrid Grounding Using Structural and Data-Driven Heuristics.
Theory Pract. Log. Program.
Alexander Beiser, Stefan Woltran, Markus Hecher
2025 J jnl
Epistemic Logic Programs: Non-Ground and Counting Complexity.
CoRR
Thomas Eiter, Johannes Klaus Fichte, Markus Hecher, Stefan Woltran
2025 A* conf
FastFound: Easing the ASP Bottleneck via Predicate-Decoupled Grounding.
KR
Alexander Beiser, Martin Gebser, Markus Hecher, Stefan Woltran
2025 — conf
On Strong Equivalence Notions in Logic Programming and Abstract Argumentation.
NMR
Giovanni Buraglio, Wolfgang Dvorák, Stefan Woltran
2025 J jnl
Parameterized complexity of abstract argumentation with collective attacks.
Argument Comput.
Wolfgang Dvorák, Matthias König, Stefan Woltran
2025 J jnl
Understanding Verbatim Memorization in LLMs Through Circuit Discovery.
CoRR
Ilya Lasy, Peter Knees, Stefan Woltran
2024 A* conf
A Unified View on Forgetting and Strong Equivalence Notions in Answer Set Programming.
AAAI
Zeynep G. Saribatur, Stefan Woltran
2024 J jnl
Abstract argumentation with conditional preferences.
Argument Comput.
Michael Bernreiter, Wolfgang Dvorák, Stefan Woltran
2024 A* conf
Bypassing the ASP Bottleneck: Hybrid Grounding by Splitting and Rewriting.
IJCAI
Alexander Beiser, Markus Hecher, Kaan Unalan, Stefan Woltran
2024 A conf
Combining Voting and Abstract Argumentation to Understand Online Discussions.
AAMAS
Michael Bernreiter, Jan Maly, Oliviero Nardi, Stefan Woltran
2024 J jnl
Combining Voting and Abstract Argumentation to Understand Online Discussions.
CoRR
Michael Bernreiter, Jan Maly, Oliviero Nardi, Stefan Woltran
2024 — conf
Constrained Derivation in Assumption-Based Argumentation.
FoIKS
Giovanni Buraglio, Wolfgang Dvorák, Anna Rapberger, Stefan Woltran
2024 A* conf
Epistemic Logic Programs: Non-Ground and Counting Complexity.
IJCAI
Thomas Eiter, Johannes Klaus Fichte, Markus Hecher, Stefan Woltran
2024 Misc conf
Equipping Abstract Argumentation Solvers for Verifying Negative Results.
SAC
Wolfgang Dvorák, Alexander Greßler, Stefan Woltran
2024 J jnl
Principles and their Computational Consequences for Argumentation Frameworks with Collective Attacks.
J. Artif. Intell. Res.
Wolfgang Dvorák, Matthias König, Markus Ulbricht, Stefan Woltran
2024 A* conf
Redefining ABA+ Semantics via Abstract Set-to-Set Attacks.
AAAI
Yannis Dimopoulos, Wolfgang Dvorák, Matthias König, Anna Rapberger, Markus Ulbricht, Stefan Woltran
2024 J jnl
Sequent Calculi for Choice Logics.
J. Autom. Reason.
Michael Bernreiter, Anela Lolic, Jan Maly, Stefan Woltran
2024 — conf
Splitting Argumentation Frameworks with Collective Attacks.
SAFA
Giovanni Buraglio, Wolfgang Dvorák, Matthias König, Stefan Woltran
2024 J jnl
The Effect of Preferences in Abstract Argumentation under a Claim-Centric View.
J. Artif. Intell. Res.
Michael Bernreiter, Wolfgang Dvorák, Anna Rapberger, Stefan Woltran
2024 C conf
The GSAF Solver and Verifier.
COMMA
Alexander Greßler, Wolfgang Dvorák, Stefan Woltran
2024 J jnl
Visualizing Extensions of Argumentation Frameworks as Layered Graphs.
CoRR
Martin Nöllenburg, Christian Pirker, Anna Rapberger, Stefan Woltran, Jules Wulms
2023 J jnl
A Unified View on Forgetting and Strong Equivalence Notions in Answer Set Programming.
CoRR
Zeynep G. Saribatur, Stefan Woltran
2023 J jnl
A claim-centric perspective on abstract argumentation semantics: Claim-defeat, principles, and expressiveness.
Artif. Intell.
Wolfgang Dvorák, Anna Rapberger, Stefan Woltran
2023 — conf
Constrained Derivation in Assumption-Based Argumentation.
AI³@AI*IA
Giovanni Buraglio, Wolfgang Dvorák, Anna Rapberger, Stefan Woltran
2023 — conf
Digital Humanism and Norms in Recommender Systems.
NORMalize@RecSys
Erich Prem, Julia Neidhardt, Peter Knees, Stefan Woltran, Hannes Werthner
2023 J jnl
Expressiveness of SETAFs and support-free ADFs under 3-valued semantics.
J. Appl. Non Class. Logics
Wolfgang Dvorák, Atefeh Keshavarzi Zafarghandi, Stefan Woltran
2023 A* conf
Foundations for Projecting Away the Irrelevant in ASP Programs.
KR
Zeynep G. Saribatur, Stefan Woltran
2023 A* conf
Grounding Planning Tasks Using Tree Decompositions and Iterated Solving.
ICAPS
Augusto B. Corrêa, Markus Hecher, Malte Helmert, Davide Mario Longo, Florian Pommerening, Stefan Woltran
2023 A conf
On the Structural Complexity of Grounding - Tackling the ASP Grounding Bottleneck via Epistemic Programs and Treewidth.
ECAI
Viktor Besin, Markus Hecher, Stefan Woltran
2023 — conf
Sets Attacking Sets in Abstract Argumentation.
NMR
Yannis Dimopoulos, Wolfgang Dvorák, Matthias König, Anna Rapberger, Markus Ulbricht, Stefan Woltran
2023 J jnl
Solving Projected Model Counting by Utilizing Treewidth and its Limits.
Artif. Intell.
Johannes Klaus Fichte, Markus Hecher, Michael Morak, Patrick Thier, Stefan Woltran
2023 J jnl
Solving Projected Model Counting by Utilizing Treewidth and its Limits.
CoRR
Johannes Klaus Fichte, Markus Hecher, Michael Morak, Patrick Thier, Stefan Woltran
2023 A* conf
The Effect of Preferences in Abstract Argumentation under a Claim-Centric View.
AAAI
Michael Bernreiter, Wolfgang Dvorák, Anna Rapberger, Stefan Woltran
2023 J jnl
The complexity landscape of claim-augmented argumentation frameworks.
Artif. Intell.
Wolfgang Dvorák, Alexander Greßler, Anna Rapberger, Stefan Woltran
2022 C conf
Abstract Argumentation with Conditional Preferences.
COMMA
Michael Bernreiter, Wolfgang Dvorák, Stefan Woltran
2022 J jnl
Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving.
Artif. Intell.
Thomas Linsbichler, Marco Maratea, Andreas Niskanen, Johannes P. Wallner, Stefan Woltran
2022 A* conf
Body-Decoupled Grounding via Solving: A Novel Approach on the ASP Bottleneck.
IJCAI
Viktor Besin, Markus Hecher, Stefan Woltran
2022 J jnl
Choice logics and their computational properties.
Artif. Intell.
Michael Bernreiter, Jan Maly, Stefan Woltran
2022 J jnl
Comparing the Reasoning Capabilities of Equilibrium Theories and Answer Set Programs.
Algorithms
Jorge Fandinno, David Pearce, Concepción Vidal, Stefan Woltran
2022 — conf
Deletion-Backdoors for Argumentation Frameworks with Collective Attacks.
SAFA
Wolfgang Dvorák, Matthias König, Stefan Woltran
2022 J jnl
Exploiting Database Management Systems and Treewidth for Counting.
Theory Pract. Log. Program.
Johannes Klaus Fichte, Markus Hecher, Patrick Thier, Stefan Woltran
2022 — ch.
It Is Simple, It Is Complicated.
Perspectives on Digital Humanism
Julia Neidhardt, Hannes Werthner, Stefan Woltran
2022 C conf
Non-Admissibility in Abstract Argumentation.
COMMA
Wolfgang Dvorák, Tjitze Rienstra, Leendert van der Torre, Stefan Woltran
2022 J jnl
Recursion in Abstract Argumentation is Hard - On the Complexity of Semantics Based on Weak Admissibility.
J. Artif. Intell. Res.
Wolfgang Dvorák, Markus Ulbricht, Stefan Woltran
2022 A* conf
Rediscovering Argumentation Principles Utilizing Collective Attacks.
KR
Wolfgang Dvorák, Matthias König, Markus Ulbricht, Stefan Woltran
2022 J jnl
Rediscovering Argumentation Principles Utilizing Collective Attacks.
CoRR
Wolfgang Dvorák, Matthias König, Markus Ulbricht, Stefan Woltran
2022 A conf
Sequent Calculi for Choice Logics.
IJCAR
Michael Bernreiter, Anela Lolic, Jan Maly, Stefan Woltran
2022 — conf
The Effect of Preferences in Abstract Argumentation Under a Claim-Centric View.
NMR
Michael Bernreiter, Wolfgang Dvorák, Anna Rapberger, Stefan Woltran
2022 J jnl
The Effect of Preferences in Abstract Argumentation Under a Claim-Centric View.
CoRR
Michael Bernreiter, Wolfgang Dvorák, Anna Rapberger, Stefan Woltran
2022 A* conf
Tractable Abstract Argumentation via Backdoor-Treewidth.
AAAI
Wolfgang Dvorák, Markus Hecher, Matthias König, André Schidler, Stefan Szeider, Stefan Woltran
2022 C conf
Treewidth for Argumentation Frameworks with Collective Attacks.
COMMA
Wolfgang Dvorák, Matthias König, Stefan Woltran
2022 A* conf
Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs (Extended Abstract).
IJCAI
Viktor Besin, Markus Hecher, Stefan Woltran
2021 J jnl
Aspartix-V21.
CoRR
Wolfgang Dvorák, Matthias König, Johannes P. Wallner, Stefan Woltran
2021 J jnl
Beyond Uniform Equivalence between Answer-set Programs.
ACM Trans. Comput. Log.
Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran
2021 A* conf
Choice Logics and Their Computational Properties.
IJCAI
Michael Bernreiter, Jan Maly, Stefan Woltran
2021 J jnl
Choice Logics and Their Computational Properties.
CoRR
Michael Bernreiter, Jan Maly, Stefan Woltran
2021 J jnl
DynASP2.5: Dynamic Programming on Tree Decompositions in Action.
Algorithms
Johannes Klaus Fichte, Markus Hecher, Michael Morak, Stefan Woltran
2021 B conf
Graph-Classes of Argumentation Frameworks with Collective Attacks.
JELIA
Wolfgang Dvorák, Matthias König, Stefan Woltran
2021 A* conf
On the Complexity of Preferred Semantics in Argumentation Frameworks with Bounded Cycle Length.
KR
Wolfgang Dvorák, Matthias König, Stefan Woltran
2021 J jnl
Preface.
Theory Pract. Log. Program.
Marcello Balduccini, Yuliya Lierler, Stefan Woltran
2021 A* conf
Recursion in Abstract Argumentation is Hard - On the Complexity of Semantics Based on Weak Admissibility.
AAAI
Wolfgang Dvorák, Markus Ulbricht, Stefan Woltran
2021 A* conf
The Complexity Landscape of Claim-Augmented Argumentation Frameworks.
AAAI
Wolfgang Dvorák, Alexander Greßler, Anna Rapberger, Stefan Woltran
2021 J jnl
Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs.
CoRR
Viktor Besin, Markus Hecher, Stefan Woltran
2021 J jnl
Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs.
Theory Pract. Log. Program.
Viktor Besin, Markus Hecher, Stefan Woltran
2020 — conf
ASPARTIX-V19 - An Answer-Set Programming Based System for Abstract Argumentation.
FoIKS
Wolfgang Dvorák, Anna Rapberger, Johannes P. Wallner, Stefan Woltran
2020 A* conf
Argumentation Semantics under a Claim-centric View: Properties, Expressiveness and Relation to SETAFs.
KR
Wolfgang Dvorák, Anna Rapberger, Stefan Woltran
2020 J jnl
Complexity of abstract argumentation under a claim-centric view.
Artif. Intell.
Wolfgang Dvorák, Stefan Woltran
2020 — conf
Computational Argumentation - Formal Models and Complexity Results (invited talk).
CILC
Stefan Woltran
2020 J jnl
Computing secure sets in graphs using answer set programming.
J. Log. Comput.
Michael Abseher, Bernhard Bliem, Günther Charwat, Frederico Dusberger, Stefan Woltran
2020 J jnl
Design and results of the Second International Competition on Computational Models of Argumentation.
Artif. Intell.
Sarah Alice Gaggl, Thomas Linsbichler, Marco Maratea, Stefan Woltran
2020 — conf
Encoding Choice Logics in ASP.
ICLP Workshops
Michael Bernreiter, Jan Maly, Stefan Woltran
2020 A conf
Explaining Non-Acceptability in Abstract Argumentation.
ECAI
Zeynep G. Saribatur, Johannes P. Wallner, Stefan Woltran
2020 C conf
Exploiting Database Management Systems and Treewidth for Counting.
PADL
Johannes Klaus Fichte, Markus Hecher, Patrick Thier, Stefan Woltran
2020 J jnl
Exploiting Database Management Systems and Treewidth for Counting.
CoRR
Johannes Klaus Fichte, Markus Hecher, Patrick Thier, Stefan Woltran
2020 C conf
Expressiveness of SETAFs and Support-Free ADFs Under 3-Valued Semantics.
COMMA
Wolfgang Dvorák, Atefeh Keshavarzi Zafarghandi, Stefan Woltran
2020 J jnl
Expressiveness of SETAFs and Support-Free ADFs under 3-valued Semantics.
CoRR
Wolfgang Dvorák, Atefeh Keshavarzi Zafarghandi, Stefan Woltran
2020 J jnl
Investigating subclasses of abstract dialectical frameworks.
Argument Comput.
Martin Diller, Atefeh Keshavarzi Zafarghandi, Thomas Linsbichler, Stefan Woltran
2020 A conf
On the Relation Between Claim-Augmented Argumentation Frameworks and Collective Attacks.
ECAI
Wolfgang Dvorák, Anna Rapberger, Stefan Woltran
2020 J jnl
On the different types of collective attacks in abstract argumentation: equivalence results for SETAFs.
J. Log. Comput.
Wolfgang Dvorák, Anna Rapberger, Stefan Woltran
2020 J jnl
On the limits of forgetting in Answer Set Programming.
Artif. Intell.
Ricardo Gonçalves, Matthias Knorr, João Leite, Stefan Woltran
2020 C conf
Ranking-Based Semantics from the Perspective of Claims.
COMMA
Stefano Bistarelli, Wolfgang Dvorák, Carlo Taticchi, Stefan Woltran
2020 J jnl
Solving Advanced Argumentation Problems with Answer Set Programming.
Theory Pract. Log. Program.
Gerhard Brewka, Martin Diller, Georg Heissenberger, Thomas Linsbichler, Stefan Woltran
2020 A* conf
Structural Decompositions of Epistemic Logic Programs.
AAAI
Markus Hecher, Michael Morak, Stefan Woltran
2020 — conf
Structural Decompositions of Epistemic Logic Programs.
ICLP Workshops
Markus Hecher, Michael Morak, Stefan Woltran
2020 J jnl
Structural Decompositions of Epistemic Logic Programs.
CoRR
Markus Hecher, Michael Morak, Stefan Woltran
2020 A conf
Taming High Treewidth with Abstraction, Nested Dynamic Programming, and Database Technology.
SAT
Markus Hecher, Patrick Thier, Stefan Woltran
2020 C conf
The ASPARTIX System Suite.
COMMA
Wolfgang Dvorák, Sarah Alice Gaggl, Anna Rapberger, Johannes P. Wallner, Stefan Woltran
2020 J jnl
The Impact of Treewidth on Grounding and Solving of Answer Set Programs.
J. Artif. Intell. Res.
Bernhard Bliem, Michael Morak, Marius Moldovan, Stefan Woltran
2020 J jnl
lpopt: A Rule Optimization Tool for Answer Set Programming.
Fundam. Informaticae
Manuel Bichler, Michael Morak, Stefan Woltran
2020 J jnl
selp: A Single-Shot Epistemic Logic Program Solver.
CoRR
Manuel Bichler, Michael Morak, Stefan Woltran
2020 J jnl
selp: A Single-Shot Epistemic Logic Program Solver.
Theory Pract. Log. Program.
Manuel Bichler, Michael Morak, Stefan Woltran
2019 J jnl
A general notion of equivalence for abstract argumentation.
Artif. Intell.
Ringo Baumann, Wolfgang Dvorák, Thomas Linsbichler, Stefan Woltran
2019 J jnl
A multiparametric view on answer set programming.
Ann. Math. Artif. Intell.
Johannes Klaus Fichte, Martin Kronegger, Stefan Woltran
2019 A* conf
Belief Revision Operators with Varying Attitudes Towards Initial Beliefs.
IJCAI
Adrian Haret, Stefan Woltran
2019 A* conf
Complexity of Abstract Argumentation under a Claim-Centric View.
AAAI
Wolfgang Dvorák, Stefan Woltran
2019 J jnl
Design and Results of the Second International Competition on Computational Models of Argumentation.
CoRR
Sarah Alice Gaggl, Thomas Linsbichler, Marco Maratea, Stefan Woltran
2019 J jnl
Expansion-based QBF Solving on Tree Decompositions.
Fundam. Informaticae
Günther Charwat, Stefan Woltran
2019 A* conf
Forgetting in Modular Answer Set Programming.
AAAI
Ricardo Gonçalves, Tomi Janhunen, Matthias Knorr, João Leite, Stefan Woltran
2019 B ed.
Logic Programming and Nonmonotonic Reasoning - 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings
LPNMR
Marcello Balduccini, Yuliya Lierler, Stefan Woltran
2019 B conf
Multi-valued GRAPPA.
JELIA
Gerhard Brewka, Jörg Pührer, Stefan Woltran
2019 J jnl
On Uniform Equivalence of Epistemic Logic Programs.
CoRR
Wolfgang Faber, Michael Morak, Stefan Woltran
2019 J jnl
On Uniform Equivalence of Epistemic Logic Programs.
Theory Pract. Log. Program.
Wolfgang Faber, Michael Morak, Stefan Woltran
2019 J jnl
On the expressive power of collective attacks.
Argument Comput.
Wolfgang Dvorák, Jorge Fandinno, Stefan Woltran
2019 J jnl
Preface.
Ann. Math. Artif. Intell.
Flavio Ferrarotti, Stefan Woltran
2019 J jnl
Preference Orders on Families of Sets - When Can Impossibility Results Be Avoided?
J. Artif. Intell. Res.
Jan Maly, Miroslaw Truszczynski, Stefan Woltran
2019 B conf
Preprocessing Argumentation Frameworks via Replacement Patterns.
JELIA
Wolfgang Dvorák, Matti Järvisalo, Thomas Linsbichler, Andreas Niskanen, Stefan Woltran
2019 J jnl
Solving Advanced Argumentation Problems with Answer Set Programming.
CoRR
Gerhard Brewka, Martin Diller, Georg Heissenberger, Thomas Linsbichler, Stefan Woltran
2019 Misc conf
Strong Equivalence for Argumentation Frameworks with Collective Attacks.
KI
Wolfgang Dvorák, Anna Rapberger, Stefan Woltran
2019 A* conf
Strong Equivalence for Epistemic Logic Programs Made Easy.
AAAI
Wolfgang Faber, Michael Morak, Stefan Woltran
2018 — conf
A New Logic for Jointly Representing Hard and Soft Constraints.
PRUV@IJCAR
Jan Maly, Stefan Woltran
2018 J jnl
Abstract solvers for Dung's argumentation frameworks.
Argument Comput.
Rémi Brochenin, Thomas Linsbichler, Marco Maratea, Johannes P. Wallner, Stefan Woltran
2018 J jnl
An extension-based approach to belief revision in abstract argumentation.
Int. J. Approx. Reason.
Martin Diller, Adrian Haret, Thomas Linsbichler, Stefan Rümmele, Stefan Woltran
2018 J jnl
Answer set programming unleashed!
Künstliche Intell.
Torsten Schaub, Stefan Woltran
2018 A* conf
Belief Update in the Horn Fragment.
IJCAI
Nadia Creignou, Adrian Haret, Odile Papini, Stefan Woltran
2018 J jnl
Complexity of Secure Sets.
Algorithmica
Bernhard Bliem, Stefan Woltran
2018 J jnl
Defensive alliances in graphs of bounded treewidth.
Discret. Appl. Math.
Bernhard Bliem, Stefan Woltran
2018 J jnl
Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment?
Log. Methods Comput. Sci.
Nadia Creignou, Reinhard Pichler, Stefan Woltran
2018 J jnl
Dynamic Programming on Tree Decompositions with D-FLAT.
Künstliche Intell.
Michael Abseher, Bernhard Bliem, Markus Hecher, Marius Moldovan, Stefan Woltran
2018 J jnl
Equivalence between answer-set programs under (partially) fixed input.
Ann. Math. Artif. Intell.
Bernhard Bliem, Stefan Woltran
2018 — conf
Evaluating SETAFs via Answer-Set Programming
SAFA
Wolfgang Dvorák, Alexander Greßler, Stefan Woltran
2018 A conf
Exploiting Treewidth for Projected Model Counting and Its Limits.
SAT
Johannes Klaus Fichte, Markus Hecher, Michael Morak, Stefan Woltran
2018 J jnl
Exploiting Treewidth for Projected Model Counting and its Limits.
CoRR
Johannes Klaus Fichte, Michael Morak, Markus Hecher, Stefan Woltran
2018 — ed.
Foundations of Information and Knowledge Systems - 10th International Symposium, FoIKS 2018, Budapest, Hungary, May 14-18, 2018, Proceedings
FoIKS
Flavio Ferrarotti, Stefan Woltran
2018 J jnl
General Belief Revision.
J. ACM
James P. Delgrande, Pavlos Peppas, Stefan Woltran
2018 J jnl
Interview with Gerhard Brewka.
Künstliche Intell.
Gerhard Brewka, Torsten Schaub, Stefan Woltran
2018 J jnl
Interview with Vladimir Lifschitz.
Künstliche Intell.
Vladimir Lifschitz, Torsten Schaub, Stefan Woltran
2018 C conf
Investigating Subclasses of Abstract Dialectical Frameworks.
COMMA
Martin Diller, Atefeh Keshavarzi Zafarghandi, Thomas Linsbichler, Stefan Woltran
2018 A* conf
Novel Algorithms for Abstract Dialectical Frameworks based on Complexity Analysis of Subclasses and SAT Solving.
IJCAI
Thomas Linsbichler, Marco Maratea, Andreas Niskanen, Johannes P. Wallner, Stefan Woltran
2018 C conf
On the Expressive Power of Collective Attacks.
COMMA
Wolfgang Dvorák, Jorge Fandinno, Stefan Woltran
2018 J jnl
Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XIV).
J. Log. Comput.
João Leite, Tran Cao Son, Paolo Torroni, Stefan Woltran
2018 A* conf
Preference Orders on Families of Sets - When Can Impossibility Results Be Avoided?
IJCAI
Jan Maly, Miroslaw Truszczynski, Stefan Woltran
2018 A* conf
Single-Shot Epistemic Logic Program Solving.
IJCAI
Manuel Bichler, Michael Morak, Stefan Woltran
2018 J jnl
Special Issue on Answer Set Programming.
Künstliche Intell.
Torsten Schaub, Stefan Woltran
2018 J jnl
Strong Equivalence for Epistemic Logic Programs Made Easy (Extended Version).
CoRR
Wolfgang Faber, Michael Morak, Stefan Woltran
2018 J jnl
Summary Report of the Second International Competition on Computational Models of Argumentation.
AI Mag.
Sarah Alice Gaggl, Thomas Linsbichler, Marco Maratea, Stefan Woltran
2018 A* conf
Two Sides of the Same Coin: Belief Revision and Enforcing Arguments.
IJCAI
Adrian Haret, Johannes P. Wallner, Stefan Woltran
2018 A* conf
Variable Elimination for DLP-Functions.
KR
Ricardo Gonçalves, Tomi Janhunen, Matthias Knorr, João Leite, Stefan Woltran
2018 A* conf
Weighted Abstract Dialectical Frameworks.
AAAI
Gerhard Brewka, Hannes Strass, Johannes P. Wallner, Stefan Woltran
2018 J jnl
Weighted Abstract Dialectical Frameworks: Extended and Revised Report.
CoRR
Gerhard Brewka, Jörg Pührer, Hannes Strass, Johannes P. Wallner, Stefan Woltran
2018 A conf
Weighted Model Counting on the GPU by Exploiting Small Treewidth.
ESA
Johannes Klaus Fichte, Markus Hecher, Stefan Woltran, Markus Zisser
2017 A* conf
A General Notion of Equivalence for Abstract Argumentation.
IJCAI
Ringo Baumann, Wolfgang Dvorák, Thomas Linsbichler, Stefan Woltran
2017 — conf
A Multiparametric View on Answer Set Programming.
ASPOCP@LPNMR
Johannes Klaus Fichte, Martin Kronegger, Stefan Woltran
2017 J jnl
Abstract Dialectical Frameworks. An Overview.
FLAP
Gerhard Brewka, Stefan Ellmauthaler, Hannes Strass, Johannes P. Wallner, Stefan Woltran
2017 B conf
Answer Set Solving with Bounded Treewidth Revisited.
LPNMR
Johannes Klaus Fichte, Markus Hecher, Michael Morak, Stefan Woltran
2017 J jnl
Answer Set Solving with Bounded Treewidth Revisited.
CoRR
Johannes Klaus Fichte, Markus Hecher, Michael Morak, Stefan Woltran
2017 J jnl
Defensive Alliances in Graphs of Bounded Treewidth.
CoRR
Bernhard Bliem, Stefan Woltran
2017 — conf
Deviation in Belief Change on Fragments of Propositional Logic.
DKB/KIK@KI
Adrian Haret, Stefan Woltran
2017 J jnl
Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment?
CoRR
Nadia Creignou, Reinhard Pichler, Stefan Woltran
2017 B conf
DynASP2.5: Dynamic Programming on Tree Decompositions in Action.
IPEC
Johannes Klaus Fichte, Markus Hecher, Michael Morak, Stefan Woltran
2017 J jnl
DynASP2.5: Dynamic Programming on Tree Decompositions in Action.
CoRR
Johannes Klaus Fichte, Markus Hecher, Michael Morak, Stefan Woltran
2017 — conf
Expansion-based QBF Solving on Tree Decompositions.
RCRA@AI*IA
Günther Charwat, Stefan Woltran
2017 J jnl
Implementing Courcelle's Theorem in a declarative framework for dynamic programming.
J. Log. Comput.
Bernhard Bliem, Reinhard Pichler, Stefan Woltran
2017 J jnl
Improving the Efficiency of Dynamic Programming on Tree Decompositions via Machine Learning.
J. Artif. Intell. Res.
Michael Abseher, Nysret Musliu, Stefan Woltran
2017 J jnl
Merging in the Horn Fragment.
ACM Trans. Comput. Log.
Adrian Haret, Stefan Rümmele, Stefan Woltran
2017 A* conf
On the Complexity of Enumerating the Extensions of Abstract Argumentation Frameworks.
IJCAI
Markus Kröll, Reinhard Pichler, Stefan Woltran
2017 — conf
Ranking Specific Sets of Objects.
BTW (Workshops)
Jan Maly, Stefan Woltran
2017 J jnl
Ranking Specific Sets of Objects.
Datenbank-Spektrum
Jan Maly, Stefan Woltran
2017 A* conf
Solving Advanced Argumentation Problems with Answer-Set Programming.
AAAI
Gerhard Brewka, Martin Diller, Georg Heissenberger, Thomas Linsbichler, Stefan Woltran
2017 A* conf
The Impact of Treewidth on ASP Grounding and Solving.
IJCAI
Bernhard Bliem, Marius Moldovan, Michael Morak, Stefan Woltran
2017 J jnl
When You Must Forget: beyond strong persistence when forgetting in answer set programming.
CoRR
Ricardo Gonçalves, Matthias Knorr, João Leite, Stefan Woltran
2017 J jnl
When you must forget: Beyond strong persistence when forgetting in answer set programming.
Theory Pract. Log. Program.
Ricardo Gonçalves, Matthias Knorr, João Leite, Stefan Woltran
2017 B conf
htd - A Free, Open-Source Framework for (Customized) Tree Decompositions and Beyond.
CPAIOR
Michael Abseher, Nysret Musliu, Stefan Woltran
2016 A* conf
ASP for Anytime Dynamic Programming on Tree Decompositions.
IJCAI
Bernhard Bliem, Benjamin Kaufmann, Torsten Schaub, Stefan Woltran
2016 J jnl
Belief Merging within Fragments of Propositional Logic.
ACM Trans. Comput. Log.
Nadia Creignou, Odile Papini, Stefan Rümmele, Stefan Woltran
2016 A conf
Beyond IC Postulates: Classification Criteria for Merging Operators.
ECAI
Adrian Haret, Andreas Pfandler, Stefan Woltran
2016 A conf
Clique-Width and Directed Width Measures for Answer-Set Programming.
ECAI
Bernhard Bliem, Sebastian Ordyniak, Stefan Woltran
2016 J jnl
Clique-Width and Directed Width Measures for Answer-Set Programming.
CoRR
Bernhard Bliem, Sebastian Ordyniak, Stefan Woltran
2016 J jnl
Counting Answer Sets via Dynamic Programming.
CoRR
Johannes Klaus Fichte, Markus Hecher, Michael Morak, Stefan Woltran
2016 J jnl
D-FLAT
Fundam. Informaticae
Bernhard Bliem, Günther Charwat, Markus Hecher, Stefan Woltran
2016 A* conf
Distributing Knowledge into Simple Bases.
IJCAI
Adrian Haret, Jean-Guy Mailly, Stefan Woltran
2016 J jnl
Distributing Knowledge into Simple Bases.
CoRR
Adrian Haret, Jean-Guy Mailly, Stefan Woltran
2016 — conf
Dynamic Programming-based QBF Solving.
QBF@SAT
Günther Charwat, Stefan Woltran
2016 — conf
Equivalence Between Answer-Set Programs Under (Partially) Fixed Input.
FoIKS
Bernhard Bliem, Stefan Woltran
2016 C conf
GrappaVis - A System for Advanced Graph-Based Argumentation.
COMMA
Georg Heissenberger, Stefan Woltran
2016 — conf
Introducing the Second International Competition on Computational Models of Argumentation.
SAFA
Sarah Alice Gaggl, Thomas Linsbichler, Marco Maratea, Stefan Woltran
2016 A* conf
Investigating the Relationship between Argumentation Semantics via Signatures.
IJCAI
Paul E. Dunne, Christof Spanring, Thomas Linsbichler, Stefan Woltran
2016 A* conf
Merging of Abstract Argumentation Frameworks.
KR
Jérôme Delobelle, Adrian Haret, Sébastien Konieczny, Jean-Guy Mailly, Julien Rossit, Stefan Woltran
2016 C conf
On Efficiently Enumerating Semi-Stable Extensions via Dynamic Programming on Tree Decompositions.
COMMA
Bernhard Bliem, Markus Hecher, Stefan Woltran
2016 J jnl
On rejected arguments and implicit conflicts: The hidden power of argumentation semantics.
Artif. Intell.
Ringo Baumann, Wolfgang Dvorák, Thomas Linsbichler, Christof Spanring, Hannes Strass, Stefan Woltran
2016 A* conf
On the Functional Completeness of Argumentation Semantics.
KR
Massimiliano Giacomin, Thomas Linsbichler, Stefan Woltran
2016 Misc conf
Providing Built-In Counters in a Declarative Dynamic Programming Environment.
KI
Michael Abseher, Marius Moldovan, Stefan Woltran
2016 J jnl
Shift Design with Answer Set Programming.
Fundam. Informaticae
Michael Abseher, Martin Gebser, Nysret Musliu, Torsten Schaub, Stefan Woltran
2016 — conf
Subset Minimization in Dynamic Programming on Tree Decompositions.
AAAI Workshop: Beyond NP
Bernhard Bliem, Günther Charwat, Markus Hecher, Stefan Woltran
2016 J jnl
The Power of Non-Ground Rules in Answer Set Programming.
CoRR
Manuel Bichler, Michael Morak, Stefan Woltran
2016 J jnl
The power of non-ground rules in Answer Set Programming.
Theory Pract. Log. Program.
Manuel Bichler, Michael Morak, Stefan Woltran
2016 J jnl
The role of self-attacking arguments in characterizations of equivalence notions.
J. Log. Comput.
Ringo Baumann, Stefan Woltran
2016 — conf
Towards Advanced Systems for Abstract Argumentation.
SAFA
Stefan Woltran
2016 A conf
Translation-Based Revision and Merging for Minimal Horn Reasoning.
ECAI
Gerhard Brewka, Jean-Guy Mailly, Stefan Woltran
2016 C conf
Verifiability of Argumentation Semantics.
COMMA
Ringo Baumann, Thomas Linsbichler, Stefan Woltran
2016 J jnl
Verifiability of Argumentation Semantics.
CoRR
Ringo Baumann, Thomas Linsbichler, Stefan Woltran
2016 C conf
lpopt: A Rule Optimization Tool for Answer Set Programming.
LOPSTR
Manuel Bichler, Michael Morak, Stefan Woltran
2016 J jnl
lpopt: A Rule Optimization Tool for Answer Set Programming.
CoRR
Manuel Bichler, Michael Morak, Stefan Woltran
2015 — conf
A Glimpse on Gerhard Brewka's Contributions to Artificial Intelligence.
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation
Thomas Eiter, Hannes Strass, Miroslaw Truszczynski, Stefan Woltran
2015 — conf
Abstract Solvers for Dung's Argumentation Frameworks.
TAFA
Rémi Brochenin, Thomas Linsbichler, Marco Maratea, Johannes Peter Wallner, Stefan Woltran
2015 — ed.
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation - Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation
Thomas Eiter, Hannes Strass, Miroslaw Truszczynski, Stefan Woltran
2015 A* conf
An Extension-Based Approach to Belief Revision in Abstract Argumentation.
IJCAI
Martin Diller, Adrian Haret, Thomas Linsbichler, Stefan Rümmele, Stefan Woltran
2015 J jnl
Applications of logical approaches to argumentation.
Argument Comput.
João Leite, Tran Cao Son, Paolo Torroni, Stefan Woltran
2015 J jnl
Characteristics of multiple viewpoints in abstract argumentation.
Artif. Intell.
Paul E. Dunne, Wolfgang Dvorák, Thomas Linsbichler, Stefan Woltran
2015 B conf
Complexity of Secure Sets.
WG
Bernhard Bliem, Stefan Woltran
2015 A* conf
Complexity-Sensitive Decision Procedures for Abstract Argumentation (Extended Abstract).
IJCAI
Wolfgang Dvorák, Matti Järvisalo, Johannes Peter Wallner, Stefan Woltran
2015 J jnl
Dual-normal Logic Programs - the Forgotten Class.
CoRR
Johannes Klaus Fichte, Miroslaw Truszczynski, Stefan Woltran
2015 J jnl
Dual-normal logic programs - the forgotten class.
Theory Pract. Log. Program.
Johannes Klaus Fichte, Miroslaw Truszczynski, Stefan Woltran
2015 Misc conf
Dynamic Programming on Tree Decompositions in Practice - Some Lessons Learned.
SYNASC
Stefan Woltran
2015 B conf
Efficient Problem Solving on Tree Decompositions Using Binary Decision Diagrams.
LPNMR
Günther Charwat, Stefan Woltran
2015 J jnl
Improved Answer-Set Programming Encodings for Abstract Argumentation.
CoRR
Sarah Alice Gaggl, Norbert Manthey, Alessandro Ronca, Johannes P. Wallner, Stefan Woltran
2015 J jnl
Improved answer-set programming encodings for abstract argumentation.
Theory Pract. Log. Program.
Sarah Alice Gaggl, Norbert Manthey, Alessandro Ronca, Johannes P. Wallner, Stefan Woltran
2015 A* conf
Improving the Efficiency of Dynamic Programming on Tree Decompositions via Machine Learning.
IJCAI
Michael Abseher, Frederico Dusberger, Nysret Musliu, Stefan Woltran
2015 A* conf
Merging in the Horn Fragment.
IJCAI
Adrian Haret, Stefan Rümmele, Stefan Woltran
2015 J jnl
Methods for solving reasoning problems in abstract argumentation - A survey.
Artif. Intell.
Günther Charwat, Wolfgang Dvorák, Sarah Alice Gaggl, Johannes P. Wallner, Stefan Woltran
2015 — conf
On the Functional Completeness of Argumentation Semantics.
DKB/KIK@KI
Massimiliano Giacomin, Thomas Linsbichler, Stefan Woltran
2015 A* conf
On the Parameterized Complexity of Belief Revision.
IJCAI
Andreas Pfandler, Stefan Rümmele, Johannes Peter Wallner, Stefan Woltran
2015 J jnl
Reasoning in abstract dialectical frameworks using quantified Boolean formulas.
Argument Comput.
Martin Diller, Johannes P. Wallner, Stefan Woltran
2015 B conf
Shift Design with Answer Set Programming.
LPNMR
Michael Abseher, Martin Gebser, Nysret Musliu, Torsten Schaub, Stefan Woltran
2015 — conf
The Hidden Power of Abstract Argumentation Semantics.
TAFA
Thomas Linsbichler, Christof Spanring, Stefan Woltran
2015 J jnl
The complexity of handling minimal solutions in logic-based abduction.
J. Log. Comput.
Andreas Pfandler, Reinhard Pichler, Stefan Woltran
2014 A conf
Belief merging within fragments of propositional logic.
ECAI
Nadia Creignou, Odile Papini, Stefan Rümmele, Stefan Woltran
2014 J jnl
Belief merging within fragments of propositional logic.
CoRR
Nadia Creignou, Odile Papini, Stefan Rümmele, Stefan Woltran
2014 J jnl
Belief revision within fragments of propositional logic.
J. Comput. Syst. Sci.
Nadia Creignou, Odile Papini, Reinhard Pichler, Stefan Woltran
2014 A* conf
Characteristics of Multiple Viewpoints in Abstract Argumentation.
KR
Paul E. Dunne, Wolfgang Dvorák, Thomas Linsbichler, Stefan Woltran
2014 A conf
Compact Argumentation Frameworks.
ECAI
Ringo Baumann, Wolfgang Dvorák, Thomas Linsbichler, Hannes Strass, Stefan Woltran
2014 J jnl
Compact Argumentation Frameworks.
CoRR
Ringo Baumann, Wolfgang Dvorák, Thomas Linsbichler, Hannes Strass, Stefan Woltran
2014 J jnl
Complexity of Secure Sets.
CoRR
Bernhard Bliem, Stefan Woltran
2014 J jnl
Complexity of super-coherence problems in ASP.
Theory Pract. Log. Program.
Mario Alviano, Wolfgang Faber, Stefan Woltran
2014 J jnl
Complexity-sensitive decision procedures for abstract argumentation.
Artif. Intell.
Wolfgang Dvorák, Matti Järvisalo, Johannes Peter Wallner, Stefan Woltran
2014 A conf
GRAPPA: A Semantical Framework for Graph-Based Argument Processing.
ECAI
Gerhard Brewka, Stefan Woltran
2014 J jnl
Generalizations of Dung Frameworks and Their Role in Formal Argumentation.
IEEE Intell. Syst.
Gerhard Brewka, Sylwia Polberg, Stefan Woltran
2014 — ed.
Graph Structures for Knowledge Representation and Reasoning - Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers
GKR
Madalina Croitoru, Sebastian Rudolph, Stefan Woltran, Christophe Gonzales
2014 J jnl
Modularity Aspects of Disjunctive Stable Models.
CoRR
Tomi Janhunen, Emilia Oikarinen, Hans Tompits, Stefan Woltran
2014 J jnl
On the Intertranslatability of Argumentation Semantics.
CoRR
Wolfgang Dvorák, Stefan Woltran
2014 — conf
Probabilistic Argumentation Frameworks - A Logical Approach.
SUM
Dragan Doder, Stefan Woltran
2014 C conf
Reasoning in Abstract Dialectical Frameworks Using Quantified Boolean Formulas.
COMMA
Martin Diller, Johannes Peter Wallner, Stefan Woltran
2014 C conf
Resolution-Based Grounded Semantics Revisited.
COMMA
Wolfgang Dvorák, Thomas Linsbichler, Emilia Oikarinen, Stefan Woltran
2014 B conf
The D-FLAT System for Dynamic Programming on Tree Decompositions.
JELIA
Michael Abseher, Bernhard Bliem, Günther Charwat, Frederico Dusberger, Markus Hecher, Stefan Woltran
2014 J jnl
Tractable answer-set programming with weight constraints: bounded treewidth is not enough.
Theory Pract. Log. Program.
Reinhard Pichler, Stefan Rümmele, Stefan Szeider, Stefan Woltran
2013 J jnl
A Model-Theoretic Approach to Belief Change in Answer Set Programming.
ACM Trans. Comput. Log.
James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran
2013 B conf
AGM-Style Belief Revision of Logic Programs under Answer Set Semantics.
LPNMR
James P. Delgrande, Pavlos Peppas, Stefan Woltran
2013 B conf
ARVis: Visualizing Relations between Answer Sets.
LPNMR
Thomas Ambroz, Günther Charwat, Andreas Jusits, Johannes Peter Wallner, Stefan Woltran
2013 A* conf
Abstract Dialectical Frameworks Revisited.
IJCAI
Gerhard Brewka, Hannes Strass, Stefan Ellmauthaler, Johannes Peter Wallner, Stefan Woltran
2013 A* conf
Abstract Preference Frameworks - a Unifying Perspective on Separability and Strong Equivalence.
AAAI
Wolfgang Faber, Miroslaw Truszczynski, Stefan Woltran
2013 — conf
Admissibility in the Abstract Dialectical Framework.
CLIMA
Sylwia Polberg, Johannes Peter Wallner, Stefan Woltran
2013 — conf
Advanced SAT Techniques for Abstract Argumentation.
CLIMA
Johannes Peter Wallner, Georg Weissenbacher, Stefan Woltran
2013 J jnl
Complexity of redundancy detection on RDF graphs in the presence of rules, constraints, and queries.
Semantic Web
Reinhard Pichler, Axel Polleres, Sebastian Skritek, Stefan Woltran
2013 — ed.
Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings
CLIMA
João Leite, Tran Cao Son, Paolo Torroni, Leon van der Torre, Stefan Woltran
2013 B conf
Declarative Dynamic Programming as an Alternative Realization of Courcelle's Theorem.
IPEC
Bernhard Bliem, Reinhard Pichler, Stefan Woltran
2013 A* conf
Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment?
IJCAI
Nadia Creignou, Reinhard Pichler, Stefan Woltran
2013 J jnl
Model-based recasting in answer-set programming.
J. Appl. Non Class. Logics
Thomas Eiter, Michael Fink, Jörg Pührer, Hans Tompits, Stefan Woltran
2013 J jnl
Parametric properties of ideal semantics.
Artif. Intell.
Paul E. Dunne, Wolfgang Dvorák, Stefan Woltran
2013 J jnl
Strong Equivalence of Qualitative Optimization Problems.
J. Artif. Intell. Res.
Wolfgang Faber, Miroslaw Truszczynski, Stefan Woltran
2013 C conf
Structural Properties for Deductive Argument Systems.
ECSQARU
Anthony Hunter, Stefan Woltran
2013 J jnl
The cf2 argumentation semantics revisited.
J. Log. Comput.
Sarah Alice Gaggl, Stefan Woltran
2013 J jnl
Utilizing ASP for Generating and Visualizing Argumentation Frameworks
CoRR
Günther Charwat, Johannes Peter Wallner, Stefan Woltran
2012 — conf
Abstract Argumentation via Monadic Second Order Logic.
SUM
Wolfgang Dvorák, Stefan Szeider, Stefan Woltran
2012 A* conf
Belief Revision within Fragments of Propositional Logic.
KR
Nadia Creignou, Odile Papini, Reinhard Pichler, Stefan Woltran
2012 J jnl
Complexity of super-coherence problems in ASP
CoRR
Mario Alviano, Wolfgang Faber, Stefan Woltran
2012 A* conf
Complexity-Sensitive Decision Procedures for Abstract Argumentation.
KR
Wolfgang Dvorák, Matti Järvisalo, Johannes Peter Wallner, Stefan Woltran
2012 C ed.
Computational Models of Argument - Proceedings of COMMA 2012, Vienna, Austria, September 10-12, 2012
COMMA
Bart Verheij, Stefan Szeider, Stefan Woltran
2012 J jnl
D-FLAT: Declarative Problem Solving Using Tree Decompositions and Answer-Set Programming
CoRR
Bernhard Bliem, Michael Morak, Stefan Woltran
2012 J jnl
D-FLAT: Declarative problem solving using tree decompositions and answer-set programming.
Theory Pract. Log. Program.
Bernhard Bliem, Michael Morak, Stefan Woltran
2012 — conf
Evaluating Tree-Decomposition Based Algorithms for Answer Set Programming.
LION
Michael Morak, Nysret Musliu, Reinhard Pichler, Stefan Rümmele, Stefan Woltran
2012 C conf
Multicut on Graphs of Bounded Clique-Width.
COCOA
Martin Lackner, Reinhard Pichler, Stefan Rümmele, Stefan Woltran
2012 — conf
Parameterized Splitting: A Simple Modification-Based Approach.
Correct Reasoning
Ringo Baumann, Gerhard Brewka, Wolfgang Dvorák, Stefan Woltran
2012 — conf
Preprocessing of Complex Non-Ground Rules in Answer Set Programming.
ICLP (Technical Communications)
Michael Morak, Stefan Woltran
2012 A* conf
Strong Equivalence of Qualitative Optimization Problems.
KR
Wolfgang Faber, Miroslaw Truszczynski, Stefan Woltran
2012 J jnl
Towards fixed-parameter tractable algorithms for abstract argumentation.
Artif. Intell.
Wolfgang Dvorák, Reinhard Pichler, Stefan Woltran
2012 J jnl
Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth is not Enough
CoRR
Reinhard Pichler, Stefan Rümmele, Stefan Szeider, Stefan Woltran
2011 B conf
A New Tree-Decomposition Based Algorithm for Answer Set Programming.
ICTAI
Michael Morak, Nysret Musliu, Reinhard Pichler, Stefan Rümmele, Stefan Woltran
2011 J jnl
Characterizing strong equivalence for argumentation frameworks.
Artif. Intell.
Emilia Oikarinen, Stefan Woltran
2011 — conf
Complexity of Super-Coherence Problems in Answer Set Programming.
CILC
Mario Alviano, Wolfgang Faber, Stefan Woltran
2011 J jnl
Complexity of logic-based argumentation in Post's framework.
Argument Comput.
Nadia Creignou, Johannes Schmidt, Michael Thomas, Stefan Woltran
2011 J jnl
Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems
CoRR
Wolfgang Dvorák, Sarah Alice Gaggl, Johannes P. Wallner, Stefan Woltran
2011 — conf
Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems.
INAP/WLP
Wolfgang Dvorák, Sarah Alice Gaggl, Johannes Peter Wallner, Stefan Woltran
2011 — conf
Manifold Answer-Set Programs and Their Applications.
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning
Wolfgang Faber, Stefan Woltran
2011 J jnl
On the Intertranslatability of Argumentation Semantics.
J. Artif. Intell. Res.
Wolfgang Dvorák, Stefan Woltran
2011 A* conf
Parametric Properties of Ideal Semantics.
IJCAI
Wolfgang Dvorák, Paul E. Dunne, Stefan Woltran
2011 A* conf
Relating the Semantics of Abstract Dialectical Frameworks and Standard AFs.
IJCAI
Gerhard Brewka, Paul E. Dunne, Stefan Woltran
2011 J jnl
Special issue on answer set programming.
AI Commun.
Marcello Balduccini, Stefan Woltran
2011 C conf
Strong Equivalence for Argumentation Semantics Based on Conflict-Free Sets.
ECSQARU
Sarah Alice Gaggl, Stefan Woltran
2011 J jnl
Strong Equivalence of Qualitative Optimization Problems
CoRR
Wolfgang Faber, Miroslaw Truszczynski, Stefan Woltran
2011 J jnl
dynPARTIX - A Dynamic Programming Reasoner for Abstract Argumentation
CoRR
Wolfgang Dvorák, Michael Morak, Clemens Nopp, Stefan Woltran
2011 — conf
dynPARTIX - A Dynamic Programming Reasoner for Abstract Argumentation.
INAP/WLP
Wolfgang Dvorák, Michael Morak, Clemens Nopp, Stefan Woltran
2010 B conf
A Dynamic-Programming Based ASP-Solver.
JELIA
Michael Morak, Reinhard Pichler, Stefan Rümmele, Stefan Woltran
2010 A* conf
Abstract Dialectical Frameworks.
KR
Gerhard Brewka, Stefan Woltran
2010 J jnl
Answer-set programming encodings for argumentation frameworks.
Argument Comput.
Uwe Egly, Sarah Alice Gaggl, Stefan Woltran
2010 A* conf
Characterizing Strong Equivalence for Argumentation Frameworks.
KR
Emilia Oikarinen, Stefan Woltran
2010 J jnl
Complexity of semi-stable and stage semantics in argumentation frameworks.
Inf. Process. Lett.
Wolfgang Dvorák, Stefan Woltran
2010 — conf
Counting and Enumeration Problems with Bounded Treewidth.
LPAR (Dakar)
Reinhard Pichler, Stefan Rümmele, Stefan Woltran
2010 — conf
Equivalence between Extended Datalog Programs - A Brief Survey.
Datalog
Stefan Woltran
2010 — conf
Minimising RDF Graphs under Rules and Constraints Revisited.
AMW
Reinhard Pichler, Axel Polleres, Sebastian Skritek, Stefan Woltran
2010 C conf
Multicut Algorithms via Tree Decompositions.
CIAC
Reinhard Pichler, Stefan Rümmele, Stefan Woltran
2010 C conf
Reasoning in Argumentation Frameworks of Bounded Clique-Width.
COMMA
Wolfgang Dvorák, Stefan Szeider, Stefan Woltran
2010 — conf
Redundancy Elimination on RDF Graphs in the Presence of Rules, Constraints, and Queries.
RR
Reinhard Pichler, Axel Polleres, Sebastian Skritek, Stefan Woltran
2010 A* conf
Representing Preferences Among Sets.
AAAI
Gerhard Brewka, Miroslaw Truszczynski, Stefan Woltran
2010 B conf
Sets of Boolean Connectives That Make Argumentation Easier.
JELIA
Nadia Creignou, Johannes Schmidt, Michael Thomas, Stefan Woltran
2010 — conf
Strong Equivalence in Argumentation.
CLIMA
Stefan Woltran
2010 A conf
The Complexity of Handling Minimal Solutions in Logic-Based Abduction.
ECAI
Reinhard Pichler, Stefan Woltran
2010 A* conf
Towards Fixed-Parameter Tractable Algorithms for Argumentation.
KR
Wolfgang Dvorák, Reinhard Pichler, Stefan Woltran
2010 A* conf
Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth Is not Enough.
KR
Reinhard Pichler, Stefan Rümmele, Stefan Szeider, Stefan Woltran
2010 C conf
cf2 Semantics Revisited.
COMMA
Sarah Alice Gaggl, Stefan Woltran
2009 J jnl
A general approach to belief change in answer set programming
CoRR
James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran
2009 J jnl
A solver for QBFs in negation normal form.
Constraints An Int. J.
Uwe Egly, Martina Seidl, Stefan Woltran
2009 C conf
Alternation as a programming paradigm.
PPDP
Wolfgang Dvorák, Georg Gottlob, Reinhard Pichler, Stefan Woltran
2009 A* conf
Answer-Set Programming with Bounded Treewidth.
IJCAI
Michael Jakl, Reinhard Pichler, Stefan Woltran
2009 B conf
Belief Revision with Bounded Treewidth.
LPNMR
Reinhard Pichler, Stefan Rümmele, Stefan Woltran
2009 J jnl
Characterising equilibrium logic and nested logic programs: Reductions and complexity
CoRR
David Pearce, Hans Tompits, Stefan Woltran
2009 J jnl
Characterising equilibrium logic and nested logic programs: Reductions and complexity
Theory Pract. Log. Program.
David Pearce, Hans Tompits, Stefan Woltran
2009 J jnl
Encoding deductive argumentation in quantified Boolean formulae.
Artif. Intell.
Philippe Besnard, Anthony Hunter, Stefan Woltran
2009 B conf
Manifold Answer-Set Programs for Meta-reasoning.
LPNMR
Wolfgang Faber, Stefan Woltran
2009 B conf
Merging Logic Programs under Answer Set Semantics.
ICLP
James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran
2009 J jnl
Modularity Aspects of Disjunctive Stable Models.
J. Artif. Intell. Res.
Tomi Janhunen, Emilia Oikarinen, Hans Tompits, Stefan Woltran
2009 J jnl
Relativized hyperequivalence of logic programs for modular programming
CoRR
Miroslaw Truszczynski, Stefan Woltran
2009 J jnl
Relativized hyperequivalence of logic programs for modular programming.
Theory Pract. Log. Program.
Miroslaw Truszczynski, Stefan Woltran
2009 B conf
ccT on Stage: Generalised Uniform Equivalence Testing for Verifying Student Assignment Solutions.
LPNMR
Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran
2008 J jnl
A common view on strong, uniform, and other notions of equivalence in answer-set programming.
Theory Pract. Log. Program.
Stefan Woltran
2008 B conf
ASPARTIX: Implementing Argumentation Frameworks Using Answer-Set Programming.
ICLP
Uwe Egly, Sarah Alice Gaggl, Stefan Woltran
2008 — conf
Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets.
FoIKS
Martin Gebser, Torsten Schaub, Hans Tompits, Stefan Woltran
2008 A* conf
Belief Revision of Logic Programs under Answer Set Semantics.
KR
James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran
2008 B conf
Elimination of Disjunction and Negation in Answer-Set Programs under Hyperequivalence.
ICLP
Jörg Pührer, Hans Tompits, Stefan Woltran
2008 B conf
Fast Counting with Bounded Treewidth.
LPAR
Michael Jakl, Reinhard Pichler, Stefan Rümmele, Stefan Woltran
2008 A* conf
Hyperequivalence of Logic Programs with Respect to Supported Models.
AAAI
Miroslaw Truszczynski, Stefan Woltran
2008 Misc conf
Hyperequivalence of Programs and Operators.
ISAIM
Miroslaw Truszczynski, Stefan Woltran
2008 J jnl
Hyperequivalence of logic programs with respect to supported models.
Ann. Math. Artif. Intell.
Miroslaw Truszczynski, Stefan Woltran
2008 A* conf
Notions of Strong Equivalence for Logic Programs with Ordered Disjunction.
KR
Wolfgang Faber, Hans Tompits, Stefan Woltran
2008 B conf
Relativized Hyperequivalence of Logic Programs for Modular Programming.
ICLP
Miroslaw Truszczynski, Stefan Woltran
2008 B conf
dRDF: Entailment for Domain-Restricted RDF.
ESWC
Reinhard Pichler, Axel Polleres, Fang Wei, Stefan Woltran
2007 J jnl
A Common View on Strong, Uniform, and Other Notions of Equivalence in Answer-Set Programming
CoRR
Stefan Woltran
2007 — conf
A Common View on Strong, Uniform, and Other Notions of Equivalence in Answer-Set Programming.
CENT
Stefan Woltran
2007 — conf
Alternative Characterizations for Program Equivalence under Answer-Set Semantics: Preliminary Report.
CENT
Martin Gebser, Torsten Schaub, Hans Tompits, Stefan Woltran
2007 A* conf
Complexity Results for Checking Equivalence of Stratified Logic Programs.
IJCAI
Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran
2007 B conf
Complexity of Rule Redundancy in Non-ground Answer-Set Programming over Finite Domains.
LPNMR
Michael Fink, Reinhard Pichler, Hans Tompits, Stefan Woltran
2007 J jnl
Complexity results for answer set programming with bounded predicate arities and implications.
Ann. Math. Artif. Intell.
Thomas Eiter, Wolfgang Faber, Michael Fink, Stefan Woltran
2007 B conf
Debugging ASP Programs by Means of ASP.
LPNMR
Martin Brain, Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits, Stefan Woltran
2007 A* conf
Facts Do Not Cease to Exist Because They Are Ignored: Relativised Uniform Equivalence with Answer-Set Projection.
AAAI
Johannes Oetsch, Hans Tompits, Stefan Woltran
2007 B conf
Modularity Aspects of Disjunctive Stable Models.
LPNMR
Tomi Janhunen, Emilia Oikarinen, Hans Tompits, Stefan Woltran
2007 — ed.
Proceedings of the LPNMR'07 Workshop on Correspondence and Equivalence for Nonmonotonic Theories (CENT2007), Tempe, AZ, USA, May 14, 2007
CENT
David Pearce, Axel Polleres, Agustín Valverde, Stefan Woltran
2007 — conf
Relativised Equivalence in Equilibrium Logic and its Applications to Prediction and Explanation: Preliminary Report.
CENT
David Pearce, Hans Tompits, Stefan Woltran
2007 J jnl
Semantical characterizations and complexity of equivalences in answer set programming.
ACM Trans. Comput. Log.
Thomas Eiter, Michael Fink, Stefan Woltran
2007 — conf
Testing Relativised Uniform Equivalence under Answer-Set Projection in the System ccT.
INAP/WLP
Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran
2007 — conf
spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics.
INAP/WLP
Martin Gebser, Jörg Pührer, Torsten Schaub, Hans Tompits, Stefan Woltran
2006 — ed.
20th Workshop on Logic Programming, Vienna, Austria, February 22--24, 2006
WLP
Michael Fink, Hans Tompits, Stefan Woltran
2006 A conf
A Solver for QBFs in Nonprenex Form.
ECAI
Uwe Egly, Martina Seidl, Stefan Woltran
2006 — conf
A Tool for Advanced Correspondence Checking in Answer-Set Programming: Preliminary Experimental Results.
WLP
Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran
2006 B conf
An Implementation for Recognizing Rule Replacements in Non-ground Answer-Set Programs.
JELIA
Thomas Eiter, Patrick Traxler, Stefan Woltran
2006 C conf
Reasoning in Argumentation Frameworks Using Quantified Boolean Formulas.
COMMA
Uwe Egly, Stefan Woltran
2006 A* conf
Replacements in Non-Ground Answer-Set Programming.
KR
Thomas Eiter, Michael Fink, Hans Tompits, Patrick Traxler, Stefan Woltran
2006 — conf
Replacements in Non-Ground Answer-Set Programming.
WLP
Thomas Eiter, Michael Fink, Hans Tompits, Patrick Traxler, Stefan Woltran
2006 B conf
ccT: A Correspondence-Checking Tool for Logic Programs Under the Answer-Set Semantics.
JELIA
Johannes Oetsch, Martina Seidl, Hans Tompits, Stefan Woltran
2005 A* conf
On Solution Correspondences in Answer-Set Programming.
IJCAI
Thomas Eiter, Hans Tompits, Stefan Woltran
2005 J jnl
On deciding subsumption problems.
Ann. Math. Artif. Intell.
Uwe Egly, Reinhard Pichler, Stefan Woltran
2005 — conf
Representing Paraconsistent Reasoning via Quantified Propositional Logic.
Inconsistency Tolerance
Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran
2005 J jnl
Semantical Characterizations and Complexity of Equivalences in Answer Set Programming
CoRR
Thomas Eiter, Michael Fink, Stefan Woltran
2005 A* conf
Strong and Uniform Equivalence in Answer-Set Programming: Characterizations and Complexity Results for the Non-Ground Case.
AAAI
Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran
2005 — conf
Towards Implementations for Advanced Equivalence Checking in Answer-Set Programming.
Answer Set Programming
Hans Tompits, Stefan Woltran
2005 B conf
Towards Implementations for Advanced Equivalence Checking in Answer-Set Programming.
ICLP
Hans Tompits, Stefan Woltran
2004 B conf
Characterizations for Relativized Notions of Equivalence in Answer Set Programming.
JELIA
Stefan Woltran
2004 A* conf
Complexity of Model Checking and Bounded Predicate Arities for Non-ground Answer Set Programming.
KR
Thomas Eiter, Wolfgang Faber, Michael Fink, Gerald Pfeifer, Stefan Woltran
2004 B conf
On Acyclic and Head-Cycle Free Nested Logic Programs.
ICLP
Thomas Linke, Hans Tompits, Stefan Woltran
2004 J jnl
On Computing Belief Change Operations using Quantified Boolean Formulas.
J. Log. Comput.
James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran
2004 A* conf
On Eliminating Disjunctions in Stable Logic Programming.
KR
Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran
2004 — conf
On acyclic and head-cycle free nested logic programs.
NMR
Thomas Linke, Hans Tompits, Stefan Woltran
2004 B conf
Simplifying Logic Programs Under Uniform and Strong Equivalence.
LPNMR
Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran
2004 B conf
nlp: A Compiler for Nested Logic Programming.
LPNMR
Vladimir Sarsakov, Torsten Schaub, Hans Tompits, Stefan Woltran
2003 A conf
Comparing Different Prenexing Strategies for Quantified Boolean Formulas.
SAT
Uwe Egly, Martina Seidl, Hans Tompits, Stefan Woltran, Michael Zolda
2003 — conf
Complexity of Answer Set Checking and Bounded Predicate Arities for Non-ground Answer Set Programming.
Answer Set Programming
Thomas Eiter, Wolfgang Faber, Michael Fink, Gerald Pfeifer, Stefan Woltran
2003 — conf
Eliminating Disjunction from Propositional Logic Programs under Stable Model Preservation.
Answer Set Programming
Thomas Eiter, Michael Fink, Hans Tompits, Stefan Woltran
2003 C conf
Paraconsistent Logics for Reasoning via Quantified Boolean Formulas, II: Circumscribing Inconsistent Theories.
ECSQARU
Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran
2002 J jnl
A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report
CoRR
David Pearce, Vladimir Sarsakov, Torsten Schaub, Hans Tompits, Stefan Woltran
2002 B conf
A Polynomial Translation of Logic Programs with Nested Expressions into Disjunctive Logic Programs: Preliminary Report.
ICLP
David Pearce, Vladimir Sarsakov, Torsten Schaub, Hans Tompits, Stefan Woltran
2002 — conf
A polynomial translation of logic programs with nested expressions into disjunctive logic programs: preliminary report.
NMR
David Pearce, Vladimir Sarsakov, Torsten Schaub, Hans Tompits, Stefan Woltran
2002 B conf
Modal Nonmonotonic Logics Revisited: Efficient Encodings for the Basic Reasoning Tasks.
TABLEAUX
Thomas Eiter, Volker Klotz, Hans Tompits, Stefan Woltran
2002 B conf
Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems.
JELIA
Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran
2002 — conf
Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed Systems.
Paraconsistent Computational Logic
Philippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran
2001 — conf
Computing Stable Models with Quantified Boolean Formulas: Some Experimental Results.
Answer Set Programming
Uwe Egly, Thomas Eiter, Volker Klotz, Hans Tompits, Stefan Woltran
2001 Misc conf
Encodings for Equilibrium Logic and Logic Programs with Nested Expressions.
EPIA
David Pearce, Hans Tompits, Stefan Woltran
2001 C conf
On Computing Solutions to Belief Change Scenarios.
ECSQARU
James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran
2000 — conf
Experimental Evaluation of the Disjunctive Logic Programming Module of the System QUIP.
WLP
Uwe Egly, Thomas Eiter, Volker Klotz, Hans Tompits, Stefan Woltran
2000 — conf
Implementing Default Reasoning Using Quantified Boolean Formulae.
WLP
Uwe Egly, Thomas Eiter, Hans Tompits, Stefan Woltran
2000 J jnl
QUIP - A Tool for Computing Nonmonotonic Reasoning Tasks
CoRR
Uwe Egly, Thomas Eiter, Hans Tompits, Stefan Woltran
2000 — conf
Solving Advanced Reasoning Tasks Using Quantified Boolean Formulas.
AAAI/IAAI
Uwe Egly, Thomas Eiter, Hans Tompits, Stefan Woltran