Browsing Woltran, Stefan

Showing results 1 to 18 of 18
PreviewAuthors / EditorsTitleTypeIssue Date
Weichselbaum Christian - 2013 - Abstract argumentation and answer-set...pdf.jpgWeichselbaum, Christian Abstract argumentation and answer-set programming : modelling the resolution-based grounded semanticsThesis Hochschulschrift 2013
Ellmauthaler Stefan - 2012 - Abstract Dialectical Frameworks properties...pdf.jpgEllmauthaler, StefanAbstract Dialectical Frameworks : properties, complexity, and implementationThesis Hochschulschrift 2012
Dvorak Wolfgang - 2009 - Alternation as a programming paradigm.pdf.jpgDvořák, Wolfgang Alternation as a programming paradigmThesis Hochschulschrift 2009
Wallner Johannes - 2014 - Complexity results and algorithms for argumentation...pdf.jpgWallner, Johannes Complexity results and algorithms for argumentation : Dung's frameworks and beyondThesis Hochschulschrift 2014
Gaggl Sarah Alice - 2013 - A comprehensive analysis of the cf2 argumentation...pdf.jpgGaggl, Sarah Alice A comprehensive analysis of the cf2 argumentation semantics : from characterization to implementationThesis Hochschulschrift 2013
Dvorak Wolfgang - 2012 - Computational aspects of abstract argumentation.pdf.jpgDvořák, Wolfgang Computational aspects of abstract argumentationThesis Hochschulschrift 2012
Bliem Bernhard - 2012 - Decompose guess and check declarative problem solving on...pdf.jpgBliem, BernhardDecompose, guess and check : declarative problem solving on tree decompositionsThesis Hochschulschrift 2012
Morak Michael - 2011 - dynASP a dynamic programming-based answer set programming...pdf.jpgMorak, Michael dynASP : a dynamic programming-based answer set programming solverThesis Hochschulschrift 2011
Ruemmele Stefan - 2008 - Efficient counting with bounded treewidth using datalog.pdf.jpgRümmele, StefanEfficient counting with bounded treewidth using datalogThesis Hochschulschrift 2008
Beck Harald - 2018 - Expressive rule-based stream reasoning.pdf.jpgBeck, Harald Expressive rule-based stream reasoningThesis Hochschulschrift 2018
Jakl Michael - 2010 - Fixed parameter algorithms for answer set programming.pdf.jpgJakl, Michael Fixed parameter algorithms for answer set programmingThesis Hochschulschrift 2010
Linsbichler Thomas - 2018 - Novel Algorithms for Abstract Dialectical Frameworks...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
Puehrer Joerg - 2007 - On debugging of propositional answer-set programs.pdf.jpgPührer, JörgOn debugging of propositional answer-set programsThesis Hochschulschrift 2007
Linsbichler Thomas - 2013 - On the limits of expressiveness in abstract...pdf.jpgLinsbichler, ThomasOn the limits of expressiveness in abstract argumentation semantics : realizability and signaturesThesis Hochschulschrift 2013
Diller Martin - 2019 - Realising argumentation using answer set programming and...pdf.jpgDiller, Martin Realising argumentation using answer set programming and quantified boolean formulasThesis Hochschulschrift 2019
Abseher Michael - 2013 - Solving shift design problems with answer set...pdf.jpgAbseher, MichaelSolving shift design problems with answer set programmingThesis Hochschulschrift 2013
Charwat Guenther - 2012 - Tree-decomposition based algorithms for abstract...pdf.jpgCharwat, GüntherTree-decomposition based algorithms for abstract argumentation frameworksThesis Hochschulschrift 2012
Haret Adrian - 2018 - Two sides of the same coin Belief revision and enforcing...pdf.jpgHaret, Adrian ; Wallner, Johannes P.; Woltran, StefanTwo sides of the same coin: Belief revision and enforcing argumentsInproceedings Konferenzbeitrag 2018