Hybrid Parameterized Problem Solving in Practice

View Statistics Email Alert RSS Feed

Primary Data

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
 

Grants

Funder/Funding Agency Fördergeber
FWF - Österr. Wissenschaftsfonds
Grant number Förderkennnummer
P32830-N
 

Publications

Filter:
Access Type:  Open Access

Results 1-14 of 14 (Search time: 0.008 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
3Fichte, Johannes K. ; Le Berre, Daniel ; Hecher, Markus ; Szeider, Stefan The silent (r)evolution of SATArticle Artikel Jun-2023
4Dvorak-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
5Besin, Viktor ; Hecher, Markus ; Woltran, Stefan On the Structural Complexity of Grounding - Tackling the ASP Grounding Bottleneck via Epistemic Programs and TreewidthInproceedings Konferenzbeitrag 2023
6Bernreiter, Michael ; Dvořák, Wolfgang ; Woltran, Stefan Abstract argumentation with conditional preferencesArticle Artikel 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
9Fichte-2022-Proofs for Propositional Model Counting-vor.pdf.jpgFichte, Johannes K. ; Hecher, Markus ; Roland, Valentin Proofs for Propositional Model CountingInproceedings Konferenzbeitrag 28-Jul-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
12Besin-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
13Dvorak Wolfgang - 2022 - Treewidth for Argumentation Frameworks with Collective...pdf.jpgDvořák, Wolfgang ; König, Matthias ; Woltran, Stefan Treewidth for Argumentation Frameworks with Collective AttacksInproceedings Konferenzbeitrag 2022
14König, Matthias ; Rapberger, Anna ; Ulbricht, Markus Just a Matter of PerspectiveInproceedings Konferenzbeitrag 2022