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
 
ISBN
978-1-57735-513-7
 
Editor Herausgeber_in
 
Publisher Herausgeber
AAAI Press/International Joint Conferences on Artificial Intelligence
 
Place of publishing Erscheinungsort
Menlo Park, California
 

Publications Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Calvanese, Diego ; Carbotta, Domenico ; Ortiz de la Fuente, M.Magdalena A Practical Automata-Based Technique for Reasoning in Expressive Description LogicsKonferenzbeitrag Inproceedings 2011
2Ordyniak, Sebastian ; Szeider, Stefan Augmenting Tractable Fragments of Abstract ArgumentationKonferenzbeitrag Inproceedings 2011
3Fichte, Johannes ; Szeider, Stefan Backdoors to Tractable Answer-Set ProgrammingKonferenzbeitrag Inproceedings 2011
4Calvanese, Diego ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas Containment of Regular Path Queries under Description Logic ConstraintsKonferenzbeitrag Inproceedings 2011
5Brewka, Gerd ; Eiter, Thomas ; Fink, Michael ; Weinzierl, Antonius Managed Multi-Context SystemsKonferenzbeitrag Inproceedings 2011
6Ortiz de la Fuente, M.Magdalena ; Rudolph, Sebastian ; Simkus, Mantas 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