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

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

Results 1-20 of 23 (Search time: 0.065 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Bellositz Patrick - 2018 - Advancements in equivalence checking for abstract...pdf.jpgBellositz, Patrick Advancements in equivalence checking for abstract argumentation frameworksThesis Hochschulschrift2018
2Linsbichler Thomas - 2017 - Advances in abstract argumentation expressiveness...pdf.jpgLinsbichler, Thomas Advances in abstract argumentation : expressiveness and dynamicsThesis Hochschulschrift2017
3Krenn Benjamin - 2019 - Algorithms for implicit delegation to predict...pdf.jpgKrenn, Benjamin Algorithms for implicit delegation to predict preferencesThesis Hochschulschrift2019
4Gressler 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
5Haret 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
6Ambroz 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
7Polberg Sylwia - 2017 - Developing the abstract dialectical framework.pdf.jpgPolberg, Sylwia Developing the abstract dialectical frameworkThesis Hochschulschrift2017
8Kammerhofer Isabella - 2020 - Disjunctive answer set programming with...pdf.jpgKammerhofer, Isabella Disjunctive answer set programming with backjumping and learningThesis Hochschulschrift2020
9Heissenberger Georg - 2016 - Ein System fuer graphische...pdf.jpgHeißenberger, Georg Ein System für graphische ArgumentationsformalismenThesis Hochschulschrift2016
10Bernreiter Michael - 2020 - A General Framework for Choice Logics.pdf.jpgBernreiter, Michael A General framework for choice logicsThesis Hochschulschrift2020
11Koenig 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
12Moldovan 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
13Keshavarzi Zafarghandi Atefeh - 2017 - Investigating subclasses of abstract...pdf.jpgKeshavarzi Zafarghandi, Atefeh Investigating subclasses of abstract dialectical frameworksThesis Hochschulschrift2017
14Haret Adrian - 2014 - Merging in the Horn fragment.pdf.jpgHaret, Adrian  Merging in the Horn fragmentThesis Hochschulschrift2014
15Hecher 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
16PruningExternalMinimalityChecking.pdf.jpgEiter, Thomas  ; Kaminski, Tobias Dietmar ; Balduccini, Marcello  ; Lierler, Yuliya  ; Woltran, Stefan Pruning External Minimality Checking for ASP Using Semantic DependenciesInproceedings Konferenzbeitrag12-May-2019
17Maly 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
18Schidler 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
19Diller Martin - 2014 - Solving reasoning problems on abstract dialectical...pdf.jpgDiller, Martin Solving reasoning problems on abstract dialectical frameworks via quantified boolean formulasThesis Hochschulschrift2014
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 Hochschulschrift2018



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