Fourth Latin American Workshop on Non-Monotonic Reasoning
Book title Buchtitel
Fourth Latin American Workshop on Non-Monotonic Reasoning
Editor Herausgeber_in
Publisher Herausgeber
CEUR Workshop Proceedings
Place of publishing Erscheinungsort
408
Series Schriftenreihe
CEUR Workshop Proceedings
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Ortiz de la Fuente, M.Magdalena ; Osorio, Mauricio ; Olmos, Ivan | An Automata-based algorithm for description logics around SRIQ | Konferenzbeitrag Inproceedings  | 2008 |