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

PreviewAuthor(s)TitleTypeIssue Date
21Faber, Wolfgang ; Woltran, Stefan Manifold Answer-Set Programs for Meta-ReasoningKonferenzbeitrag Inproceedings2009
22Faber, Wolfgang ; Woltran, Stefan A Framework for Programming with Module ConsequencesKonferenzbeitrag Inproceedings 2009
23Faber, Wolfgang ; Woltran, Stefan Manifold Answer-Set Programs for Meta-reasoningKonferenzbeitrag Inproceedings 2009
24Pichler, Reinhard ; Rümmele, Stefan ; Woltran, Stefan Belief Revision with Bounded TreewidthKonferenzbeitrag Inproceedings 2009