Quantifier Elimination over Real Closed Fields
Mathematical Basis, Solution Techniques, Practical Integrations
(Sprache: Englisch)
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...
Leider schon ausverkauft
versandkostenfrei
Buch
59.00 €
Produktdetails
Produktinformationen zu „Quantifier Elimination over Real Closed Fields “
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.
Klappentext zu „Quantifier Elimination over Real Closed Fields “
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.
Autoren-Porträt von Claudia Schultz, Ralf Moeller
Dr. Ralf Moelleris Professor for Computer Science at the Hamburg Universityof Technology (TUHH) since 2003. In 1996, he received thedegree Dr. rer. nat. from the University of Hamburg; and hesuccessfully submitted his Habilitation thesis in 2001 also atthe University of Hamburg. He was the co-organizer ofseveral international workshops on description logics and isthe author of numerous workshop and conference papers aswell as several book and journal contributions in thisresearch area. In 2006 he became the leader of the TUHHgroup of the EC-funded project BOEMIE investigatingontology-learning from interpreting multimedia documents.
Bibliographische Angaben
- Autoren: Claudia Schultz , Ralf Moeller
- 2007, 124 Seiten, Maße: 17 x 24 cm, Kartoniert (TB), Englisch
- Verlag: VDM Verlag Dr. Müller
- ISBN-10: 383641306X
- ISBN-13: 9783836413060
Sprache:
Englisch
Kommentar zu "Quantifier Elimination over Real Closed Fields"
0 Gebrauchte Artikel zu „Quantifier Elimination over Real Closed Fields“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Quantifier Elimination over Real Closed Fields".
Kommentar verfassen