Woltran, Stefan

Network Lab View Statistics Email Alert RSS Feed

Name Card

Full name Familienname, Vorname
Woltran, Stefan
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-20 of 217 (Search time: 0.006 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Buraglio-2023-Constrained Derivation in Assumption-Based Argumentation-vor.pdf.jpgBuraglio, Giovanni ; Dvořák, Wolfgang ; Rapberger, Anna ; Woltran, Stefan Constrained Derivation in Assumption-Based ArgumentationInproceedings Konferenzbeitrag 12-Nov-2023
2Dimopoulos-2023-Sets Attacking Sets in Abstract Argumentation-vor.pdf.jpgDimopoulos, Yannis ; Dvořák, Wolfgang ; König, Matthias ; Rapberger, Anna ; Ulbricht, Markus ; Woltran, Stefan Sets Attacking Sets in Abstract ArgumentationInproceedings Konferenzbeitrag 29-Aug-2023
3Correa-2023-Grounding Planning Tasks Using Tree Decompositions and Iterat...-vor.pdf.jpgCorrêa, Augusto ; Hecher, Markus ; Helmert, Malte ; Longo, Davide Mario ; Pommerening, Florian ; Woltran, Stefan Grounding Planning Tasks Using Tree Decompositions and Iterated SolvingInproceedings Konferenzbeitrag 1-Jul-2023
4Bernreiter-2023-The Effect of Preferences in Abstract Argumentation under...-vor.pdf.jpgBernreiter, Michael ; Dvořák, Wolfgang ; Rapberger, Anna ; Woltran, Stefan The Effect of Preferences in Abstract Argumentation under a Claim-Centric ViewInproceedings Konferenzbeitrag 26-Jun-2023
5Saribatur, Zeynep G. ; Woltran, Stefan Foundations for Projecting Away the Irrelevant in ASP ProgramsInproceedings Konferenzbeitrag 2023
6Besin, Viktor ; Hecher, Markus ; Woltran, Stefan On the Structural Complexity of Grounding - Tackling the ASP Grounding Bottleneck via Epistemic Programs and TreewidthInproceedings Konferenzbeitrag 2023
7Bernreiter Michael - 2022 - Abstract Argumentation with Conditional Preferences.pdf.jpgBernreiter, Michael ; Dvořák, Wolfgang ; Woltran, Stefan Abstract Argumentation with Conditional PreferencesInproceedings Konferenzbeitrag 31-Oct-2022
8Dvorak-2022-Deletion-Backdoors for Argumentation Frameworks with Collecti...-vor.pdf.jpgDvořák, Wolfgang ; König, Matthias ; Woltran, Stefan Deletion-Backdoors for Argumentation Frameworks with Collective AttacksInproceedings Konferenzbeitrag 8-Oct-2022
9Bernreiter-2022-Sequent Calculi for Choice Logics-vor.pdf.jpgBernreiter, Michael ; Lolic, Anela ; Maly, Jan ; Woltran, Stefan Sequent Calculi for Choice LogicsInproceedings Konferenzbeitrag 1-Aug-2022
10Dvorak, Wolfgang ; König, Matthias ; Ulbricht, Markus ; Woltran, Stefan Rediscovering Argumentation Principles Utilizing Collective AttacksInproceedings Konferenzbeitrag Aug-2022
11Dvorak-2022-Tractable Abstract Argumentation via Backdoor-Treewidth-vor.pdf.jpgDvořák, Wolfgang ; Hecher, Markus ; König, Matthias ; Schidler, Andre ; Szeider, Stefan ; Woltran, Stefan Tractable Abstract Argumentation via Backdoor-TreewidthInproceedings Konferenzbeitrag 28-Jun-2022
12Bernreiter, Michael ; Dvorak, Wolfgang ; Rapberger, Anna ; Woltran, Stefan The Effect of Preferences in Abstract Argumentation Under a Claim-Centric ViewInproceedings Konferenzbeitrag 2022
13Dvořák, Wolfgang ; Rienstra, Tjitze ; van der Torre, Leendert ; Woltran, Stefan Non-Admissibility in Abstract ArgumentationInproceedings Konferenzbeitrag 2022
14Besin-2022-Body-Decoupled Grounding via Solving A Novel Approach on the A...-vor.pdf.jpgBesin, Viktor ; Hecher, Markus ; Woltran, Stefan Body-Decoupled Grounding via Solving: A Novel Approach on the ASP BottleneckInproceedings Konferenzbeitrag 2022
15Dvorak Wolfgang - 2022 - Treewidth for Argumentation Frameworks with Collective...pdf.jpgDvořák, Wolfgang ; König, Matthias ; Woltran, Stefan Treewidth for Argumentation Frameworks with Collective AttacksInproceedings Konferenzbeitrag 2022
16Dvořák, Wolfgang ; König, Matthias ; Woltran, Stefan Graph-Classes of Argumentation Frameworks with Collective AttacksKonferenzbeitrag Inproceedings 2021
17Bernreiter, Michael ; Maly, Jan ; Woltran, Stefan Choice Logics and Their Computational PropertiesKonferenzbeitrag Inproceedings 2021
18Dvorak, Wolfgang ; Greßler, Alexander ; Rapberger, Anna ; Woltran, Stefan The Complexity Landscape of Claim-Augmented Argumentation FrameworksKonferenzbeitrag Inproceedings 2021
19Dvořák, Wolfgang ; König, Matthias ; Woltran, Stefan On the Complexity of Preferred Semantics in Argumentation Frameworks with Bounded Cycle LengthKonferenzbeitrag Inproceedings 2021
20Dvořák, Wolfgang ; Ulbricht, Markus ; Woltran, Stefan Recursion in Abstract Argumentation is Hard --- On the Complexity of Semantics Based on Weak AdmissibilityKonferenzbeitrag Inproceedings 2021

Contributing Publications Mitbeteiligte Publikationen

Results 1-19 of 19 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1PruningExternalMinimalityChecking.pdf.jpgEiter, Thomas ; Kaminski, Tobias Dietmar Pruning External Minimality Checking for ASP Using Semantic DependenciesInproceedings Konferenzbeitrag 12-May-2019
2Taupe, Richard ; Weinzierl, Antonius ; Friedrich, Gerhard Degrees of Laziness in GroundingKonferenzbeitrag Inproceedings 2019
3Fichte, Johannes ; Hecher, Markus Treewidth and Counting Projected Answer SetsKonferenzbeitrag Inproceedings 2019
4Bliem, Bernhard ASP Programs with Groundings of Small TreewidthKonferenzbeitrag Inproceedings 2018
5Fichte, Johannes ; Hecher, Markus ; Morak, Michael ; Woltran, Stefan Counting Answer Sets via Dynamic ProgrammingKonferenzbeitrag Inproceedings2016
6Bliem, Bernhard ; Ordyniak, Sebastian ; Woltran, Stefan Clique-Width and Directed Width Measures for Answer-Set ProgrammingKonferenzbeitrag Inproceedings 2016
7Polberg, Sylwia ; Wallner, Johannes Peter ; Woltran, Stefan Admissibility in the Abstract Dialectical FrameworkKonferenzbeitrag Inproceedings 2013
8Kim, Eun Jung ; Ordyniak, Sebastian Valued-Based Argumentation for Tree-like Value GraphsKonferenzbeitrag Inproceedings 2012
9Egly, Uwe ; Creignou, Nadia ; Schmidt, Johannes Complexity of logic-based argumentation in Schaefer's frameworkKonferenzbeitrag Inproceedings 2012
10Dvorak, Wolfgang ; Spanring, Christof Comparing the Expressiveness of Argumentation SemanticsKonferenzbeitrag Inproceedings 2012
11Charwat, Günther ; Dvorak, Wolfgang dynPARTIX 2.0 - Dynamic Programming Argumentation Reasoning ToolKonferenzbeitrag Inproceedings 2012
12Dvorak, Wolfgang ; Gaggl, Sarah Computational Aspects of cf2 and stage2 Argumentation Semantics.Konferenzbeitrag Inproceedings 2012
13Ellmauthaler, Stefan ; Wallner, Johannes Peter Evaluating Abstract Dialectical Frameworks with ASPKonferenzbeitrag Inproceedings 2012
14Dvorak, Wolfgang ; Gaggl, Sarah Incorporating Stage Semantics in the SCC-recursive Schema for Argumentation Semantics.Konferenzbeitrag Inproceedings 2012
15Feier, Cristina ; Heymans, Stijn An Optimization for Reasoning with Forest Logic ProgramsKonferenzbeitrag Inproceedings 2010
16Oetsch, Johannes ; Tompits, Hans ; Woltran, Stefan Facts do not Cease to Exist Because They are Ignored: Relativised Uniform Equivalence with Answer-Set ProjectionKonferenzbeitrag Inproceedings 2007
17Eiter, Thomas ; Fink, Michael ; Tompits, Hans ; Traxler, Patrick ; Woltran, Stefan Replacements in Non-Ground Answer-Set ProgrammingKonferenzbeitrag Inproceedings 2006
18Eiter, Thomas ; Ianni, Giovambattista ; Schindlauer, Roman ; Tompits, Hans dlvhex: A System for Integrating Multiple Semantics in an Answer-Set Programming FrameworkKonferenzbeitrag Inproceedings 2006
19Pichler, Reinhard Algorithmic Aspectc of Model RepresentationsKonferenzbeitrag Inproceedings2006