Tallenna
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.
- Alaotsikko
- From Foundations and Definitions to Algorithms and Analysis
- Kirjailija
- Ralf Küsters
- Painos
- 2001 ed.
- ISBN
- 9783540423973
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 25.7.2001
- Sivumäärä
- 254
