Téléchargez le livre : A Proof Theory for Description Logics
eBook Téléchargement , DRM LCP 🛈 DRM Adobe 🛈
Lecture en ligne (streaming)
52,74 €
Téléchargement immédiat
Dès validation de votre commande
Ajouter à ma liste d'envies
Image Louise Reader présentation

Louise Reader

Lisez ce titre sur l'application Louise Reader.

badge apple Application Louise Reader
badge Android Application Louise Reader
Description

Description Logics (DLs) is a family of formalisms used to represent knowledge of a domain. They are equipped with a formal logic-based semantics. Knowledge representation systems based on description logics provide various inference capabilities that deduce implicit knowledge from the explicitly represented knowledge.
A Proof Theory for Description Logics introduces Sequent Calculi and Natural Deduction for some DLs (ALC, ALCQ). Cut-elimination and Normalization are proved for the calculi. The author argues that such systems can improve the extraction of computational content from DLs proofs for explanation purposes.
Pages
106 pages
Collection
SpringerBriefs in Computer Science
Parution
2012-05-17
Marque
Springer
EAN papier
9781447140016
EAN EPUB
9781447140023
Informations sur l'ebook
Nombre pages copiables
1
Nombre pages imprimables
10
Taille du fichier
2458 Ko
Ce livre est accessible aux handicaps Voir les informations sur l'accessibilité
Prix
52,74 €

Suggestions personnalisées