A Proof Theory for Description Logics - Rademaker, Alexandre
- Format: Broché
- 106 pages Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtreLivre de poche¿Expédition depuis la Chine; Livraison sous 8-12 jours
Nos autres offres
-
81,76 €
Produit Neuf
Ou 20,44 € /mois
- Livraison : 25,00 €
- Livré entre le 8 et le 13 août
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.
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur A Proof Theory For Description Logics Format Broché - Livre Informatique
0 avis sur A Proof Theory For Description Logics Format Broché - Livre Informatique
Donnez votre avis et cumulez 5
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
A Likely Lad
Neuf dès 32,85 €
Occasion dès 12,00 €
-
Understanding Understanding
Neuf dès 30,77 €
Occasion dès 278,99 €
-
The Main
Neuf dès 22,04 €
Occasion dès 34,99 €
-
Volllust | 22 Erotische Geschichten
Neuf dès 18,97 €
Occasion dès 47,99 €
-
Heretics Of Dune
Occasion dès 28,99 €
-
Spanish Classics For Guitar In Tablature
Neuf dès 19,43 €
Occasion dès 59,99 €
-
Nightmares In The Sky: Gargoyles And Grotesques
Occasion dès 25,00 €
-
Saturnine
2 avis
Neuf dès 15,64 €
Occasion dès 34,99 €
-
$100m Offers Summary And Workbook: How To Make Offers So Good People Feel Stupid Saying No
Occasion dès 14,30 €
-
Douglas Propliners: Dc-1 To Dc-7
1 avis
Occasion dès 12,00 €
-
Babars French Lessons (Babar Books)
Occasion dès 24,69 €
-
The Trigger Point Therapy Workbook: Your Self -Treatment Guide For Pain Relief: Your Self-Treatment For Pain Relief
Occasion dès 30,68 €
-
Complete Japanese Joinery : A Handbook Of Japanese Tool Use And Woodworking For Joiners And Carpenters
Neuf dès 27,67 €
Occasion dès 316,99 €
-
Una Grammatica Italiana Per Tutti 2 - Regole D'uso, Esercizi E Chiavi Per Studenti Stranieri - Volume 2: Livello Intermedio
1 avis
Occasion dès 16,74 €
-
Cien Años De Soledad
6 avis
Occasion dès 11,99 €
-
La Bible En 365 Jours: Plan De Lecture Chronologique (Lire La Bible) (French Edition)
Occasion dès 16,00 €
-
Influence, New And Expanded Uk
Neuf dès 30,61 €
Occasion dès 21,29 €
-
Impossible
Neuf dès 26,12 €
Occasion dès 15,88 €
-
Halloween Night Ii (Point Horror Series)
Occasion dès 26,99 €
-
Warriors: Battles Of The Clans
Neuf dès 22,78 €
Occasion dès 14,77 €
Produits similaires
Présentation A Proof Theory For Description Logics Format Broché
- Livre InformatiqueAuteur(s) : Rademaker, AlexandreEditeur : Springer-Verlag London Ltd.Langue : AnglaisParution : 01/05/2012Format : Moyen, de 350g à 1kgNombre de pages : 106Expédition : 196Dimensions : 24.8...
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
Personne responsable dans l'UE