Spar
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.
- Undertittel
- From Foundations and Definitions to Algorithms and Analysis
- Forfatter
- Ralf Küsters
- Opplag
- 2001 ed.
- ISBN
- 9783540423973
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 25.7.2001
- Antall sider
- 254
