- We will send in 10–14 business days.
/images/books/13188146/9783639406634.jpg)
- Author: Ralf Möller
- Publisher: AV Akademikerverlag
- Year: 2012
- Pages: 124
- ISBN-10: 363940663X
- ISBN-13: 9783639406634
- Format: 15.2 x 22.9 x 0.7 cm, minkšti viršeliai
- Language: English
- SAVE -10% with code: EXTRA
Reviews
Description
Revision with unchanged content. This work investigates the quantifier elimination problem in real closed fields with respect to the application in description logics. The motivation for the investigation in this topic is mainly based on the demand for an extension of description logic systems to support a default concrete domain for non-linear multivariate equations and inequations. The authors provide a literature overview that summarizes main mathematical tools for checking whether a set of non-linear multivariate (in-)equatins is satisfiable (quantifier elimination problem). The authors shortly describe how application examples are handled with a prototype implementation.
EXTRA 10 % discount with code: EXTRA
The promotion ends in 21d.17:24:38
The discount code is valid when purchasing from 10 €. Discounts do not stack.
- Author: Ralf Möller
- Publisher: AV Akademikerverlag
- Year: 2012
- Pages: 124
- ISBN-10: 363940663X
- ISBN-13: 9783639406634
- Format: 15.2 x 22.9 x 0.7 cm, minkšti viršeliai
- Language: English English
Revision with unchanged content. This work investigates the quantifier elimination problem in real closed fields with respect to the application in description logics. The motivation for the investigation in this topic is mainly based on the demand for an extension of description logic systems to support a default concrete domain for non-linear multivariate equations and inequations. The authors provide a literature overview that summarizes main mathematical tools for checking whether a set of non-linear multivariate (in-)equatins is satisfiable (quantifier elimination problem). The authors shortly describe how application examples are handled with a prototype implementation.
Reviews