Talks and Poster Presentations (with Proceedings-Entry):
T. Kotek, M. Simkus, H. Veith, F. Zuleger:
"Towards a Description Logic for Program Analysis: Extending ALCQIO with Reachability";
Keynote Lecture: International Workshop on Description Logics,
Wien;
2014-07-17
- 2014-07-20; in: "International Workshop on Description Logics",
(2014),
4 pages.
Electronic version of the publication:
http://ceur-ws.org/Vol-1193/paper_35.pdf
Created from the Publication Database of the Vienna University of Technology.