Woltran, Stefan

Network Lab View Statistics Email Alert RSS Feed

Name Card

Full name Familienname, Vorname
Woltran, Stefan
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Filter:
Subject:  Answer Set Programming

Results 1-6 of 6 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Besin, Viktor ; Hecher, Markus ; Woltran, Stefan On the Structural Complexity of Grounding - Tackling the ASP Grounding Bottleneck via Epistemic Programs and TreewidthInproceedings Konferenzbeitrag 2023
2Bernreiter, Michael ; Maly, Jan ; Woltran, Stefan Encoding Choice Logics in ASPKonferenzbeitrag Inproceedings 2020
3Bichler, Manuel ; Morak, Michael ; Woltran, Stefan lpopt: A Rule Optimization Tool for Answer Set ProgrammingArtikel Article 2020
4Woltran, Stefan ; Goncalves, Ricardo ; Janhunen, Tomi ; Knorr, Matthias ; Leite, Joao Variable Elimination for DLP-FunctionsKonferenzbeitrag Inproceedings 2018
5GONÇALVES, RICARDO ; KNORR, MATTHIAS ; LEITE, JOÃO ; WOLTRAN, STEFAN When you must forget: Beyond strong persistence when forgetting in answer set programmingArtikel Article2017
6Abseher, Michael ; Bliem, Bernhard ; Charwat, Günther ; Dusberger, Frederico ; Hecher, Markus ; Woltran, Stefan The D-FLAT System for Dynamic Programming on Tree DecompositionsKonferenzbeitrag Inproceedings 2014

Contributing Publications Mitbeteiligte Publikationen

Filter:
Subject:  Answer Set Programming

Results 1-6 of 6 (Search time: 0.008 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Besin Viktor - 2023 - A Novel Method for Grounding in Answer-Set Programming.pdf.jpgBesin, Viktor A novel method for grounding in answer-set programmingThesis Hochschulschrift 2023
2Hecher Markus - 2021 - Advanced Tools and Methods for Treewidth-Based Problem...pdf.jpgHecher, Markus Advanced Tools and Methods for Treewidth-Based Problem SolvingThesis Hochschulschrift 2021
3PruningExternalMinimalityChecking.pdf.jpgEiter, Thomas ; Kaminski, Tobias Dietmar Pruning External Minimality Checking for ASP Using Semantic DependenciesInproceedings Konferenzbeitrag 12-May-2019
4Bellositz Patrick - 2018 - Advancements in equivalence checking for abstract...pdf.jpgBellositz, Patrick Advancements in equivalence checking for abstract argumentation frameworksThesis Hochschulschrift 2018
5Beck Harald - 2018 - Expressive rule-based stream reasoning.pdf.jpgBeck, Harald Expressive rule-based stream reasoningThesis Hochschulschrift 2018
6Gaggl, Sarah Alice Solving argumentation frameworks using answer set programmingThesis Hochschulschrift2009