Project Acronym Projekt Kurzbezeichnung
START
 
Project Title (de) Projekttitel (de)
START
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in
 

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

PreviewAuthors / EditorsTitleTypeIssue Date
1Fichte, Johannes ; Hecher, Markus ; Meier, Arne Knowledge-Base Degrees of Inconsistency: Complexity and CountingKonferenzbeitrag Inproceedings 2021
2Fandinno, Jorge ; Hecher, Markus Treewidth-Aware Complexity in {ASP:} Not all Positive Cycles are Equally HardKonferenzbeitrag Inproceedings 2021
3Bernreiter, Michael ; Maly, Jan ; Woltran, Stefan Choice Logics and Their Computational PropertiesKonferenzbeitrag Inproceedings 2021
4Fichte, Johannes ; Hecher, Markus ; Roland, Valentin Parallel Model Counting with {CUDA:} Algorithm Engineering for Efficient Hardware UtilizationKonferenzbeitrag Inproceedings 2021
5Fichte, Johannes ; Hecher, Markus ; McCreesh, Ciaran ; Shahab, Anas Complications for Computational Experiments from Modern ProcessorsKonferenzbeitrag Inproceedings 2021
6Fichte, Johannes ; Hecher, Markus ; Mahmood, Yasir ; Meier, Arne Decomposition-Guided Reductions for Argumentation and TreewidthKonferenzbeitrag Inproceedings 2021
7Dvořák, Wolfgang ; König, Matthias ; Woltran, Stefan On the Complexity of Preferred Semantics in Argumentation Frameworks with Bounded Cycle LengthKonferenzbeitrag Inproceedings 2021
8Dvořák, Wolfgang ; König, Matthias ; Woltran, Stefan Graph-Classes of Argumentation Frameworks with Collective AttacksKonferenzbeitrag Inproceedings 2021
9Dvořák, Wolfgang ; Ulbricht, Markus ; Woltran, Stefan Recursion in Abstract Argumentation is Hard --- On the Complexity of Semantics Based on Weak AdmissibilityKonferenzbeitrag Inproceedings 2021
10FICHTE, JOHANNES K. ; HECHER, MARKUS ; THIER, PATRICK ; WOLTRAN, STEFAN Exploiting Database Management Systems and Treewidth for CountingArtikel Article 2021
11Dvorak, Wolfgang ; König, Matthias ; Ulbricht, Markus ; Woltran, Stefan A Reduct-Driven Study of Argumentation Frameworks With Collective AttacksPräsentation Presentation2021
12Eiter, Thomas ; Hecher, Markus ; Kiesel, Rafael Treewidth-Aware Cycle Breaking for Algebraic Answer Set CountingKonferenzbeitrag Inproceedings 2021
13Eiter, Thomas ; Hecher, Markus ; Kiesel, Rafael Treewidth-Aware Cycle Breaking for Algebraic Answer Set CountingKonferenzbeitrag Inproceedings 2021
14Fichte, Johannes K. ; Hecher, Markus ; Morak, Michael ; Woltran, Stefan DynASP2.5: Dynamic Programming on Tree Decompositions in ActionArtikel Article 2021
15Hecher, Markus ; Thier, Patrick ; Woltran, Stefan Taming High Treewidth with Abstraction, Nested Dynamic Programming, and Database TechnologyKonferenzbeitrag Inproceedings 2020
16Gonçalves, Ricardo ; Janhunen, Tomi ; Knorr, Matthias ; Leite, João ; Woltran, Stefan Forgetting in Modular Answer Set ProgrammingKonferenzbeitrag Inproceedings 2020
17FICHTE, JOHANNES K. ; HECHER, MARKUS ; THIER, PATRICK ; WOLTRAN, STEFAN Exploiting Database Management Systems and Treewidth for CountingKonferenzbeitrag Inproceedings 2020
18Kolaitis, Phokion G. ; Pichler, Reinhard ; Sallinger, Emanuel ; Savenkov, Vadim On the Language of Nested Tuple Generating DependenciesArtikel Article 2020
19Saribatur, Zeynep Gözen ; Wallner, Johannes Peter ; Woltran, Stefan ; De Giacomo, Giuseppe Explaining Non-Acceptability in Abstract ArgumentationKonferenzbeitrag Inproceedings 2020
20Fichte, Johannes K. ; Hecher, Markus ; Schidler, Andre Solving the Steiner Tree Problem with few TerminalsKonferenzbeitrag Inproceedings 2020