Name Card

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

Own Publications Eigene Publikationen

Results 1-20 of 394 (Search time: 0.009 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Clemens Heitzinger ; Stefan Woltran A Short Introduction to Artificial Intelligence: Methods, Success Stories, and Current LimitationsBook Contribution Buchbeitrag2024
2Buraglio-2023-Constrained Derivation in Assumption-Based Argumentation-vor.pdf.jpgBuraglio, Giovanni ; Dvorak, Wolfgang ; Rapberger, Anna ; Woltran, Stefan Constrained Derivation in Assumption-Based ArgumentationInproceedings Konferenzbeitrag 12-Nov-2023
3Dvorak-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
4Dimopoulos-2023-Sets Attacking Sets in Abstract Argumentation-vor.pdf.jpgDimopoulos, Yannis ; Dvorak, Wolfgang ; König, Matthias ; Rapberger, Anna ; Ulbricht, Markus ; Woltran, Stefan Sets Attacking Sets in Abstract ArgumentationInproceedings Konferenzbeitrag 29-Aug-2023
5Correa-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
6Bernreiter-2023-The Effect of Preferences in Abstract Argumentation under...-vor.pdf.jpgBernreiter, Michael ; Dvorak, Wolfgang ; Rapberger, Anna ; Woltran, Stefan The Effect of Preferences in Abstract Argumentation under a Claim-Centric ViewInproceedings Konferenzbeitrag 26-Jun-2023
7Dvorak-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
8Fichte, Johannes Klaus ; Hecher, Markus ; Morak, Michael ; Thier, Christopher-Patrick ; Woltran, Stefan Solving Projected Model Counting by Utilizing Treewidth and its LimitsArticle Artikel Jan-2023
9Saribatur, Zeynep G. ; Woltran, Stefan Foundations for Projecting Away the Irrelevant in ASP ProgramsInproceedings Konferenzbeitrag 2023
10Dvořák, W. ; Keshavarzi Zafarghandi, A. ; Woltran, S. Expressiveness of SETAFs and support-free ADFs under 3-valued semanticsArticle Artikel 2023
11Besin, Viktor ; Hecher, Markus ; Woltran, Stefan On the Structural Complexity of Grounding - Tackling the ASP Grounding Bottleneck via Epistemic Programs and TreewidthInproceedings Konferenzbeitrag 2023
12Bernreiter, Michael ; Dvořák, Wolfgang ; Woltran, Stefan Abstract argumentation with conditional preferencesArticle Artikel 2023
13Bernreiter Michael - 2022 - Abstract Argumentation with Conditional Preferences.pdf.jpgBernreiter, Michael ; Dvořák, Wolfgang ; Woltran, Stefan Abstract Argumentation with Conditional PreferencesInproceedings Konferenzbeitrag 31-Oct-2022
14Dvorak-2022-Deletion-Backdoors for Argumentation Frameworks with Collecti...-vor.pdf.jpgDvorak, Wolfgang ; König, Matthias ; Woltran, Stefan Deletion-Backdoors for Argumentation Frameworks with Collective AttacksInproceedings Konferenzbeitrag 8-Oct-2022
15Bernreiter-2022-Artificial Intelligence-vor.pdf.jpgBernreiter, Michael ; Maly, Jan ; Woltran, Stefan Choice logics and their computational propertiesArticle Artikel Oct-2022
16Bernreiter-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
17Dvorak, Wolfgang ; König, Matthias ; Ulbricht, Markus ; Woltran, Stefan Rediscovering Argumentation Principles Utilizing Collective AttacksInproceedings Konferenzbeitrag Aug-2022
18Dvorak-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
19Dvorak-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
20Linsbichler-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

Contributing Publications Mitbeteiligte Publikationen

Results 1-20 of 67 (Search time: 0.018 seconds).

PreviewAuthors / EditorsTitleTypeIssue 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
12Taupe, Richard ; Weinzierl, Antonius ; Friedrich, Gerhard Degrees of Laziness in GroundingKonferenzbeitrag Inproceedings 2019
13Balduccini, Marcello ; Lierler, Yuliya ; Woltran, Stefan Logic Programming and Nonmonotonic ReasoningKonferenzband Proceedings2019
14Fichte, Johannes ; Hecher, Markus Treewidth and Counting Projected Answer SetsKonferenzbeitrag Inproceedings 2019
15Krenn Benjamin - 2019 - Algorithms for implicit delegation to predict...pdf.jpgKrenn, Benjamin Algorithms for implicit delegation to predict preferencesThesis Hochschulschrift 2019
16Gressler 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
17Ferrarotti, Flavio ; Woltran, Stefan Foundations of Information and Knowledge SystemsKonferenzband Proceedings2018
18Bellositz Patrick - 2018 - Advancements in equivalence checking for abstract...pdf.jpgBellositz, Patrick Advancements in equivalence checking for abstract argumentation frameworksThesis Hochschulschrift 2018
19Schidler 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
20Zisser 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