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


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

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

PreviewAuthor(s)TitleTypeIssue Date
1Kronegger, Martin ; Ordyniak, Sebastian ; Pfandler, Andreas Backdoors to planningArtikel Article 2019
2Ganian, Robert ; Kronegger, Martin ; Pfandler, Andreas ; Popa, Alexandru Parameterized Complexity of Asynchronous Border MinimizationArtikel 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
4Carmeli, Nofar ; Kröll, Markus Enumeration Complexity of Conjunctive Queries with Functional DependenciesKonferenzbeitrag Inproceedings2018
5Fichte, Johannes K. ; Hecher, Markus ; Morak, Michael ; Woltran, Stefan Exploiting Treewidth for Projected Model Counting and Its LimitsKonferenzbeitrag Inproceedings 2018
6Csar, Theresa ; Lackner, Martin ; Pichler, Reinhard Computing the Schulze Method for Large-Scale Preference Data SetsKonferenzbeitrag Inproceedings 2018
7Lackner, Martin ; Skowron, Piotr Approval-Based Multi-Winner Rules and Strategic VotingKonferenzbeitrag Inproceedings 2018
8Fischl, Wolfgang ; Gottlob, Georg ; Pichler, Reinhard General and Fractional Hypertree Decompositions: Hard and Easy CasesKonferenzbeitrag Inproceedings 2018
9Lackner, 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
10Lackner, Martin ; Faliszewski, Piotr ; Peters, Dominik ; Talmon, Nimrod Effective Heuristics for Committee Scoring RulesKonferenzbeitrag Inproceedings 2018
11Lackner, Martin ; Skowron, Piotr Consistent Approval-Based Multi-Winner RulesKonferenzbeitrag Inproceedings2018
12Lackner, Martin ; Bredereck, Robert ; Faliszewski, Piotr ; Igarashi, Ayumi ; Skowron, Piotr Multiwinner Elections With Diversity ConstraintsKonferenzbeitrag Inproceedings 2018
13Creignou, Nadia ; Pichler, Reinhard ; Woltran, Stefan Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment?Artikel Article 2018
14Lackner, Martin ; Skowron, Piotr A Quantitative Analysis of Multi-Winner RulesKonferenzbeitrag Inproceedings 2018
15Egly, Uwe ; Kronegger, Martin ; Lonsing, Florian ; Pfandler, Andreas Conformant planning as a case study of incremental QBF solvingArtikel Article 2017
16Bliem, Bernhard ; Pichler, Reinhard ; Woltran, Stefan Implementing Courcelle's Theorem in a declarative framework for dynamic programmingArtikel Article 2017
17Haret, Adrian ; Rümmele, Stefan ; Woltran, Stefan Merging in the Horn FragmentArtikel Article 2017
18Csar, Theresa ; Lackner, Martin ; Pichler, Reinhard ; Sallinger, Emanuel Computational Social Choice in the CloudsKonferenzbeitrag Inproceedings 2017
19Bellomarini, Luigi ; Gottlob, Georg ; Pieris, Andreas ; Sallinger, Emanuel Swift Logic for Big Data and Knowledge GraphsKonferenzbeitrag Inproceedings2017
20Kröll, Markus ; Pichler, Reinhard ; Woltran, Stefan On the Complexity of Enumerating the Extensions of Abstract Argumentation FrameworksKonferenzbeitrag Inproceedings2017