AAAI-08/IAAI-08 Proceedings
Book title Buchtitel
AAAI-08/IAAI-08 Proceedings
Editor Herausgeber_in
Publisher Herausgeber
AAAI Press
Place of publishing Erscheinungsort
Volume 3
Date issued
Results 1-3 of 3 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Gebser, Martin ; Puehrer, Joerg ; Schaub, Torsten ; Tompits, Hans ; Fox, Dieter ; Gomes, Carla P. | A Meta-Programming Technique for Debugging Answer-Set Programs | Konferenzbeitrag Inproceedings  | 2008 | |
| 2 | Gottlob, Georg ; Pichler, Reinhard ; Wei, Fang ; Cohn, Anthony ; Hamilton, David M. | Abduction with Bounded Treewidth: From Theoretical Tractability to Practically Efficient Computation | Konferenzbeitrag Inproceedings | 2008 | |
| 3 | Truszczynski, Miroslaw ; Woltran, Stefan ; Cohn, Anthony ; Hamilton, David M. | Hyperequivalence of Logic Programs with Respect to Supported Models | Konferenzbeitrag Inproceedings | 2008 |