The Parameterized Complexity of Reasoning Problems

View Statistics Email Alert RSS Feed

Primary Data

Project Acronym Projekt Kurzbezeichnung
Complex Reason
 
Project Title (de) Projekttitel (de)
The Parameterized Complexity of Reasoning Problems
 
Project Title (en) Projekttitel (en)
The Parameterized Complexity of Reasoning Problems
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in
 

Grants

Funder/Funding Agency Fördergeber
Europäischer Forschungsrat (ERC)
Grant number Förderkennnummer
239962
 

Publications

Filter:
Subject:  Artificial Intelligence

Results 1-7 of 7 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Gaspers, Serge ; Szeider, Stefan Guarantees and limits of preprocessing in constraint satisfaction and reasoningArtikel Article2014
2PICHLER, REINHARD ; RÜMMELE, STEFAN ; SZEIDER, STEFAN ; WOLTRAN, STEFAN Tractable answer-set programming with weight constraints: bounded treewidth is not enoughArtikel Article2014
3Ordyniak, S. ; Szeider, S. Parameterized Complexity Results for Exact Bayesian Network Structure LearningArtikel Article 2013
4Dvořák, Wolfgang ; Ordyniak, Sebastian ; Szeider, Stefan Augmenting Tractable Fragments of Abstract ArgumentationArtikel Article2012
5PICHLER, REINHARD ; RÜMMELE, STEFAN ; SZEIDER, STEFAN ; WOLTRAN, STEFAN Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth is not EnoughArtikel Article2012
6Kim, Eun Jung ; Ordyniak, Sebastian ; Szeider, Stefan Algorithms and Complexity Results for Persuasive ArgumentationArtikel Article2011
7Atserias, A. ; Fichte, J. K. ; Thurley, M. Clause-learning algorithms with many restarts and bounded-width resolutionArtikel Article2011