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
 

Results 1-20 of 40 (Search time: 0.01 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Bernreiter, Michael ; König, Matthias From Qualitative Choice Logic to Abstract ArgumentationInproceedings Konferenzbeitrag 15-Sep-2023
2Dimopoulos-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
3Correa-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
4Fichte-2023-Communications of the ACM-vor.pdf.jpgFichte, Johannes K. ; Le Berre, Daniel ; Hecher, Markus ; Szeider, Stefan The silent (r)evolution of SATArticle Artikel Jun-2023
5Dvorak-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
6Fichte, Johannes Klaus ; Hecher, Markus ; Morak, Michael ; Thier, Christopher-Patrick ; Woltran, Stefan Solving Projected Model Counting by Utilizing Treewidth and its LimitsArticle Artikel Jan-2023
7Bernreiter-2023-Argument  Computation-p.pdf.jpgBernreiter, Michael ; Dvořák, Wolfgang ; Woltran, Stefan Abstract argumentation with conditional preferencesArticle Artikel 2023
8Besin-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
9Dvorak-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
10Fichte, Johannes Klaus ; Gaggl, Sarah Alice ; Hecher, Markus ; Rusovac, Dominik IASCAR: Incremental Answer Set Counting by Anytime RefinementInproceedings Konferenzbeitrag Sep-2022
11Bernreiter-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
12Dvorak, Wolfgang ; König, Matthias ; Ulbricht, Markus ; Woltran, Stefan Rediscovering Argumentation Principles Utilizing Collective AttacksInproceedings Konferenzbeitrag Aug-2022
13Fichte-2022-Proofs for Propositional Model Counting-vor.pdf.jpgFichte, Johannes K. ; Hecher, Markus ; Roland, Valentin Proofs for Propositional Model CountingInproceedings Konferenzbeitrag 28-Jul-2022
14Fichte, Johannes K. ; Hecher, Markus ; Nadeem, Mohamed A. Plausibility Reasoning via Projected Answer Set Counting - A Hybrid ApproachInproceedings Konferenzbeitrag Jul-2022
15Baumann, Ringo ; Rapberger, Anna ; Ulbricht, Markus Equivalence in Argumentation Frameworks with a Claim-Centric View – Classical Results with Novel IngredientsInproceedings Konferenzbeitrag 28-Jun-2022
16Dvorak-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
17Linsbichler-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
18Bernreiter, Michael ; Freiman, Robert Truth and Preferences - A Game Approach for Qualitative Choice LogicPresentation Vortrag2022
19Dewoprabowo, Ridhwan ; Fichte, Johannes Klaus ; Gorczyca, Piotr Jerzy ; Hecher, Markus A Practical Account into Counting Dung's Extensions by Dynamic ProgrammingInproceedings Konferenzbeitrag 2022
20Dvořák, Wolfgang ; König, Matthias ; Woltran, Stefan Treewidth for Argumentation Frameworks with Collective AttacksInproceedings Konferenzbeitrag 2022