The Twenty-Third AAAI Conference on Artificial Intelligence and the Twentieth Innovative Applications of Artificial Intelligence Conference
Event name
The Twenty-Third AAAI Conference on Artificial Intelligence and the Twentieth Innovative Applications of Artificial Intelligence Conference
Start date
13-07-2008
End date
17-07-2008
Location
Chicago, USA
Country
Event format Veranstaltungsformat
On Site
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 |