Proceedings of the 30th International Workshop on Description Logics

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
Proceedings of the 30th International Workshop on Description Logics
 
Editor Herausgeber_in
 
Publisher Verlag
CEUR Workshop Proceedings
 
Place of publishing Erscheinungsort
1879
 
Series Schriftenreihe
CEUR Workshop Proceedings
 

Publications Publikationen

Treffer 1-4 von 4 (Suchzeit: 0.002 Sekunden).

VorschauAutor_in(nen)TitelDokumenttypErscheinungs­datum
1Bajraktari, Labinot ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas Clopen Knowledge Bases: Combining Description Logics and Answer Set ProgrammingKonferenzbeitrag Inproceedings 2017
2Labai, Nadia ; Homola, Martin ; Ortiz de la Fuente, M.Magdalena Constructive Satisfiability Procedure for ALCP(Z) (Preliminary Report)Konferenzbeitrag Inproceedings 2017
3Ibanez Garcia, Yazmin Angelica ; Gutierrez-Basulto, Victor ; Jung, Jean Chistoph Number Restrictions on Transitive Roles in Description Logics with NominalsKonferenzbeitrag Inproceedings 2017
4Gutierrez-Basulto, Victor ; Ibanez Garcia, Yazmin Angelica ; Jung, Jean Chistoph On Query Answering in Description Logics with Number Restrictions on Transitive RolesKonferenzbeitrag Inproceedings 2017