Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence (IJCAI-09)
Book title Buchtitel
Proceedings of the Twenty-First International Joint Conference on Artificial Intelligence (IJCAI-09)
Editor Herausgeber_in
Publisher Herausgeber
AAAI Press
Results 1-3 of 3 (Search time: 0.001 seconds).
Preview | Authors / Editors | Title | Type | Issue Date | |
---|---|---|---|---|---|
1 | Eiter, Thomas ; Simkus, Mantas ; Boutilier, Craig | Bidirectional Answer Set Programs with Function Symbols | Konferenzbeitrag Inproceedings | 2009 | |
2 | Eiter, Thomas ; Lutz, Carsten ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Boutilier, Craig | Query Answering in Description Logics with Transitive Roles | Konferenzbeitrag Inproceedings | 2009 | |
3 | Calvanese, Diego ; Eiter, Thomas ; Ortiz de la Fuente, M.Magdalena ; Boutilier, Craig | Regular Path Queries in Expressive Description Logics with Nominals | Konferenzbeitrag Inproceedings | 2009 |