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

Project Acronym Projekt Kurzbezeichnung
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
Funder/Funding Agency Fördergeber
FWF Fonds zur Förderung der wissenschaftlichen Forschung (FWF)
Grant number Förderkennnummer

Results 1-20 of 70 (Search time: 0.004 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
3Diller, Martin ; Haret, Adrian ; Linsbichler, Thomas ; Rümmele, Stefan ; Woltran, Stefan An extension-based approach to belief revision in abstract argumentationArtikel Article Feb-2018
4Fischl, Wolfgang ; Gottlob, Georg ; Pichler, Reinhard General and Fractional Hypertree Decompositions: Hard and Easy CasesKonferenzbeitrag Inproceedings 2018
5Lackner, Martin ; Skowron, Piotr A Quantitative Analysis of Multi-Winner RulesKonferenzbeitrag Inproceedings 2018
6Fichte, Johannes K. ; Hecher, Markus ; Morak, Michael ; Woltran, Stefan Exploiting Treewidth for Projected Model Counting and Its LimitsKonferenzbeitrag Inproceedings 2018
7Csar, Theresa ; Lackner, Martin ; Pichler, Reinhard Computing the Schulze Method for Large-Scale Preference Data SetsKonferenzbeitrag Inproceedings 2018
8Lackner, Martin ; Skowron, Piotr Approval-Based Multi-Winner Rules and Strategic VotingKonferenzbeitrag Inproceedings 2018
9Lackner, Martin ; Bredereck, Robert ; Faliszewski, Piotr ; Igarashi, Ayumi ; Skowron, Piotr Multiwinner Elections With Diversity ConstraintsKonferenzbeitrag Inproceedings 2018
10Lackner, Martin ; Aziz, Haris ; Elkind, Edith ; Huang, Shenwei ; Sánchez-Fernández, Luis ; Skowron, Piotr On the Complexity of Extended and Proportional Justified RepresentationKonferenzbeitrag Inproceedings 2018
11Lackner, Martin ; Faliszewski, Piotr ; Peters, Dominik ; Talmon, Nimrod Effective Heuristics for Committee Scoring RulesKonferenzbeitrag Inproceedings 2018
12Lackner, Martin ; Skowron, Piotr Consistent Approval-Based Multi-Winner RulesKonferenzbeitrag Inproceedings2018
13Creignou, Nadia ; Pichler, Reinhard ; Woltran, Stefan Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment?Artikel Article 2018
14Carmeli, Nofar ; Kröll, Markus Enumeration Complexity of Conjunctive Queries with Functional DependenciesKonferenzbeitrag Inproceedings2018
15Bellomarini, Luigi ; Gottlob, Georg ; Pieris, Andreas ; Sallinger, Emanuel Swift Logic for Big Data and Knowledge GraphsKonferenzbeitrag Inproceedings2017
16Gottlob, Georg ; Pichler, Reinhard ; Sallinger, Emanuel Function Symbols in Tuple-Generating Dependencies: Expressive Power and ComputabilityKonferenzbeitrag Inproceedings 2017
17Csar, Theresa ; Lackner, Martin ; Pichler, Reinhard ; Sallinger, Emanuel Computational Social Choice in the CloudsKonferenzbeitrag Inproceedings 2017
18Kröll, Markus ; Pichler, Reinhard ; Woltran, Stefan On the Complexity of Enumerating the Extensions of Abstract Argumentation FrameworksKonferenzbeitrag Inproceedings2017
19Creignou, Nadia ; Kröll, Markus ; Pichler, Reinhard ; Skritek, Sebastian ; Vollmer, Heribert On the Complexity of Hard Enumeration ProblemsKonferenzbeitrag Inproceedings2017
20Pfandler, Andreas ; Endres, Markus Workshop Präferenzen und Personalisierung in der Informatik (PPI17)Konferenzbeitrag Inproceedings2017