Extending the Answer-Set Programming Paradigm to Decomposed Problem Solving

View Statistics Email Alert RSS Feed

Primary Data

Project Acronym Projekt Kurzbezeichnung
D-Flat
 
Project Title (de) Projekttitel (de)
Extending the Answer-Set Programming Paradigm to Decomposed Problem Solving
 
Project Title (en) Projekttitel (en)
Extending the Answer-Set Programming Paradigm to Decomposed Problem Solving
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in
 

Grants

Funder/Funding Agency Fördergeber
FWF Fonds zur Förderung der wissenschaftlichen Forschung (FWF)
Grant number Förderkennnummer
P25607-N23
 

Publications

Results 1-20 of 38 (Search time: 0.004 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Abseher, Michael ; Bliem, Bernhard ; Charwat, Günther ; Dusberger, Frederico ; Woltran, Stefan Computing secure sets in graphs using answer set programmingArtikel Article 2020
2Abseher, Michael ; Hecher, Markus ; Moldovan, Marius ; Woltran, Stefan ; Bliem, Bernhard Dynamic Programming on Tree Decompositions with {D-FLAT}Artikel Article2018
3Bliem, Bernhard ; Woltran, Stefan Equivalence between answer-set programs under (partially) fixed inputArtikel Article 2018
4Bliem, Bernhard ; Woltran, Stefan Complexity of Secure SetsArtikel Article 2018
5Bliem, Bernhard ; Woltran, Stefan Defensive alliances in graphs of bounded treewidthArtikel Article 2018
6Morak, Michael ; Bichler, Manuel ; Woltran, Stefan ; Hermenegildo, Manuel ; Lopez-Garcia, Pedro lpopt: A Rule Optimization Tool for Answer Set ProgrammingKonferenzbeitrag Inproceedings 2017
7Bliem, Bernhard ; Moldovan, Marius ; Morak, Michael ; Woltran, Stefan The Impact of Treewidth on ASP Grounding and SolvingKonferenzbeitrag Inproceedings 2017
8Abseher, Michael ; Musliu, Nysret ; Woltran, Stefan ; Salvagnin, Domenico ; Lombardi, Michele htd - A Free, Open-Source Framework for (Customized) Tree Decompositions and BeyondKonferenzbeitrag Inproceedings 2017
9Bliem, Bernhard ; Pichler, Reinhard ; Woltran, Stefan Implementing Courcelle's Theorem in a declarative framework for dynamic programmingArtikel Article 2017
10Abseher, Michael ; Musliu, Nysret ; Woltran, Stefan Improving the Efficiency of Dynamic Programming on Tree Decompositions via Machine LearningArtikel Article 2017
11Bliem, Bernhard ; Woltran, Stefan ; Gyssens, Marc ; Simari, Guillermo R. Equivalence Between Answer-Set Programs Under (Partially) Fixed InputKonferenzbeitrag Inproceedings 2016
12Bliem, Bernhard ; Kaufmann, Benjamin ; Schaub, Torsten ; Woltran, Stefan ; Kambhampati, Subbarao ASP for Anytime Dynamic Programming on Tree DecompositionsKonferenzbeitrag Inproceedings 2016
13Charwat, Günther ; Woltran, Stefan ; Lonsing, Florian ; Seidl, Martina Dynamic Programming-based QBF SolvingKonferenzbeitrag Inproceedings 2016
14Abseher, Michael ; Moldovan, Marius ; Woltran, Stefan ; Friedrich, Gerhard ; Helmert, Malte ; Wotawa, Franz Providing Built-In Counters in a Declarative Dynamic Programming EnvironmentKonferenzbeitrag Inproceedings 2016
15Bliem, Bernhard ; Hecher, Markus ; Woltran, Stefan ; Baroni, Pietro ; Gordon, Thomas F. ; Scheffler, Tatjana ; Stede, Manfred On Efficiently Enumerating Semi-Stable Extensions via Dynamic Programming on Tree DecompositionsKonferenzbeitrag Inproceedings 2016
16Bliem, Bernhard ; Woltran, Stefan ; Mayr, Ernst W. Complexity of Secure SetsKonferenzbeitrag Inproceedings 2016
17Bliem, Bernhard ; Charwat, Günther ; Hecher, Markus ; Woltran, Stefan ; Darwiche, Adnan Subset Minimization in Dynamic Programming on Tree DecompositionsKonferenzbeitrag Inproceedings 2016
18Bliem, Bernhard ; Kaufmann, Benjamin ; Schaub, Torsten ; Woltran, Stefan ; Friedrich, Gerhard ; Helmert, Malte ; Wotawa, Franz ASP for Anytime Dynamic Programming on Tree Decompositions (Extended Abstract)Konferenzbeitrag Inproceedings 2016
19Bichler, Manuel ; Morak, Michael ; Woltran, Stefan ; Hermenegildo, Manuel ; Lopez-Garcia, Pedro lpopt: A Rule Optimization Tool for Answer Set ProgrammingKonferenzbeitrag Inproceedings 2016
20BICHLER, MANUEL ; MORAK, MICHAEL ; WOLTRAN, STEFAN The Power of Non-Ground Rules in Answer Set ProgrammingArtikel Article 2016