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:
Subject:  Answer Set Programming

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

PreviewAuthor(s)TitleTypeIssue Date
1Bernreiter, Michael ; Maly, Jan ; Woltran, Stefan Encoding Choice Logics in ASPKonferenzbeitrag Inproceedings 2020
2Everardo, Flavio ; Hecher, Markus ; Shukla, Ankit Extending XORRO with Approximate Model CountingPräsentation Presentation2020
3Fichte, Johannes ; Hecher, Markus Exploiting Treewidth for Counting Projected Answer SetsKonferenzbeitrag Inproceedings 2018
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