Buch, Englisch, Band 2100, 254 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 406 g
From Foundations and Definitions to Algorithms and Analysis
Buch, Englisch, Band 2100, 254 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 406 g
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-540-42397-3
Verlag: Springer Berlin Heidelberg
This book, which is a revised version of the author's PhD thesis, constitutes a significant step to fill this gap by providing an excellent formal foundation of the most prominent non-standard inferences. The descriptions given include precise definitions, complete algorithms and thorough complexity analysis. With its solid foundation, the book also serves as a basis for future research.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
Weitere Infos & Material
Description Logics.- Non-Standard Inferences.- Characterizing Subsumption.- LCS and MSC.- Matching.- Conclusion.