Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence
 
Editor Herausgeber_in
 

Publications Publikationen

Results 1-7 of 7 (Search time: 0.002 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Calvanese, Diego ; Carbotta, Domenico ; Ortiz de la Fuente, M.Magdalena ; Walsh, Toby A Practical Automata-Based Technique for Reasoning in Expressive Description LogicsKonferenzbeitrag Inproceedings 2011
2Ordyniak, Sebastian ; Szeider, Stefan ; Walsh, Toby Augmenting Tractable Fragments of Abstract ArgumentationKonferenzbeitrag Inproceedings 2011
3Fichte, Johannes ; Szeider, Stefan ; Walsh, Toby Backdoors to Tractable Answer-Set ProgrammingKonferenzbeitrag Inproceedings 2011
4Calvanese, Diego ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Walsh, Toby Containment of Regular Path Queries under Description Logic ConstraintsKonferenzbeitrag Inproceedings 2011
5Brewka, Gerd ; Eiter, Thomas ; Fink, Michael ; Weinzierl, Antonius ; Walsh, Toby Managed Multi-Context SystemsKonferenzbeitrag Inproceedings 2011
6Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Rudolph, Sebastian ; Walsh, Toby Query Answering in the Horn Fragments of the Description Logics SHOIQ and SROIQKonferenzbeitrag Inproceedings 2011
7Arieli, Ofer ; Avron, Arnon ; Zamansky, Anna What is an ideal logic for reasoning with inconsistency?Konferenzbeitrag Inproceedings 2011