Hybrid Parameterized Problem Solving in Practice


Project Acronym Projekt Kurzbezeichnung
HYPAR
 
Project Title (de) Projekttitel (de)
Hybrid Parameterized Problem Solving in Practice
 
Project Title (en) Projekttitel (en)
Hybrid Parameterized Problem Solving in Practice
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in
 
Funder/Funding Agency Fördergeber
FWF - Österr. Wissenschaftsfonds
Grant number Förderkennnummer
P32830-N
 

Filter:
Author:  Woltran, Stefan

Results 1-20 of 22 (Search time: 0.006 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Dimopoulos-2023-Sets Attacking Sets in Abstract Argumentation-vor.pdf.jpgDimopoulos, Yannis ; Dvorak, Wolfgang ; König, Matthias ; Rapberger, Anna ; Ulbricht, Markus ; Woltran, Stefan Sets Attacking Sets in Abstract ArgumentationInproceedings Konferenzbeitrag 29-Aug-2023
2Correa-2023-Grounding Planning Tasks Using Tree Decompositions and Iterat...-vor.pdf.jpgCorrêa, Augusto ; Hecher, Markus ; Helmert, Malte ; Longo, Davide Mario ; Pommerening, Florian ; Woltran, Stefan Grounding Planning Tasks Using Tree Decompositions and Iterated SolvingInproceedings Konferenzbeitrag 1-Jul-2023
3Dvorak-2023-Artificial Intelligence-vor.pdf.jpgDvořák, Wolfgang ; Greßler, Alexander ; Rapberger, Anna ; Woltran, Stefan The complexity landscape of claim-augmented argumentation frameworksArticle Artikel Apr-2023
4Fichte, Johannes Klaus ; Hecher, Markus ; Morak, Michael ; Thier, Christopher-Patrick ; Woltran, Stefan Solving Projected Model Counting by Utilizing Treewidth and its LimitsArticle Artikel Jan-2023
5Bernreiter-2023-Argument  Computation-p.pdf.jpgBernreiter, Michael ; Dvořák, Wolfgang ; Woltran, Stefan Abstract argumentation with conditional preferencesArticle Artikel 2023
6Besin-2023-On the Structural Complexity of Grounding - Tackling the ASP G...-vor.pdf.jpgBesin, Viktor ; Hecher, Markus ; Woltran, Stefan On the Structural Complexity of Grounding - Tackling the ASP Grounding Bottleneck via Epistemic Programs and TreewidthInproceedings Konferenzbeitrag 2023
7Dvorak-2022-Deletion-Backdoors for Argumentation Frameworks with Collecti...-vor.pdf.jpgDvorak, Wolfgang ; König, Matthias ; Woltran, Stefan Deletion-Backdoors for Argumentation Frameworks with Collective AttacksInproceedings Konferenzbeitrag 8-Oct-2022
8Bernreiter-2022-Sequent Calculi for Choice Logics-vor.pdf.jpgBernreiter, Michael ; Lolic, Anela ; Maly, Jan ; Woltran, Stefan Sequent Calculi for Choice LogicsInproceedings Konferenzbeitrag 1-Aug-2022
9Dvorak, Wolfgang ; König, Matthias ; Ulbricht, Markus ; Woltran, Stefan Rediscovering Argumentation Principles Utilizing Collective AttacksInproceedings Konferenzbeitrag Aug-2022
10Dvorak-2022-Tractable Abstract Argumentation via Backdoor-Treewidth-vor.pdf.jpgDvořák, Wolfgang ; Hecher, Markus ; König, Matthias ; Schidler, Andre ; Szeider, Stefan ; Woltran, Stefan Tractable Abstract Argumentation via Backdoor-TreewidthInproceedings Konferenzbeitrag 28-Jun-2022
11Linsbichler-2022-Artificial Intelligence-vor.pdf.jpgLinsbichler, Thomas ; Maratea, Marco ; Niskanen, Andreas ; Wallner, Johannes P. ; Woltran, Stefan Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solvingArticle Artikel Jun-2022
12Dvořák, Wolfgang ; König, Matthias ; Woltran, Stefan Treewidth for Argumentation Frameworks with Collective AttacksInproceedings Konferenzbeitrag 2022
13Besin-2022-Body-Decoupled Grounding via Solving A Novel Approach on the A...-vor.pdf.jpgBesin, Viktor ; Hecher, Markus ; Woltran, Stefan Body-Decoupled Grounding via Solving: A Novel Approach on the ASP BottleneckInproceedings Konferenzbeitrag 2022
14Dvořák, Wolfgang ; König, Matthias ; Woltran, Stefan Graph-Classes of Argumentation Frameworks with Collective AttacksKonferenzbeitrag Inproceedings 2021
15Fichte, Johannes K. ; Hecher, Markus ; Morak, Michael ; Woltran, Stefan DynASP2.5: Dynamic Programming on Tree Decompositions in ActionArtikel Article 2021
16Dvorak, Wolfgang ; König, Matthias ; Ulbricht, Markus ; Woltran, Stefan A Reduct-Driven Study of Argumentation Frameworks With Collective AttacksPräsentation Presentation2021
17Dvořák, Wolfgang ; König, Matthias ; Woltran, Stefan On the Complexity of Preferred Semantics in Argumentation Frameworks with Bounded Cycle LengthKonferenzbeitrag Inproceedings 2021
18Hecher, Markus ; Morak, Michael ; Woltran, Stefan Structural Decompositions of Epistemic Logic ProgramsKonferenzbeitrag Inproceedings 2020
19Woltran, Stefan Computational Argumentation - Formal Models and Complexity ResultsKonferenzbeitrag Inproceedings2020
20Hecher, Markus ; Thier, Patrick ; Woltran, Stefan Taming High Treewidth with Abstraction, Nested Dynamic Programming, and Database TechnologyPräsentation Presentation2020