30th International Workshop on Description Logics
Event name
30th International Workshop on Description Logics
Start date
18-07-2017
End date
21-07-2017
Location
Montpellier, France
Country
Event format Veranstaltungsformat
On Site
Results 1-2 of 2 (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 |