Logic, Language, Information and Computation
Book title Buchtitel
Logic, Language, Information and Computation
Publisher Herausgeber
Springer
Place of publishing Erscheinungsort
7456
Series Schriftenreihe
Lecture Notes in Computer Science
Results 1-2 of 2 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Eiter, Thomas ; Lutz, Carsten ; Ortiz, Magdalena ; Šimkus, Mantas ; Ono, Hiroakira ; Kanazawa, Makoto ; de Queiroz, Ruy J. Guerra B | Query Answering in Description Logics: The Knots Approach | Konferenzbeitrag Inproceedings | 2009 | |
| 2 | Baldi, Paolo ; Ciabattoni, Agata ; Spendier, Lara | Standard Completeness for Extensions of MTL: An Automated Approach | Konferenzbeitrag Inproceedings  | 2012 |