Browsing by Author Woltran, Stefan

Showing results 1 to 19 of 19
PreviewAuthors / EditorsTitleTypeIssue Date
Abstract argumentation and answer-set programming modelling the resolution-based grounded semantics.pdf.jpgWeichselbaum, Christian Abstract argumentation and answer-set programming; modelling the resolution-based grounded semanticsThesis Hochschulschrift 2013
Abstract Dialectical Frameworks An Overview.pdf.jpgBrewka, Gerhard ; Ellmauthaler, Stefan ; Strass, Hannes ; Wallner, Johannes P. ; Woltran, StefanAbstract Dialectical Frameworks. An OverviewArticle Artikel 2017
Abstract Dialectical Frameworks properties complexity and implementation.pdf.jpgEllmauthaler, StefanAbstract Dialectical Frameworks; properties, complexity, and implementationThesis Hochschulschrift 2012
Alternation as a programming paradigm.pdf.jpgDvořák, Wolfgang Alternation as a programming paradigmThesis Hochschulschrift 2009
Complexity results and algorithms for argumentation Dungs frameworks and beyond.pdf.jpgWallner, Johannes Complexity results and algorithms for argumentation; Dung's frameworks and beyondThesis Hochschulschrift 2014
A comprehensive analysis of the cf argumentation semantics from characterization to implementation.pdf.jpgGaggl, Sarah Alice A comprehensive analysis of the cf2 argumentation semantics; from characterization to implementationThesis Hochschulschrift 2013
Computational aspects of abstract argumentation.pdf.jpgDvořák, Wolfgang Computational aspects of abstract argumentationThesis Hochschulschrift 2012
Decompose guess and check declarative problem solving on tree decompositions.pdf.jpgBliem, BernhardDecompose, guess and check; declarative problem solving on tree decompositionsThesis Hochschulschrift 2012
dynASP a dynamic programming-based answer set programming solver.pdf.jpgMorak, Michael dynASP; a dynamic programming-based answer set programming solverThesis Hochschulschrift 2011
Efficient counting with bounded treewidth using datalog.pdf.jpgRümmele, StefanEfficient counting with bounded treewidth using datalogThesis Hochschulschrift 2008
Expressive rule-based stream reasoning.pdf.jpgBeck, Harald Expressive rule-based stream reasoningThesis Hochschulschrift 2018
Fixed parameter algorithms for answer set programming.pdf.jpgJakl, Michael Fixed parameter algorithms for answer set programmingThesis Hochschulschrift 2010
Novel Algorithms for Abstract Dialectical Frameworks based on Complexity Analysis of Subclasses and SAT Solving.pdf.jpgLinsbichler, Thomas ; Maratea, Marco ; Niskanen, Andreas; Wallner, Johannes P.; Woltran, StefanNovel Algorithms for Abstract Dialectical Frameworks based on Complexity Analysis of Subclasses and SAT SolvingInproceedings Konferenzbeitrag 2018
On debugging of propositional answer-set programs.pdf.jpgPührer, JörgOn debugging of propositional answer-set programsThesis Hochschulschrift 2007
On the limits of expressiveness in abstract argumentation semantics realizability and signatures.pdf.jpgLinsbichler, ThomasOn the limits of expressiveness in abstract argumentation semantics; realizability and signaturesThesis Hochschulschrift 2013
Realising argumentation using answer set programming and quantified boolean formulas.pdf.jpgDiller, Martin Realising argumentation using answer set programming and quantified boolean formulasThesis Hochschulschrift 2019
Solving shift design problems with answer set programming.pdf.jpgAbseher, MichaelSolving shift design problems with answer set programmingThesis Hochschulschrift 2013
Tree-decomposition based algorithms for abstract argumentation frameworks.pdf.jpgCharwat, GüntherTree-decomposition based algorithms for abstract argumentation frameworksThesis Hochschulschrift 2012
Two sides of the same coin Belief revision and enforcing arguments.pdf.jpgHaret, Adrian ; Wallner, Johannes P.; Woltran, StefanTwo sides of the same coin: Belief revision and enforcing argumentsInproceedings Konferenzbeitrag 2018