START

View Statistics Email Alert RSS Feed

Primary Data

Project Acronym Projekt Kurzbezeichnung
START
 
Project Title (de) Projekttitel (de)
START
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in
 

Publications

Filter:
Author:  Woltran, Stefan

Results 61-80 of 90 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
61Abseher, Michael ; Musliu, Nysret ; Woltran, Stefan htd -- A Free, Open-Source Framework for Tree Decompositions and BeyondBericht Report2016
62Fichte, Johannes ; Kronegger, Martin ; Woltran, Stefan Multiparametric View on Answer Set ProgrammingBericht Report2016
63Fichte, Johannes ; Hecher, Markus ; Morak, Michael ; Woltran, Stefan Answer Set Solving using Tree Decompositions and Dynamic Programming -- The DynASP2 SystemBericht Report2016
64Bliem, Bernhard ; Woltran, Stefan Equivalence Between Answer-Set Programs Under (Partially) Fixed InputKonferenzbeitrag Inproceedings 2016
65Bliem, Bernhard ; Kaufmann, Benjamin ; Schaub, Torsten ; Woltran, Stefan ASP for Anytime Dynamic Programming on Tree DecompositionsKonferenzbeitrag Inproceedings 2016
66Bliem, Bernhard ; Hecher, Markus ; Woltran, Stefan On Efficiently Enumerating Semi-Stable Extensions via Dynamic Programming on Tree DecompositionsKonferenzbeitrag Inproceedings 2016
67Bliem, Bernhard ; Woltran, Stefan Complexity of Secure SetsKonferenzbeitrag Inproceedings 2016
68Bliem, Bernhard ; Charwat, Günther ; Hecher, Markus ; Woltran, Stefan Subset Minimization in Dynamic Programming on Tree DecompositionsKonferenzbeitrag Inproceedings 2016
69Bichler, Manuel ; Morak, Michael ; Woltran, Stefan lpopt: A Rule Optimization Tool for Answer Set ProgrammingKonferenzbeitrag Inproceedings 2016
70Heissenberger, Georg ; Woltran, Stefan Grappavis - A system for advanced graph-based argumentationKonferenzbeitrag Inproceedings 2016
71BICHLER, MANUEL ; MORAK, MICHAEL ; WOLTRAN, STEFAN The Power of Non-Ground Rules in Answer Set ProgrammingArtikel Article 2016
72Bliem, Bernhard ; Charwat, Günther ; Hecher, Markus ; Woltran, Stefan D-FLAT^2: Subset Minimization in Dynamic Programming on Tree Decompositions Made EasyArtikel Article 2016
73Abseher, Michael ; Gebser, Martin ; Musliu, Nysret ; Schaub, Torsten ; Woltran, Stefan Shift Design with Answer Set ProgrammingArtikel Article 2016
74Fichte, Johannes ; Hecher, Markus ; Morak, Michael ; Woltran, Stefan Counting Answer Sets via Dynamic ProgrammingKonferenzbeitrag Inproceedings2016
75Bliem, Bernhard ; Ordyniak, Sebastian ; Woltran, Stefan Clique-Width and Directed Width Measures for Answer-Set ProgrammingKonferenzbeitrag Inproceedings 2016
76Charwat, Günther ; Woltran, Stefan Dynamic Programming-based QBF SolvingKonferenzbeitrag Inproceedings 2016
77Bliem, Bernhard ; Ordyniak, Sebastian ; Woltran, Stefan Clique-Width and Directed Width Measures for Answer-Set ProgrammingKonferenzbeitrag Inproceedings 2016
78Abseher, Michael ; Moldovan, Marius ; Woltran, Stefan Providing Built-In Counters in a Declarative Dynamic Programming EnvironmentKonferenzbeitrag Inproceedings 2016
79Bliem, Bernhard ; Kaufmann, Benjamin ; Schaub, Torsten ; Woltran, Stefan ASP for Anytime Dynamic Programming on Tree Decompositions (Extended Abstract)Konferenzbeitrag Inproceedings 2016
80Bliem, Bernhard ; Charwat, Günther ; Hecher, Markus ; Woltran, Stefan D-FLAT^2: Subset Minimization in Dynamic Programming on Tree Decompositions Made EasyBericht Report2015