Talks and Poster Presentations (with Proceedings-Entry):
M. Ortiz de la Fuente:
"An Automata-based algorithm for description logics around SRIQ";
Talk: Latin American Workshop on Non-Monotonic Reasoning,
Puebla, Mexico;
2008-10-22
- 2008-10-24; in: "Fourth Latin American Workshop on Non-Monotonic Reasoning",
M. Osorio, I. Olmos (ed.);
CEUR Workshop Proceedings,
408
(2008),
ISSN: 1613-0073;
Paper ID 1,
15 pages.
Electronic version of the publication:
http://publik.tuwien.ac.at/files/PubDat_170566.pdf
Created from the Publication Database of the Vienna University of Technology.