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

Results 21-40 of 70 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
21Egly, Uwe ; Kronegger, Martin ; Lonsing, Florian ; Pfandler, Andreas Conformant planning as a case study of incremental QBF solvingArtikel Article 2017
22Bliem, Bernhard ; Pichler, Reinhard ; Woltran, Stefan Implementing Courcelle's Theorem in a declarative framework for dynamic programmingArtikel Article 2017
23Haret, Adrian ; Rümmele, Stefan ; Woltran, Stefan Merging in the Horn FragmentArtikel Article 2017
24Csar, Theresa ; Lackner, Martin ; Pichler, Reinhard ; Sallinger, Emanuel Winner Determination in Huge Elections with MapReduce. AAAI 2017: 451-458Konferenzbeitrag Inproceedings2017
25Creignou, Nadia ; Papini, Odile ; Rümmele, Stefan ; Woltran, Stefan Belief Merging within Fragments of Propositional LogicArtikel Article 2016
26Haret, Adrian ; Pfandler, Andreas ; Woltran, Stefan Beyond IC Postulates: Classification Criteria for Merging OperatorsKonferenzbeitrag Inproceedings 2016
27Csar, Theresa ; Lackner, Martin ; Pichler, Reinhard ; Sallinger, Emanuel Winner Determination in Huge Elections with MapReduceKonferenzbeitrag Inproceedings 2016
28Kotek, Tomer ; imkus, Mantas ; Veith, Helmut ; Zuleger, Florian Extending ALCQIO with TreesKonferenzbeitrag Inproceedings 2015
29Pfandler, Andreas ; Sallinger, Emanuel Distance-Bounded Consistent Query AnsweringKonferenzbeitrag Inproceedings 2015
30de Haan, Ronald ; Kronegger, Martin ; Pfandler, Andreas Fixed-parameter Tractable Reductions to SAT for PlanningKonferenzbeitrag Inproceedings 2015
31Pfandler, Andreas ; Rümmele, Stefan ; Wallner, Johannes Peter ; Woltran, Stefan On the Parameterized Complexity of Belief RevisionKonferenzbeitrag Inproceedings 2015
32Erdélyi, Gábor ; Lackner, Martin ; Pfandler, Andreas Manipulation of k-Approval in Nearly Single-Peaked ElectoratesKonferenzbeitrag Inproceedings 2015
33Kronegger, Martin ; Pfandler, Andreas ; Ordyniak, Sebastian Variable-Deletion Backdoors to PlanningKonferenzbeitrag Inproceedings 2015
34Charwat, Günther ; Pfandler, Andreas Democratix: A Declarative Approach to Winner DeterminationKonferenzbeitrag Inproceedings 2015
35Ganian, Robert ; Kronegger, Martin ; Pfandler, Andreas ; Popa, Alexandru Parameterized Complexity of Asynchronous Border MinimizationKonferenzbeitrag Inproceedings 2015
36Bienvenu, Meghyn ; Ortiz, Magdalena ; Simkus, Mantas Regular Path Queries in Lightweight Description Logics: Complexity and AlgorithmsArtikel Article 2015
37Kaufmann, Petra ; Kronegger, Martin ; Pfandler, Andreas ; Seidl, Martina ; Widl, Magdalena Intra- and interdiagram consistency checking of behavioral multiview modelsArtikel Article2015
38Pfandler, A. ; Pichler, R. ; Woltran, S. The complexity of handling minimal solutions in logic-based abductionArtikel Article2015
39Kaufmann, Petra ; Kronegger, Martin ; Pfandler, Andreas ; Seidl, Martina ; Widl, Magdalena A SAT-Based Debugging Tool for State Machines and Sequence DiagramsKonferenzbeitrag Inproceedings 2014
40Kronegger, Martin ; Lackner, Martin ; Pfandler, Andreas ; Pichler, Reinhard On the Parameterized Complexity of Generalized CP-NetsPräsentation Presentation2014