International Workshop on Description Logics

Event name
International Workshop on Description Logics
 
Event type
Event for scientific audience
 
Start date
17-07-2014
End date
20-07-2014
 
Location
Wien
Wien
Country
Austria
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

Results 1-4 of 4 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Lukumbuzya, Sanja Answer Set Programs Challenged by OntologiesKonferenzbeitrag Inproceedings 2019
2Cauli, 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
3Calvanese, Diego ; Kotek, Tomer ; Simkus, Mantas ; Veith, Helmut ; Zuleger, Florian Shape and Content: Incorporating Domain Knowledge into Shape AnalysisKonferenzbeitrag Inproceedings2014
4Kotek, Tomer ; Simkus, Mantas ; Veith, Helmut ; Zuleger, Florian Towards a Description Logic for Program Analysis: Extending ALCQIO with ReachabilityKonferenzbeitrag Inproceedings2014