Thirty-First AAAI Conference on Artificial Intelligence (AAAI-17)
Event name
Thirty-First AAAI Conference on Artificial Intelligence (AAAI-17)
Start date
04-01-2017
End date
09-01-2017
Location
San Francisco, California, USA
Country
Event format Veranstaltungsformat
On Site
Date issued
Results 1-4 of 4 (Search time: 0.003 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Redl, Christoph | Efficient Evaluation of Answer Set Programs with External Sources Based on External Source Inlining | Konferenzbeitrag Inproceedings  | 2017 | |
| 2 | Gutierrez-Basulto, Victor ; Ibanez Garcia, Yazmin Angelica ; Jung, Jean Chistoph | Number Restrictions on Transitive Roles in Description Logics with Nominals | Konferenzbeitrag Inproceedings | 2017 | |
| 3 | Redl, Christoph | On Equivalance and Inconsistency of Answer Set Programs with External Sources | Konferenzbeitrag Inproceedings | 2017 | |
| 4 | Diller, Martin ; Linsbichler, Thomas ; Woltran, Stefan ; Brewka, Gerhard ; Heissenberger, Georg | Solving Advanced Argumentation Problems with Answer-Set Programming | Konferenzbeitrag Inproceedings | 2017 |