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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
