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 |