Book title Buchtitel
AAAI-08/IAAI-08 Proceedings
 
Editor Herausgeber_in
 
Publisher Verlag
AAAI Press
 
Place of publishing Erscheinungsort
Volume 3
 

Publications Publikationen

Results 1-3 of 3 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Gebser, Martin ; Puehrer, Joerg ; Schaub, Torsten ; Tompits, Hans A Meta-Programming Technique for Debugging Answer-Set ProgramsKonferenzbeitrag Inproceedings 2008
2Gottlob, Georg ; Pichler, Reinhard ; Wei, Fang Abduction with Bounded Treewidth: From Theoretical Tractability to Practically Efficient ComputationKonferenzbeitrag Inproceedings 2008
3Truszczynski, Miroslaw ; Woltran, Stefan Hyperequivalence of Logic Programs with Respect to Supported ModelsKonferenzbeitrag Inproceedings 2008