International Workshop on Description Logics
Event name
International Workshop on Description Logics
Start date
17-07-2014
End date
20-07-2014
Location
Wien
Country
Austria
Event format Veranstaltungsformat
On Site
Results 1-4 of 4 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Lukumbuzya, Sanja ; Simkus, Mantas ; Weddell, Grant | Answer Set Programs Challenged by Ontologies | Konferenzbeitrag Inproceedings  | 2019 | |
| 2 | Cauli, Claudia ; Ortiz de la Fuente, M.Magdalena ; Piterman, Nir | Closed- and Open-world Reasoning in DL-Lite for Cloud Infrastructure Security (Extended Abstract) | Konferenzbeitrag Inproceedings | 2021 | |
| 3 | Calvanese, Diego ; Kotek, Tomer ; Simkus, Mantas ; Veith, Helmut ; Zuleger, Florian | Shape and Content: Incorporating Domain Knowledge into Shape Analysis | Konferenzbeitrag Inproceedings | 2014 | |
| 4 | Kotek, Tomer ; Simkus, Mantas ; Veith, Helmut ; Zuleger, Florian | Towards a Description Logic for Program Analysis: Extending ALCQIO with Reachability | Konferenzbeitrag Inproceedings | 2014 |