Fixed-Parameter Tractability in Artificial Intelligence and Reasoning (FAIR)

View Statistics Email Alert RSS Feed

Primary Data

Project Acronym Projekt Kurzbezeichnung
FAIR
 
Project Title (de) Projekttitel (de)
Fixed-Parameter Tractability in Artificial Intelligence and Reasoning (FAIR)
 
Project Title (en) Projekttitel (en)
Fixed-Parameter Tractability in Artificial Intelligence and Reasoning (FAIR)
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in
 

Grants

Funder/Funding Agency Fördergeber
FWF Fonds zur Förderung der wissenschaftlichen Forschung (FWF)
Grant number Förderkennnummer
P25518-N23
 

Publications

Filter:
Author:  Pfandler, Andreas

Results 1-20 of 29 (Search time: 0.005 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Ganian, Robert ; Kronegger, Martin ; Pfandler, Andreas ; Popa, Alexandru Parameterized Complexity of Asynchronous Border MinimizationArtikel Article 2019
2Kronegger, Martin ; Ordyniak, Sebastian ; Pfandler, Andreas Backdoors to planningArtikel Article 2019
3Pfandler, Andreas ; Endres, Markus Workshop Präferenzen und Personalisierung in der Informatik (PPI17)Konferenzbeitrag Inproceedings2017
4Egly, Uwe ; Kronegger, Martin ; Lonsing, Florian ; Pfandler, Andreas Conformant planning as a case study of incremental QBF solvingArtikel Article 2017
5Haret, Adrian ; Pfandler, Andreas ; Woltran, Stefan Beyond IC Postulates: Classification Criteria for Merging OperatorsKonferenzbeitrag Inproceedings 2016
6Pfandler, Andreas ; Sallinger, Emanuel Distance-Bounded Consistent Query AnsweringKonferenzbeitrag Inproceedings 2015
7de Haan, Ronald ; Kronegger, Martin ; Pfandler, Andreas Fixed-parameter Tractable Reductions to SAT for PlanningKonferenzbeitrag Inproceedings 2015
8Pfandler, Andreas ; Rümmele, Stefan ; Wallner, Johannes Peter ; Woltran, Stefan On the Parameterized Complexity of Belief RevisionKonferenzbeitrag Inproceedings 2015
9Erdélyi, Gábor ; Lackner, Martin ; Pfandler, Andreas Manipulation of k-Approval in Nearly Single-Peaked ElectoratesKonferenzbeitrag Inproceedings 2015
10Kronegger, Martin ; Pfandler, Andreas ; Ordyniak, Sebastian Variable-Deletion Backdoors to PlanningKonferenzbeitrag Inproceedings 2015
11Charwat, Günther ; Pfandler, Andreas Democratix: A Declarative Approach to Winner DeterminationKonferenzbeitrag Inproceedings 2015
12Ganian, Robert ; Kronegger, Martin ; Pfandler, Andreas ; Popa, Alexandru Parameterized Complexity of Asynchronous Border MinimizationKonferenzbeitrag Inproceedings 2015
13Kaufmann, Petra ; Kronegger, Martin ; Pfandler, Andreas ; Seidl, Martina ; Widl, Magdalena Intra- and interdiagram consistency checking of behavioral multiview modelsArtikel Article2015
14Pfandler, A. ; Pichler, R. ; Woltran, S. The complexity of handling minimal solutions in logic-based abductionArtikel Article2015
15Kaufmann, Petra ; Kronegger, Martin ; Pfandler, Andreas ; Seidl, Martina ; Widl, Magdalena A SAT-Based Debugging Tool for State Machines and Sequence DiagramsKonferenzbeitrag Inproceedings 2014
16Kronegger, Martin ; Lackner, Martin ; Pfandler, Andreas ; Pichler, Reinhard On the Parameterized Complexity of Generalized CP-NetsPräsentation Presentation2014
17Egly, Uwe ; Kronegger, Martin ; Lonsing, Florian ; Pfandler, Andreas Conformant Planning as a Case Study of Incremental QBF SolvingPräsentation Presentation2014
18Charwat, Günther ; Pfandler, Andreas DEMOCRATIX: A Declarative Approach to Winner DeterminationKonferenzbeitrag Inproceedings 2014
19Kronegger, Martin ; Lackner, Martin ; Pfandler, Andreas ; Pichler, Reinhard A Parameterized Complexity Analysis of Generalized CP-NetsKonferenzbeitrag Inproceedings 2014
20Kronegger, Martin ; Lackner, Martin ; Pfandler, Andreas ; Pichler, Reinhard A Parameterized Complexity Analysis of Generalized CP-NetsKonferenzbeitrag Inproceedings 2014