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

Filter:
Access Type:  Open Access

Results 1-20 of 22 (Search time: 0.008 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
2Dvorak-2023-Artificial Intelligence-vor.pdf.jpgDvořák, Wolfgang ; Rapberger, Anna ; Woltran, Stefan A claim-centric perspective on abstract argumentation semantics: Claim-defeat, principles, and expressivenessArticle Artikel Nov-2023
3Dimopoulos-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
4Correa-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
5Bernreiter-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
6Dvorak-2023-Artificial Intelligence-vor.pdf.jpgDvořák, Wolfgang ; Greßler, Alexander ; Rapberger, Anna ; Woltran, Stefan The complexity landscape of claim-augmented argumentation frameworksArticle Artikel Apr-2023
7Besin, Viktor ; Hecher, Markus ; Woltran, Stefan On the Structural Complexity of Grounding - Tackling the ASP Grounding Bottleneck via Epistemic Programs and TreewidthInproceedings Konferenzbeitrag 2023
8Bernreiter, Michael ; Dvořák, Wolfgang ; Woltran, Stefan Abstract argumentation with conditional preferencesArticle Artikel 2023
9Bernreiter Michael - 2022 - Abstract Argumentation with Conditional Preferences.pdf.jpgBernreiter, Michael ; Dvořák, Wolfgang ; Woltran, Stefan Abstract Argumentation with Conditional PreferencesInproceedings Konferenzbeitrag 31-Oct-2022
10Dvorak-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
11Bernreiter-2022-Artificial Intelligence-vor.pdf.jpgBernreiter, Michael ; Maly, Jan ; Woltran, Stefan Choice logics and their computational propertiesArticle Artikel Oct-2022
12Bernreiter-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
13Dvorak-2022-Journal of Artificial Intelligence Research-vor.pdf.jpgDvořák, Wolfgang ; Ulbricht, Markus ; Woltran, Stefan Recursion in Abstract Argumentation is Hard - On the Complexity of Semantics Based on Weak AdmissibilityArticle Artikel 21-Jul-2022
14Dvorak-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
15Linsbichler-2022-Artificial Intelligence-vor.pdf.jpgLinsbichler, Thomas ; Maratea, Marco ; Niskanen, Andreas ; Wallner, Johannes P. ; Woltran, Stefan Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solvingArticle Artikel Jun-2022
16Fandinno-2022-Algorithms-vor.pdf.jpgFandinno, Jorge ; Pearce, David ; Vidal, Concepción ; Woltran, Stefan Comparing the Reasoning Capabilities of Equilibrium Theories and Answer Set ProgramsArticle Artikel Jun-2022
17Besin-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
18Dvorak 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
19Dvorak-2020-ASPARTIX-V19 - An Answer-set Programming based System for Abst...-am.pdf.jpgDvořák, Wolfgang ; Rapberger, Anna ; Wallner, Johannes ; Woltran, Stefan ASPARTIX-V19 - An Answer-set Programming based System for Abstract ArgumentationInproceedings Konferenzbeitrag 3-Jan-2020
20Haret Adrian - 2018 - Two sides of the same coin Belief revision and enforcing...pdf.jpgHaret, Adrian ; Wallner, Johannes P. ; Woltran, Stefan Two sides of the same coin: Belief revision and enforcing argumentsInproceedings Konferenzbeitrag 2018

Filter:
Access Type:  Open Access

Results 1-20 of 30 (Search time: 0.034 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Besin Viktor - 2023 - A Novel Method for Grounding in Answer-Set Programming.pdf.jpgBesin, Viktor A novel method for grounding in answer-set programmingThesis Hochschulschrift 2023
2Rapberger Anna - 2023 - Unpacking The Argument - A Claim-Centric View On...pdf.jpgRapberger, Anna Unpacking the argument : A claim-centric view on abstract argumentationThesis Hochschulschrift 2023
3Hofer Mathias - 2022 - Towards parallel algorithms for abstract dialectical...pdf.jpgHofer, Mathias Towards parallel algorithms for abstract dialectical frameworksThesis Hochschulschrift 2022
4Hamm Thekla - 2022 - Algorithmic Advances via Graph Decomposition.pdf.jpgHamm, Thekla Algorithmic advances via graph decompositionThesis Hochschulschrift 2022
5Hecher Markus - 2021 - Advanced Tools and Methods for Treewidth-Based Problem...pdf.jpgHecher, Markus Advanced Tools and Methods for Treewidth-Based Problem SolvingThesis Hochschulschrift 2021
6Bernreiter Michael - 2020 - A General framework for choice logics.pdf.jpgBernreiter, Michael A General framework for choice logicsThesis Hochschulschrift 2020
7Maly Jan - 2020 - Ranking sets of objects how to deal with impossibility results.pdf.jpgMaly, Jan Ranking sets of objects : how to deal with impossibility resultsThesis Hochschulschrift 2020
8Koenig Matthias - 2020 - Graph-classes of argumentation frameworks with...pdf.jpgKönig, Matthias Graph-classes of argumentation frameworks with collective attacks : properties and complexity resultsThesis Hochschulschrift 2020
9Haret Adrian - 2020 - Choosing what to believe belief change through the lens of...pdf.jpgHaret, Adrian Choosing what to believe : belief change through the lens of rational choiceThesis Hochschulschrift 2020
10Kammerhofer Isabella - 2020 - Disjunctive answer set programming with...pdf.jpgKammerhofer, Isabella Disjunctive answer set programming with backjumping and learningThesis Hochschulschrift 2020
11PruningExternalMinimalityChecking.pdf.jpgEiter, Thomas ; Kaminski, Tobias Dietmar Pruning External Minimality Checking for ASP Using Semantic DependenciesInproceedings Konferenzbeitrag 12-May-2019
12Krenn Benjamin - 2019 - Algorithms for implicit delegation to predict...pdf.jpgKrenn, Benjamin Algorithms for implicit delegation to predict preferencesThesis Hochschulschrift 2019
13Gressler Alexander - 2019 - Argumentation frameworks with claims and collective...pdf.jpgGreßler, Alexander Argumentation frameworks with claims and collective attacks - : complexity results and answer-set programming encodingsThesis Hochschulschrift 2019
14Bellositz Patrick - 2018 - Advancements in equivalence checking for abstract...pdf.jpgBellositz, Patrick Advancements in equivalence checking for abstract argumentation frameworksThesis Hochschulschrift 2018
15Schidler Andre - 2018 - A solver for the Steiner tree problem with few terminals.pdf.jpgSchidler, André A solver for the Steiner tree problem with few terminalsThesis Hochschulschrift 2018
16Zisser Markus - 2018 - Solving the SAT problem on the GPU with dynamic...pdf.jpgZisser, Markus Solving the #SAT problem on the GPU with dynamic programming and OpenCLThesis Hochschulschrift 2018
17Beck Harald - 2018 - Expressive rule-based stream reasoning.pdf.jpgBeck, Harald Expressive rule-based stream reasoningThesis Hochschulschrift 2018
18Abseher Michael - 2017 - Tailored tree decompositions for efficient problem...pdf.jpgAbseher, Michael Tailored tree decompositions for efficient problem solvingThesis Hochschulschrift 2017
19Polberg Sylwia - 2017 - Developing the abstract dialectical framework.pdf.jpgPolberg, Sylwia Developing the abstract dialectical frameworkThesis Hochschulschrift 2017
20Keshavarzi Zafarghandi Atefeh - 2017 - Investigating subclasses of abstract...pdf.jpgKeshavarzi Zafarghandi, Atefeh Investigating subclasses of abstract dialectical frameworksThesis Hochschulschrift 2017