Téléchargez le livre : A Proof Theory for Description Logics

A Proof Theory for Description Logics

de

Paru le : 2012-05-17

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 re...
Voir tout
Ce livre est accessible aux handicaps Voir les informations d'accessibilité
Ebook téléchargement , DRM LCP 🛈 DRM Adobe 🛈
Compatible lecture en ligne (streaming)
52,74 €
Ajouter à ma liste d'envies
Téléchargement immédiat
Dès validation de votre commande
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 du livre


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.

À propos

Auteur
Alexandre Rademaker
Éditeur
Springer
Collection
SpringerBriefs in Computer Science
Parution
2012-05-17
Pages
106 pages
EAN papier
9781447140016

Auteur(s) du livre


Defaut-Illustration Alexandre Rademaker

Caractéristiques détaillées - droits

EAN EPUB
9781447140023
Prix
52,74 €
Nombre pages copiables
1
Nombre pages imprimables
10
Taille du fichier
2458 Ko
Ce livre est accessible aux handicaps informations d'accessibilité

Suggestions personnalisées