[email protected]
Nous vous répondrons dans les 24 heures
La Poste Autrichienne 5.99 €
Coursier DPD 6.49 €
Service de messagerie GLS 4.49 €
Contact
Comment faire ses achats
Assistance
Livraison
La Poste Autrichienne 5.99 €
Coursier DPD 6.49 €
Service de messagerie GLS 4.49 €
Guide d'achat
Nous sommes à votre disposition !
[email protected]
Mon compte
Accédez à une communauté d'amateurs de livres à travers le monde et bénéficiez d’une panoplie d'avantages.
Créer un compte gratuitement
▸
Vide :-(
0
Proof Theory for Description Logics
Langue
Anglais
Anglais
Livre
Livre de poche
Description Logics (DLs) is a family of formalisms used to represent knowledge of a domain. They are...
Description détaillée
Code Libristo: 01425944
?
142 b
142 b
60.15
€
včetně DPH
Sur commande auprès de l’éditeur
Expédition sous 3-5 jours
common.delivery_to
common.delivery_to
Politique de retour sous 30 jours
Ceci pourrait également vous intéresser
Description Logics (DLs) is a family of formalisms used to represent knowledge of a domain. They are equipped with a formal logic-based semantic. 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 du livre
Nom complet
Proof Theory for Description Logics
Auteur
Alexandre Rademaker
Langue
Anglais
Anglais
Reliure
Livre - Livre de poche
Date de parution
2012
Nombre de pages
106
EAN
9781447140016
ISBN
144714001X
Code Libristo
01425944
Éditeurs
Springer London Ltd
Poids
192
Dimensions
155 x 235 x 20
