Proceedings of the 30th International Workshop on Description Logics
Book title Buchtitel
Proceedings of the 30th International Workshop on Description Logics
Editor Herausgeber_in
Publisher Herausgeber
CEUR Workshop Proceedings
Place of publishing Erscheinungsort
1879
Series Schriftenreihe
CEUR Workshop Proceedings
Results 1-4 of 4 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Bajraktari, Labinot ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Artale, Alessandro ; Glimm, Birte ; Kontchakov, Roman | Clopen Knowledge Bases: Combining Description Logics and Answer Set Programming | Konferenzbeitrag Inproceedings  | 2017 | |
| 2 | Labai, Nadia ; Homola, Martin ; Ortiz de la Fuente, M.Magdalena ; Artale, Alessandro ; Glimm, Birte ; Kontchakov, Roman | Constructive Satisfiability Procedure for ALCP(Z) (Preliminary Report) | Konferenzbeitrag Inproceedings | 2017 | |
| 3 | Ibanez Garcia, Yazmin Angelica ; Gutierrez-Basulto, Victor ; Jung, Jean Chistoph | Number Restrictions on Transitive Roles in Description Logics with Nominals | Konferenzbeitrag Inproceedings | 2017 | |
| 4 | Gutierrez-Basulto, Victor ; Ibanez Garcia, Yazmin Angelica ; Jung, Jean Chistoph | On Query Answering in Description Logics with Number Restrictions on Transitive Roles | Konferenzbeitrag Inproceedings | 2017 |