Talks and Poster Presentations (with Proceedings-Entry):
D. Calvanese, D. Carbotta, M. Ortiz de la Fuente:
"A Practical Automata-Based Technique for Reasoning in Expressive Description Logics";
Talk: International Joint Conference on Artificial Intelligence (IJCAI),
Barcelona, Spain;
2011-07-16
- 2011-07-22; in: "Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence",
T. Walsh (ed.);
(2011),
ISBN: 978-1-57735-516-8;
798
- 804.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.5591/978-1-57735-516-8/IJCAI11-140
Electronic version of the publication:
http://ijcai.org/papers11/Papers/IJCAI11-140.pdf
Created from the Publication Database of the Vienna University of Technology.