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:  Pichler, Reinhard

Results 1-19 of 19 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Fischl, Wolfgang ; Gottlob, Georg ; Pichler, Reinhard General and Fractional Hypertree Decompositions: Hard and Easy CasesKonferenzbeitrag Inproceedings 2018
2Csar, Theresa ; Lackner, Martin ; Pichler, Reinhard Computing the Schulze Method for Large-Scale Preference Data SetsKonferenzbeitrag Inproceedings 2018
3Creignou, Nadia ; Pichler, Reinhard ; Woltran, Stefan Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment?Artikel Article 2018
4Gottlob, Georg ; Pichler, Reinhard ; Sallinger, Emanuel Function Symbols in Tuple-Generating Dependencies: Expressive Power and ComputabilityKonferenzbeitrag Inproceedings 2017
5Csar, Theresa ; Lackner, Martin ; Pichler, Reinhard ; Sallinger, Emanuel Computational Social Choice in the CloudsKonferenzbeitrag Inproceedings 2017
6Kröll, Markus ; Pichler, Reinhard ; Woltran, Stefan On the Complexity of Enumerating the Extensions of Abstract Argumentation FrameworksKonferenzbeitrag Inproceedings2017
7Creignou, Nadia ; Kröll, Markus ; Pichler, Reinhard ; Skritek, Sebastian ; Vollmer, Heribert On the Complexity of Hard Enumeration ProblemsKonferenzbeitrag Inproceedings2017
8Bliem, Bernhard ; Pichler, Reinhard ; Woltran, Stefan Implementing Courcelle's Theorem in a declarative framework for dynamic programmingArtikel Article 2017
9Csar, Theresa ; Lackner, Martin ; Pichler, Reinhard ; Sallinger, Emanuel Winner Determination in Huge Elections with MapReduce. AAAI 2017: 451-458Konferenzbeitrag Inproceedings2017
10Csar, Theresa ; Lackner, Martin ; Pichler, Reinhard ; Sallinger, Emanuel Winner Determination in Huge Elections with MapReduceKonferenzbeitrag Inproceedings 2016
11Pfandler, A. ; Pichler, R. ; Woltran, S. The complexity of handling minimal solutions in logic-based abductionArtikel Article2015
12Kronegger, Martin ; Lackner, Martin ; Pfandler, Andreas ; Pichler, Reinhard On the Parameterized Complexity of Generalized CP-NetsPräsentation Presentation2014
13Kronegger, Martin ; Lackner, Martin ; Pfandler, Andreas ; Pichler, Reinhard A Parameterized Complexity Analysis of Generalized CP-NetsKonferenzbeitrag Inproceedings 2014
14Kronegger, Martin ; Lackner, Martin ; Pfandler, Andreas ; Pichler, Reinhard A Parameterized Complexity Analysis of Generalized CP-NetsKonferenzbeitrag Inproceedings 2014
15Creignou, Nadia ; Pichler, Reinhard ; Woltran, Stefan Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment?Konferenzbeitrag Inproceedings 2013
16Kronegger, Martin ; Pfandler, Andreas ; Pichler, Reinhard Parameterized Complexity of Optimal Planning: A Detailed MapKonferenzbeitrag Inproceedings 2013
17Kronegger, Martin ; Pfandler, Andreas ; Pichler, Reinhard Conformant Planning as a Benchmark for QBF-SolversKonferenzbeitrag Inproceedings 2013
18Bliem, Bernhard ; Pichler, Reinhard ; Woltran, Stefan Applicability of ASP-based Problem Solving on Tree DecompositionsPräsentation Presentation2013
19Kronegger, Martin ; Lackner, Martin ; Pfandler, Andreas ; Pichler, Reinhard A Parameterized Complexity Analysis of Generalized CP-NetsKonferenzbeitrag Inproceedings 2013