Apres acceptation de la commande, le delai moyen d'expedition depuis le Japon est de 48 heures. Le delai moyen de livraison est de 3 a 4 semaines. En cas de circonstances exceptionnelles, les delais peuvent s'etendre jusqu'à 2 mois.

Vous avez choisi le retrait chez le vendeur à

Payez directement sur Rakuten (CB, PayPal, 4xCB...)
Récupérez le produit directement chez le vendeur
Rakuten vous rembourse en cas de problème

Terminer ma commande

Gratuit et sans engagement

Félicitations !

Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !

TROUVER UN MAGASIN

Adresse

Retour

Horaires

Note :

Avis sur A Proof Theory For Description Logics de Alexandre Rademaker Format Broché - Livre Informatique

Note : 0 0 avis sur A Proof Theory For Description Logics de Alexandre Rademaker Format Broché - Livre Informatique

Donnez votre avis

Donnez votre avis sur ce produit

Votre note * : 1/5 2/5 3/5 4/5 5/5 Veuillez donner une note au produit

Le titre de votre avis* : Saisissez un titre

Quelques conseils :

Donnez le ton de votre avis, résumez-le en quelques mots qui apparaîtront comme le titre de votre avis.

Votre avis* : (40 caractères minimum) Saisissez un avis

Quelques conseils :

N'hésitez pas à mettre en avant les caractéristiques de ce produit, n'oubliez pas de mentionner ses avantages et/ou ses défauts éventuels. Décrivez précisément, argumentez, soyez convaincant !

Annuler

Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.

Produits similaires

Présentation A Proof Theory For Description Logics de Alexandre Rademaker Format Broché
- Livre Informatique

Livre Informatique - Alexandre Rademaker - 01/05/2012 - Broché - Langue : Anglais

Auteur(s) : Alexandre Rademaker

Editeur : Springer-Verlag London Ltd.

Langue : Anglais

Parution : 01/05/2012

Format : Moyen, de 350g à 1kg

Nombre de pages : 106

Expédition : 196

Dimensions : 24.8 x 16.1 x 2.0

ISBN : 144714001X

Résumé :

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.

Sommaire:

Introduction.- Background.- Sequent Calculus for ALC.- Comparing SCalc with other ALC Deduction Systems.- Natural Deduction for ALC.-?A Proof Theory for ALCQI.- Proofs and Explanations.- A Prototype Theorem Prover.- Conclusion.

Détails de conformité du produit

Consulter les détails de conformité de ce produit (

Personne responsable dans l'UE

)

A Proof Theory for Description Logics - Alexandre Rademaker

Avis sur A Proof Theory For Description Logics de Alexandre Rademaker Format Broché - Livre Informatique

Présentation A Proof Theory For Description Logics de Alexandre Rademaker Format Broché - Livre Informatique

Présentation A Proof Theory For Description Logics de Alexandre Rademaker Format Broché
- Livre Informatique