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 1-20 of 25 (Search time: 0.005 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Fichte, Johannes K. ; Hecher, Markus ; Morak, Michael ; Woltran, Stefan DynASP2.5: Dynamic Programming on Tree Decompositions in ActionArtikel Article 2021
2FICHTE, JOHANNES K. ; HECHER, MARKUS ; THIER, PATRICK ; WOLTRAN, STEFAN Exploiting Database Management Systems and Treewidth for CountingArtikel Article 2021
3Abseher, Michael ; Bliem, Bernhard ; Charwat, Günther ; Dusberger, Frederico ; Woltran, Stefan Computing Secure Sets in Graphs using Answer Set ProgrammingArtikel Article Jun-2020
4Dvořák, Wolfgang ; Woltran, Stefan Complexity of abstract argumentation under a claim-centric viewArtikel Article 2020
5Gaggl, Sarah A. ; Linsbichler, Thomas ; Maratea, Marco ; Woltran, Stefan Design and results of the Second International Competition on Computational Models of ArgumentationArtikel Article 2020
6Bliem, Bernhard ; Morak, Michael ; Moldovan, Marius ; Woltran, Stefan The Impact of Treewidth on Grounding and Solving of Answer Set ProgramsArtikel Article 2020
7Baumann, Ringo ; Dvorak, Wolfgang ; Linsbichler, Thomas ; Woltran, Stefan A general notion of equivalence for abstract argumentationArtikel Article 2019
8Charwat, Günther ; Woltran, Stefan Expansion-based QBF Solving on Tree DecompositionsArtikel Article 2019
9Bliem, Bernhard ; Woltran, Stefan Defensive alliances in graphs of bounded treewidthArtikel Article 31-Dec-2018
10Diller, Martin ; Haret, Adrian ; Linsbichler, Thomas ; Rümmele, Stefan ; Woltran, Stefan An extension-based approach to belief revision in abstract argumentationArtikel Article Feb-2018
11Bliem, Bernhard ; Woltran, Stefan Complexity of Secure SetsArtikel Article 2018
12Delgrande, James P. ; Peppas, Pavlos ; Woltran, Stefan General Belief RevisionArtikel Article 2018
13Creignou, Nadia ; Pichler, Reinhard ; Woltran, Stefan Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment?Artikel Article 2018
14Bliem, Bernhard ; Woltran, Stefan Equivalence between answer-set programs under (partially) fixed inputArtikel Article 2018
15Woltran, Stefan ; Schaub, Torsten Answer set programming unleashed!Artikel Article 2018
16Abseher, Michael ; Hecher, Markus ; Moldovan, Marius ; Woltran, Stefan ; Bliem, Bernhard Dynamic Programming on Tree Decompositions with {D-FLAT}Artikel Article 2018
17GONÇALVES, RICARDO ; KNORR, MATTHIAS ; LEITE, JOÃO ; WOLTRAN, STEFAN When you must forget: Beyond strong persistence when forgetting in answer set programmingArtikel Article2017
18Maly, Jan ; Woltran, Stefan Ranking Specific Sets of ObjectsArtikel Article 2017
19Abseher, Michael ; Musliu, Nysret ; Woltran, Stefan Improving the Efficiency of Dynamic Programming on Tree Decompositions via Machine LearningArtikel Article 2017
20BICHLER, MANUEL ; MORAK, MICHAEL ; WOLTRAN, STEFAN The Power of Non-Ground Rules in Answer Set ProgrammingArtikel Article 2016