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-20 of 24 (Search time: 0.003 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Pichler, Reinhard ; Skritek, Sebastian Tractable counting of the answers to conjunctive queriesArtikel Article2013
2Roth, Armin ; Skritek, Sebastian ; Kolaitis, Phokion G. ; Lenzerini, Maurizio ; Schweikardt, Nicole Peer Data ManagementKonferenzbeitrag Inproceedings 2013
3Letelier, Andrés ; Pérez, Jorge ; Pichler, Reinhard ; Skritek, Sebastian Static Analysis and Optimization of Semantic Web QueriesArtikel Article2013
4Pichler, Reinhard ; Polleres, Axel ; Skritek, Sebastian ; Woltran, Stefan Complexity of redundancy detection on RDF graphs in the presence of rules, constraints, and queriesArtikel Article 2013
5Fellows, Michael R. ; Pfandler, Andreas ; Rosamond, Frances A. ; Rümmele, Stefan ; Hoffmann, Jörg ; Selman, Bart The Parameterized Complexity of AbductionKonferenzbeitrag Inproceedings 2012
6Lackner, Martin ; Pichler, Reinhard ; Rümmele, Stefan ; Woltran, Stefan ; Lin, Guohui Multicut on Graphs of Bounded Clique-WidthKonferenzbeitrag Inproceedings 2012
7Lackner, Martin ; Pfandler, Andreas ; Brewka, Gerd ; Eiter, Thomas ; McIlraith, Sheila Fixed-Parameter Algorithms for Finding Minimal ModelsKonferenzbeitrag Inproceedings 2012
8Erdély, Gabor ; Lackner, Martin ; Pfandler, Andreas ; Brandt, Felix ; Faliszewski, Piotr The Complexity of Nearly Single-Peaked ConsistencyKonferenzbeitrag Inproceedings 2012
9Creignou, Nadia ; Papini, Odile ; Pichler, Reinhard ; Woltran, Stefan ; Brewka, Gerd ; Eiter, Thomas ; McIlraith, Sheila Belief Revision within Fragments of Propositional LogicKonferenzbeitrag Inproceedings 2012
10Dvořák, Wolfgang ; Pichler, Reinhard ; Woltran, Stefan Towards fixed-parameter tractable algorithms for abstract argumentationArtikel Article2012
11Pichler, Reinhard ; Rümmele, Stefan ; Szeider, Stefan ; Woltran, Stefan Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth is not EnoughPreprint Preprint2012
12Dvorak, Wolfgang ; Pichler, Reinhard ; Woltran, Stefan Towards Fixed-Parameter Tractable Algorithms for Abstract ArgumentationBericht Report2011
13Dvorak, Wolfgang ; Dunne, Paul E. ; Woltran, Stefan ; Walsh, Toby Parametric Properties of Ideal SemanticsKonferenzbeitrag Inproceedings 2011
14Pichler, Reinhard ; Skritek, Sebastian ; Milo, Tova The Complexity of Evaluating Tuple Generating DependenciesKonferenzbeitrag Inproceedings2011
15Pichler, Reinhard ; Rümmele, Stefan ; Woltran, Stefan ; Calamoneri, Tiziana ; Diaz, Josep Multicut Algorithms via Tree DecompositionsKonferenzbeitrag Inproceedings 2010
16Dvorak, Wolfgang ; Pichler, Reinhard ; Woltran, Stefan ; Lin, Fangzhen ; Sattler, Ulrike ; Truszczynski, Miroslaw Towards Fixed-Parameter Tractable Algorithms for ArgumentationKonferenzbeitrag Inproceedings2010
17Egly, Uwe ; Gaggl, Sarah ; Woltran, Stefan Answer-Set Programming Encodings for Argumentation FrameworksArtikel Article2010
18Delgrande, James P. ; Schaub, Torsten ; Tompits, Hans ; Woltran, Stefan ; Hill, Patricia M. ; Warren, David S. Merging Logic Programs under Answer Set SemanticsKonferenzbeitrag Inproceedings2009
19Jakl, Michael ; Pichler, Reinhard ; Woltran, Stefan ; Boutilier, Craig Answer-Set Programming with Bounded Tree WidthKonferenzbeitrag Inproceedings 2009
20Dvořák, Wolfgang ; Gottlob, Georg ; Pichler, Reinhard ; Woltran, Stefan ; Porto, Antonio ; Lopez-Fraguas, Francisco J. Alternation as a programming paradigmKonferenzbeitrag Inproceedings 2009