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
Abstract Dialectical Frameworks An Overview.pdf.jpgBrewka, Gerhard ; Ellmauthaler, Stefan ; Strass, Hannes ; Wallner, Johannes ; Woltran, Stefan Abstract Dialectical Frameworks. An OverviewArticle Artikel 2017
Advancements in equivalence checking for abstract argumentation frameworks.pdf.jpgBellositz, Patrick Advancements in equivalence checking for abstract argumentation frameworksThesis Hochschulschrift 2018
Advances in abstract argumentation expressiveness and dynamics.pdf.jpgLinsbichler, Thomas Advances in abstract argumentation; expressiveness and dynamicsThesis Hochschulschrift 2017
Algorithms for Implicit Delegation to Predict Preferences.pdf.jpgKrenn, Benjamin Algorithms for Implicit Delegation to Predict PreferencesThesis Hochschulschrift 2019
Argumentation frameworks with claims and collective attacks - complexity results and answer-set programming encodings.pdf.jpgGreßler, Alexander Argumentation frameworks with claims and collective attacks -; complexity results and answer-set programming encodingsThesis Hochschulschrift 2019
Choosing What to Believe - Belief Change Through the Lens of Rational Choice.pdf.jpgHaret, Adrian  Choosing What to Believe - Belief Change Through the Lens of Rational ChoiceThesis Hochschulschrift 2020
Designing a system for experimental analysis and visualization of dynamic programming on tree decompositions.pdf.jpgAmbroz, Thomas ; Jusits, Andreas Designing a system for experimental analysis and visualization of dynamic programming on tree decompositionsThesis Hochschulschrift 2016
Developing the abstract dialectical framework.pdf.jpgPolberg, Sylwia Developing the abstract dialectical frameworkThesis Hochschulschrift 2017
Disjunctive Answer Set Programming with Backjumping and Learning.pdf.jpgKammerhofer, Isabella Disjunctive Answer Set Programming with Backjumping and LearningThesis Hochschulschrift 2020
Ein System fuer graphische Argumentationsformalismen.pdf.jpgHeißenberger, Georg Ein System für graphische ArgumentationsformalismenThesis Hochschulschrift 2016
A General Framework for Choice Logics.pdf.jpgBernreiter, Michael A General Framework for Choice LogicsThesis Hochschulschrift 2020
Graph-classes of argumentation frameworks with collective attacks - properties and complexity results.pdf.jpgKönig, Matthias Graph-classes of argumentation frameworks with collective attacks - properties and complexity resultsThesis Hochschulschrift 2020
Implementing variations of the Traveling Salesperson Problem in a declarative dynamic programming environment.pdf.jpgMoldovan, Marius Implementing variations of the Traveling Salesperson Problem in a declarative dynamic programming environmentThesis Hochschulschrift 2015
Investigating subclasses of abstract dialectical frameworks.pdf.jpgKeshavarzi Zafarghandi, Atefeh Investigating subclasses of abstract dialectical frameworksThesis Hochschulschrift 2017
Merging in the Horn fragment.pdf.jpgHaret, Adrian  Merging in the Horn fragmentThesis Hochschulschrift 2014
Optimizing second-level dynamic programming algorithms the D-FLAT  system encodings and experimental evaluation.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
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
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
Solving reasoning problems on abstract dialectical frameworks via quantified boolean formulas.pdf.jpgDiller, Martin Solving reasoning problems on abstract dialectical frameworks via quantified boolean formulasThesis Hochschulschrift 2014