Theoretical Tractability vs. Practical Computation

View Statistics Email Alert RSS Feed

Primary Data

Project Acronym Projekt Kurzbezeichnung
TTPC
 
Project Title (de) Projekttitel (de)
Theoretical Tractability vs. Practical Computation
 
Project Title (en) Projekttitel (en)
Theoretical Tractability vs. Practical Computation
 
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
P20704-N18
 

Publications

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

PreviewAuthor(s)TitleTypeIssue Date
1Roth, Armin ; Skritek, Sebastian Peer Data ManagementKonferenzbeitrag Inproceedings 2013
2Fellows, Michael R. ; Pfandler, Andreas ; Rosamond, Frances A. ; Rümmele, Stefan The Parameterized Complexity of AbductionKonferenzbeitrag Inproceedings 2012
3Lackner, Martin ; Pichler, Reinhard ; Rümmele, Stefan ; Woltran, Stefan Multicut on Graphs of Bounded Clique-WidthKonferenzbeitrag Inproceedings 2012
4Lackner, Martin ; Pfandler, Andreas Fixed-Parameter Algorithms for Finding Minimal ModelsKonferenzbeitrag Inproceedings 2012
5Erdély, Gabor ; Lackner, Martin ; Pfandler, Andreas The Complexity of Nearly Single-Peaked ConsistencyKonferenzbeitrag Inproceedings 2012
6Creignou, Nadia ; Papini, Odile ; Pichler, Reinhard ; Woltran, Stefan Belief Revision within Fragments of Propositional LogicKonferenzbeitrag Inproceedings 2012
7Dvorak, Wolfgang ; Dunne, Paul E. ; Woltran, Stefan Parametric Properties of Ideal SemanticsKonferenzbeitrag Inproceedings 2011
8Pichler, Reinhard ; Skritek, Sebastian The Complexity of Evaluating Tuple Generating DependenciesKonferenzbeitrag Inproceedings2011
9Pichler, Reinhard ; Rümmele, Stefan ; Woltran, Stefan Multicut Algorithms via Tree DecompositionsKonferenzbeitrag Inproceedings 2010
10Dvorak, Wolfgang ; Pichler, Reinhard ; Woltran, Stefan Towards Fixed-Parameter Tractable Algorithms for ArgumentationKonferenzbeitrag Inproceedings2010
11Delgrande, James P. ; Schaub, Torsten ; Tompits, Hans ; Woltran, Stefan Merging Logic Programs under Answer Set SemanticsKonferenzbeitrag Inproceedings2009
12Jakl, Michael ; Pichler, Reinhard ; Woltran, Stefan Answer-Set Programming with Bounded Tree WidthKonferenzbeitrag Inproceedings 2009
13Pichler, Reinhard ; Rümmele, Stefan ; Woltran, Stefan Belief Revision with Bounded TreewidthKonferenzbeitrag Inproceedings 2009
14Dvořák, Wolfgang ; Gottlob, Georg ; Pichler, Reinhard ; Woltran, Stefan Alternation as a programming paradigmKonferenzbeitrag Inproceedings 2009
15Faber, Wolfgang ; Woltran, Stefan Manifold Answer-Set Programs for Meta-ReasoningKonferenzbeitrag Inproceedings2009
16Faber, Wolfgang ; Woltran, Stefan A Framework for Programming with Module ConsequencesKonferenzbeitrag Inproceedings 2009
17Faber, Wolfgang ; Woltran, Stefan Manifold Answer-Set Programs for Meta-reasoningKonferenzbeitrag Inproceedings 2009