Browsing by Author


or select a letter below to browse by last name
0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Showing results 1 to 20 of 24  next >
PreviewAuthors / EditorsTitleTypeIssue Date
Brewka Gerhard - 2017 - Abstract Dialectical Frameworks An Overview.pdf.jpgBrewka, Gerhard ; Ellmauthaler, Stefan ; Strass, Hannes ; Wallner, Johannes P. ; Woltran, Stefan Abstract Dialectical Frameworks. An OverviewArticle Artikel 2017
Bellositz Patrick - 2018 - Advancements in equivalence checking for abstract...pdf.jpgBellositz, Patrick Advancements in equivalence checking for abstract argumentation frameworksThesis Hochschulschrift 2018
Linsbichler Thomas - 2017 - Advances in abstract argumentation expressiveness...pdf.jpgLinsbichler, Thomas Advances in abstract argumentation : expressiveness and dynamicsThesis Hochschulschrift 2017
Krenn Benjamin - 2019 - Algorithms for implicit delegation to predict...pdf.jpgKrenn, Benjamin Algorithms for implicit delegation to predict preferencesThesis Hochschulschrift 2019
Gressler 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
Haret 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 Hochschulschrift 2020
Ambroz 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 Hochschulschrift 2016
Polberg Sylwia - 2017 - Developing the abstract dialectical framework.pdf.jpgPolberg, Sylwia Developing the abstract dialectical frameworkThesis Hochschulschrift 2017
Kammerhofer Isabella - 2020 - Disjunctive answer set programming with...pdf.jpgKammerhofer, Isabella Disjunctive answer set programming with backjumping and learningThesis Hochschulschrift 2020
Heissenberger Georg - 2016 - Ein System fuer graphische...pdf.jpgHeißenberger, Georg Ein System für graphische ArgumentationsformalismenThesis Hochschulschrift 2016
Bernreiter Michael - 2020 - A General Framework for Choice Logics.pdf.jpgBernreiter, Michael A General framework for choice logicsThesis Hochschulschrift 2020
Koenig 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
Moldovan Marius - 2015 - Implementing variations of the Traveling Salesperson...pdf.jpgMoldovan, Marius Implementing variations of the Traveling Salesperson Problem in a declarative dynamic programming environmentThesis Hochschulschrift 2015
Keshavarzi Zafarghandi Atefeh - 2017 - Investigating subclasses of abstract...pdf.jpgKeshavarzi Zafarghandi, Atefeh Investigating subclasses of abstract dialectical frameworksThesis Hochschulschrift 2017
Haret Adrian - 2014 - Merging in the Horn fragment.pdf.jpgHaret, Adrian  Merging in the Horn fragmentThesis Hochschulschrift 2014
Hecher 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 Hochschulschrift 2015
PruningExternalMinimalityChecking.pdf.jpgEiter, Thomas  ; Kaminski, Tobias Dietmar ; Balduccini, Marcello  ; Lierler, Yuliya  ; Woltran, Stefan Pruning External Minimality Checking for ASP Using Semantic DependenciesInproceedings Konferenzbeitrag 12-May-2019
Maly Jan - 2020 - Ranking Sets of Objects - How to Deal with Impossibility...pdf.jpgMaly, Jan Ranking sets of objects : how to deal with impossibility resultsThesis Hochschulschrift 2020
Schidler 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
Diller Martin - 2014 - Solving reasoning problems on abstract dialectical...pdf.jpgDiller, Martin Solving reasoning problems on abstract dialectical frameworks via quantified boolean formulasThesis Hochschulschrift 2014