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

Results 21-33 of 33 (Search time: 0.005 seconds).

PreviewAuthor(s)TitleTypeIssue Date
21GONÇALVES, RICARDO ; KNORR, MATTHIAS ; LEITE, JOÃO ; WOLTRAN, STEFAN When you must forget: Beyond strong persistence when forgetting in answer set programmingArtikel Article2017
22Maly, Jan ; Woltran, Stefan Ranking Specific Sets of ObjectsArtikel Article 2017
23Egly, Uwe ; Kronegger, Martin ; Lonsing, Florian ; Pfandler, Andreas Conformant planning as a case study of incremental QBF solvingArtikel Article 2017
24Abseher, Michael ; Musliu, Nysret ; Woltran, Stefan Improving the Efficiency of Dynamic Programming on Tree Decompositions via Machine LearningArtikel Article 2017
25Bourhis, Pierre ; Manna, Marco ; Morak, Michael ; Pieris, Andreas Guarded-Based Disjunctive Tuple-Generating DependenciesArtikel Article 2016
26BICHLER, MANUEL ; MORAK, MICHAEL ; WOLTRAN, STEFAN The Power of Non-Ground Rules in Answer Set ProgrammingArtikel Article 2016
27Bliem, Bernhard ; Charwat, Günther ; Hecher, Markus ; Woltran, Stefan D-FLAT^2: Subset Minimization in Dynamic Programming on Tree Decompositions Made EasyArtikel Article 2016
28Abseher, Michael ; Gebser, Martin ; Musliu, Nysret ; Schaub, Torsten ; Woltran, Stefan Shift Design with Answer Set ProgrammingArtikel Article 2016
29FICHTE, JOHANNES K. ; TRUSZCZYŃSKI, MIROSŁAW ; WOLTRAN, STEFAN Dual-normal logic programs - the forgotten classArtikel Article2015
30Fichte, Johannes Klaus ; Szeider, Stefan Backdoors to tractable answer-set programmingArtikel Article2015
31GAGGL, SARAH A. ; MANTHEY, NORBERT ; RONCA, ALESSANDRO ; WALLNER, JOHANNES P. ; WOLTRAN, STEFAN Improved answer-set programming encodings for abstract argumentationArtikel Article2015
32Fichte, Johannes K. ; Szeider, Stefan Backdoors to Normality for Disjunctive Logic ProgramsArtikel Article2015
33Charwat, Günther ; Dvořák, Wolfgang ; Gaggl, Sarah A. ; Wallner, Johannes P. ; Woltran, Stefan Methods for solving reasoning problems in abstract argumentation - A surveyArtikel Article 2015