Woltran, Stefan

Network Lab View Statistics Email Alert RSS Feed

Profile Profil

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

Own Publications Eigene Publikationen

Results 1-20 of 281 (Search time: 0.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Fichte, Johannes ; Hecher, Markus ; Woltran, Stefan ; Zisser, Markus Weighted Model Counting on the GPU by Exploiting Small TreewidthKonferenzbeitrag Inproceedings 2018
2Brewka, Gerhard ; Strass, Hannes ; Wallner, Johannes Peter ; Woltran, Stefan ; McIlraith, Sheila ; Weinberger, Kilian Weighted Abstract Dialectical FrameworksKonferenzbeitrag Inproceedings 2018
3Dvorak, Wolfgang ; Ulbricht, Markus ; Woltran, Stefan Weak Admissibility is PSPACE-completeKonferenzbeitrag Inproceedings 2020
4Baumann, Ringo ; Linsbichler, Thomas ; Woltran, Stefan ; Baroni, Pietro ; Gordon, Thomas F. ; Scheffler, Tatjana ; Stede, Manfred Verifiability of argumentation semanticsKonferenzbeitrag Inproceedings 2016
5Baumann, Ringo ; Linsbichler, Thomas ; Woltran, Stefan ; Kern-Isberner, Gabriele ; Wassermann, Renata Verifiability of argumentation semanticsKonferenzbeitrag Inproceedings2016
6Woltran, Stefan ; Goncalves, Ricardo ; Janhunen, Tomi ; Knorr, Matthias ; Leite, Joao Variable Elimination for DLP-FunctionsKonferenzbeitrag Inproceedings 2018
7Charwat, Günther ; Wallner, Johannes Peter ; Woltran, Stefan ; Fink, Michael ; Lierler, Yuliya Utilizing ASP for Generating and Visualizing Argumentation FrameworksKonferenzbeitrag Inproceedings 2012
8Bichler, Manuel ; Bliem, Bernhard ; Moldovan, Marius ; Morak, Michael ; Woltran, Stefan Treewidth-Preserving Modeling in ASPBericht Report2016
9Brewka, Gerd ; Mailly, Jean-Guy ; Woltran, Stefan ; Kaminka, Gal A. ; Fox, Maria ; Bouquet, Paolo ; Hüllermeier, Eyke ; Dignum, Virginia ; Dignum, Frank ; van Harmelen, Frank Translation-Based Revision and Merging for Minimal Horn ReasoningKonferenzbeitrag Inproceedings 2016
10Pichler, Reinhard ; Rümmele, Stefan ; Szeider, Stefan ; Woltran, Stefan ; Lin, Fangzhen ; Sattler, Ulrike ; Truszczynski, Miroslaw Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth Is not EnoughKonferenzbeitrag Inproceedings2010
11Woltran, Stefan Towards Preprocessing for Abstract Argumentation FrameworksKonferenzbeitrag Inproceedings2017
12Tompits, Hans ; Woltran, Stefan ; Gabbrielli, Maurizio ; Gupta, Gopal Towards Implementations for Advanced Equivalence Checking in Answer-Set ProgrammingKonferenzbeitrag Inproceedings 2005
13Tompits, Hans ; Woltran, Stefan ; De Vos, Marina ; Provetti, Alessandro Towards Implementations for Advanced Equivalence Checking in Answer-Set ProgrammingKonferenzbeitrag Inproceedings 2005
14Dvorak, Wolfgang ; Pichler, Reinhard ; Woltran, Stefan ; Lin, Fangzhen ; Sattler, Ulrike ; Truszczynski, Miroslaw Towards Fixed-Parameter Tractable Algorithms for ArgumentationKonferenzbeitrag Inproceedings2010
15Dvorak, Wolfgang ; Pichler, Reinhard ; Woltran, Stefan Towards Fixed-Parameter Tractable Algorithms for Abstract ArgumentationBericht Report2011
16Woltran, Stefan ; Thimm, Matthias ; Cerutti, Federico ; Strass, Hannes ; Vallati, Mauro Towards advanced systems for abstract argumentationKonferenzbeitrag Inproceedings2016
17Moldovan, Marius ; Bliem, Bernhard ; Morak, Michael ; Woltran, Stefan ; Bliem, Bernhard The Impact of Treewidth on {ASP} Grounding and SolvingKonferenzbeitrag Inproceedings 2017
18Bliem, Bernhard ; Moldovan, Marius ; Morak, Michael ; Woltran, Stefan The Impact of Treewidth on ASP Grounding and SolvingKonferenzbeitrag Inproceedings 2017
19Linsbichler, Thomas ; Spanring, Christof ; Woltran, Stefan ; Black, Elizabeth ; Modgil, Sanjay ; Oren, Nir The Hidden Power of Abstract Argumentation SemanticsKonferenzbeitrag Inproceedings 2015
20Abseher, Michael ; Bliem, Bernhard ; Charwat, Günther ; Dusberger, Frederico ; Hecher, Markus ; Woltran, Stefan ; Fermé, Eduardo ; Leite, Joao The D-FLAT System for Dynamic Programming on Tree DecompositionsKonferenzbeitrag Inproceedings 2014

Contributing Publications Mitbeteiligte Publikationen

Results 1-20 of 56 (Search time: 0.014 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Pearce, David ; Polleres, Axel Florian ; Valverde, Agustin ; Woltran, Stefan Workshop on Correspondence and Equivalence for Nonmonotonic Theories (CENT 2007)Konferenzband Proceedings2007
2Kim, Eun Jung ; Ordyniak, Sebastian ; Verheij, Bart ; Szeider, Stefan ; Woltran, Stefan Valued-Based Argumentation for Tree-like Value GraphsKonferenzbeitrag Inproceedings 2012
3Bliem Bernhard - 2017 - Treewidth in non-ground answer set solving and alliance...pdf.jpgBliem, Bernhard Treewidth in non-ground answer set solving and alliance problems in graphsThesis Hochschulschrift 2017
4Hofer Mathias - 2022 - Towards Parallel Algorithms for Abstract Dialectical...pdf.jpgHofer, Mathias Towards parallel algorithms for abstract dialectical frameworksThesis Hochschulschrift 2022
5Abseher Michael - 2017 - Tailored tree decompositions for efficient problem...pdf.jpgAbseher, Michael Tailored tree decompositions for efficient problem solvingThesis Hochschulschrift 2017
6Slivovsky Friedrich - 2015 - Structure in SAT and QBF.pdf.jpgSlivovsky, Friedrich Structure in #SAT and QBFThesis Hochschulschrift 2015
7Zisser 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 Hochschulschrift 2018
8Abseher Michael - 2013 - Solving shift design problems with answer set...pdf.jpgAbseher, Michael Solving shift design problems with answer set programmingThesis Hochschulschrift 2013
9Diller Martin - 2014 - Solving reasoning problems on abstract dialectical...pdf.jpgDiller, Martin Solving reasoning problems on abstract dialectical frameworks via quantified boolean formulasThesis Hochschulschrift 2014
10Schidler 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
11Eiter, Thomas ; Fink, Michael ; Tompits, Hans ; Traxler, Patrick ; Woltran, Stefan ; Fink, Michael ; Tompits, Hans ; Woltran, Stefan Replacements in Non-Ground Answer-Set ProgrammingKonferenzbeitrag Inproceedings 2006
12Dvořák, Wolfgang ; Gaggl, Sarah Alice ; Linsbichler, Thomas ; Wallner, Johannes Peter ; Eiter, Thomas ; Strass, Hannes ; Truszczynski, Miroslaw ; Woltran, Stefan Reduction-Based Approaches to Implement Modgil’s Extended Argumentation FrameworksBuchbeitrag Book Contribution2015
13Maly 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
14PruningExternalMinimalityChecking.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
15Fink, Michael ; Tompits, Hans ; Woltran, Stefan Proceedings of the 20th Workshop on Logic Programming (WLP 2006), Vienna, Austria, February 22--24Konferenzband Proceedings 2006
16Eiter, Thomas ; Fink, Michael ; Weinzierl, Antonius ; Eiter, Thomas ; Strass, Hannes ; Truszczynski, Miroslaw ; Woltran, Stefan Preference-Based Diagnosis Selection in Multi-Context SystemsBuchbeitrag Book Contribution 2015
17Hecher 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
18Haret Adrian - 2014 - Merging in the Horn fragment.pdf.jpgHaret, Adrian Merging in the Horn fragmentThesis Hochschulschrift 2014
19Balduccini, Marcello ; Lierler, Yuliya ; Woltran, Stefan Logic Programming and Nonmonotonic ReasoningKonferenzband Proceedings2019
20Keshavarzi Zafarghandi Atefeh - 2017 - Investigating subclasses of abstract...pdf.jpgKeshavarzi Zafarghandi, Atefeh Investigating subclasses of abstract dialectical frameworksThesis Hochschulschrift 2017

Projects Projekte


Results 1-10 of 10 (Search time: 0.001 seconds).

TitleP-Investigator
Advanced Tools for Graph - Based Formal ArgumentationWoltran, Stefan
Compiling Knowledge into ApplicationsWoltran, Stefan
EMBArgWoltran, Stefan
Extending the Answer-Set Programming Paradigm to Decomposed Problem SolvingWoltran, Stefan
Fragment-Driven Belief ChangeWoltran, Stefan
Hybrid Parameterized Problem Solving in PracticeWoltran, Stefan
New Methods for Analyzing, Comparing, and Solving Argumentation ProblemsWoltran, Stefan
Ontology-mediated Queries for Graph DatabasesWoltran, Stefan
Revealing and Utilizing the Hidden Structure for Solving Hard Problems in AIWoltran, Stefan
STARTWoltran, Stefan