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:

Created from the Publication Database of the Vienna University of Technology.