Gå direkt till innehållet
Non-Standard Inferences in Description Logics
Spara

Non-Standard Inferences in Description Logics

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.
Undertitel
From Foundations and Definitions to Algorithms and Analysis
Författare
Ralf Küsters
Upplaga
2001 ed.
ISBN
9783540423973
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2001-07-25
Sidor
254