Prefix title Titel (vorangestellt)
Univ.Prof. Dipl.-Ing. Dr.techn.
Full name Familienname, Vorname
Woltran, Stefan

Results 1-2 of 2 (Search time: 0.002 seconds).

Results 1-20 of 24 (Search time: 0.07 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Hecher Markus - 2021 - Advanced Tools and Methods for Treewidth-Based Problem...pdf.jpgHecher, Markus Advanced Tools and Methods for Treewidth-Based Problem SolvingThesis Hochschulschrift2021
2Bellositz Patrick - 2018 - Advancements in equivalence checking for abstract...pdf.jpgBellositz, Patrick Advancements in equivalence checking for abstract argumentation frameworksThesis Hochschulschrift2018
3Linsbichler Thomas - 2017 - Advances in abstract argumentation expressiveness...pdf.jpgLinsbichler, Thomas Advances in abstract argumentation : expressiveness and dynamicsThesis Hochschulschrift2017
4Krenn Benjamin - 2019 - Algorithms for implicit delegation to predict...pdf.jpgKrenn, Benjamin Algorithms for implicit delegation to predict preferencesThesis Hochschulschrift2019
5Gressler 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 Hochschulschrift2019
6Haret Adrian - 2020 - Choosing What to Believe - Belief Change Through the Lens...pdf.jpgHaret, Adrian  Choosing what to believe : belief change through the lens of rational choiceThesis Hochschulschrift2020
7Ambroz Thomas - 2016 - Designing a system for experimental analysis and...pdf.jpgAmbroz, Thomas ; Jusits, Andreas Designing a system for experimental analysis and visualization of dynamic programming on tree decompositionsThesis Hochschulschrift2016
8Polberg Sylwia - 2017 - Developing the abstract dialectical framework.pdf.jpgPolberg, Sylwia Developing the abstract dialectical frameworkThesis Hochschulschrift2017
9Kammerhofer Isabella - 2020 - Disjunctive answer set programming with...pdf.jpgKammerhofer, Isabella Disjunctive answer set programming with backjumping and learningThesis Hochschulschrift2020
10Heissenberger Georg - 2016 - Ein System fuer graphische...pdf.jpgHeißenberger, Georg Ein System für graphische ArgumentationsformalismenThesis Hochschulschrift2016
11Bernreiter Michael - 2020 - A General Framework for Choice Logics.pdf.jpgBernreiter, Michael A General framework for choice logicsThesis Hochschulschrift2020
12Koenig Matthias - 2020 - Graph-classes of argumentation frameworks with...pdf.jpgKönig, Matthias Graph-classes of argumentation frameworks with collective attacks : properties and complexity resultsThesis Hochschulschrift2020
13Moldovan Marius - 2015 - Implementing variations of the Traveling Salesperson...pdf.jpgMoldovan, Marius Implementing variations of the Traveling Salesperson Problem in a declarative dynamic programming environmentThesis Hochschulschrift2015
14Keshavarzi Zafarghandi Atefeh - 2017 - Investigating subclasses of abstract...pdf.jpgKeshavarzi Zafarghandi, Atefeh Investigating subclasses of abstract dialectical frameworksThesis Hochschulschrift2017
15Haret Adrian - 2014 - Merging in the Horn fragment.pdf.jpgHaret, Adrian  Merging in the Horn fragmentThesis Hochschulschrift2014
16Hecher Markus - 2015 - Optimizing second-level dynamic programming algorithms...pdf.jpgHecher, Markus Optimizing second-level dynamic programming algorithms : the D-FLAT 2 system: encodings and experimental evaluationThesis Hochschulschrift2015
17PruningExternalMinimalityChecking.pdf.jpgEiter, Thomas  ; Kaminski, Tobias Dietmar ; Balduccini, Marcello  ; Lierler, Yuliya  ; Woltran, Stefan Pruning External Minimality Checking for ASP Using Semantic DependenciesInproceedings Konferenzbeitrag12-May-2019
18Maly Jan - 2020 - Ranking Sets of Objects - How to Deal with Impossibility...pdf.jpgMaly, Jan Ranking sets of objects : how to deal with impossibility resultsThesis Hochschulschrift2020
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 Hochschulschrift2018
20Diller Martin - 2014 - Solving reasoning problems on abstract dialectical...pdf.jpgDiller, Martin Solving reasoning problems on abstract dialectical frameworks via quantified boolean formulasThesis Hochschulschrift2014

Results 1-5 of 5 (Search time: 0.001 seconds).