Tell your friends about this item:
Non-standard Inferences in Description Logics: from Foundations and Definitions to Algorithms and Analysis - Lecture Notes in Computer Science Ralf Kusters 2001 edition
Non-standard Inferences in Description Logics: from Foundations and Definitions to Algorithms and Analysis - Lecture Notes in Computer Science
Ralf Kusters
This volume, which is a revised version of the author's PhD thesis, provides a formal foundation of the most prominent non-standard inferences. The descriptions given include precise definitions, complete algorithms and thorough complexity analysis.
264 pages, biography
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | July 25, 2001 |
| ISBN13 | 9783540423973 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 264 |
| Dimensions | 156 × 234 × 14 mm · 371 g |
| Language | English |