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

Publications

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

PreviewAuthor(s)TitleTypeIssue Date
1Bernreiter-2023-The Effect of Preferences in Abstract Argumentation under...-vor.pdf.jpgBernreiter, Michael ; Dvorak, Wolfgang ; Rapberger, Anna ; Woltran, Stefan The Effect of Preferences in Abstract Argumentation under a Claim-Centric ViewInproceedings Konferenzbeitrag 26-Jun-2023
2Fichte, Johannes ; Hecher, Markus ; Roland, Valentin Parallel Model Counting with {CUDA:} Algorithm Engineering for Efficient Hardware UtilizationKonferenzbeitrag Inproceedings 2021
3Fichte, Johannes ; Hecher, Markus ; McCreesh, Ciaran ; Shahab, Anas Complications for Computational Experiments from Modern ProcessorsKonferenzbeitrag Inproceedings 2021
4Dvořák, Wolfgang ; König, Matthias ; Woltran, Stefan Graph-Classes of Argumentation Frameworks with Collective AttacksKonferenzbeitrag Inproceedings 2021
5Bernreiter, Michael ; Maly, Jan ; Woltran, Stefan Choice Logics and Their Computational PropertiesKonferenzbeitrag Inproceedings 2021
6Fichte, Johannes ; Hecher, Markus ; Mahmood, Yasir ; Meier, Arne Decomposition-Guided Reductions for Argumentation and TreewidthKonferenzbeitrag Inproceedings 2021
7Fandinno, Jorge ; Hecher, Markus Treewidth-Aware Complexity in {ASP:} Not all Positive Cycles are Equally HardKonferenzbeitrag Inproceedings 2021
8Eiter, Thomas ; Hecher, Markus ; Kiesel, Rafael Treewidth-Aware Cycle Breaking for Algebraic Answer Set CountingKonferenzbeitrag Inproceedings 2021
9Fichte, Johannes ; Hecher, Markus ; Meier, Arne Knowledge-Base Degrees of Inconsistency: Complexity and CountingKonferenzbeitrag Inproceedings 2021
10Dvořák, Wolfgang ; König, Matthias ; Woltran, Stefan On the Complexity of Preferred Semantics in Argumentation Frameworks with Bounded Cycle LengthKonferenzbeitrag Inproceedings 2021
11Dvořák, Wolfgang ; Ulbricht, Markus ; Woltran, Stefan Recursion in Abstract Argumentation is Hard --- On the Complexity of Semantics Based on Weak AdmissibilityKonferenzbeitrag Inproceedings 2021
12Eiter, Thomas ; Hecher, Markus ; Kiesel, Rafael Treewidth-Aware Cycle Breaking for Algebraic Answer Set CountingKonferenzbeitrag Inproceedings 2021
13Hecher, Markus ; Thier, Patrick ; Woltran, Stefan Taming High Treewidth with Abstraction, Nested Dynamic Programming, and Database TechnologyKonferenzbeitrag Inproceedings 2020
14Saribatur, Zeynep Gözen ; Wallner, Johannes Peter ; Woltran, Stefan Explaining Non-Acceptability in Abstract ArgumentationKonferenzbeitrag Inproceedings 2020
15Fichte, Johannes K. ; Hecher, Markus ; Pfandler, Andreas Lower Bounds for QBFs of Bounded TreewidthKonferenzbeitrag Inproceedings 2020
16Hecher, Markus Treewidth-aware Reductions of Normal ASP to SAT - Is Normal ASP Harder than SAT after All?Konferenzbeitrag Inproceedings 2020
17Maly, Jan Lifting Preferences over Alternatives to Preferences over Sets of Alternatives: The Complexity of Recognizing Desirable Families of SetsKonferenzbeitrag Inproceedings 2020
18Bernreiter, Michael ; Maly, Jan ; Woltran, Stefan Encoding Choice Logics in ASPKonferenzbeitrag Inproceedings 2020
19Hecher, Markus ; Morak, Michael ; Woltran, Stefan Structural Decompositions of Epistemic Logic ProgramsKonferenzbeitrag Inproceedings 2020
20Woltran, Stefan Computational Argumentation - Formal Models and Complexity ResultsKonferenzbeitrag Inproceedings2020