Articles liés à A Proof Theory for Description Logics

A Proof Theory for Description Logics - Couverture souple

Rademaker, Alexandre

 
9781447140016: A Proof Theory for Description Logics
Couverture souple
ISBN 10 : 144714001X ISBN 13 : 9781447140016
Editeur : Springer, 2012

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Présentation de l'éditeur

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.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer
Date d'édition
2012
Langue
anglais
ISBN 10 
144714001X
ISBN 13 
9781447140016
Reliure
Broché
Nombre de pages
116
Coordonnées du fabricant
non disponible

Acheter D'occasion

état :  Très bon
Zustand: Sehr gut | Seiten: 106...
Afficher cet article
9781447140016: A Proof Theory for Description Logics
EUR 37,02

Autre devise

EUR 9,90 expédition depuis Allemagne vers France

Destinations, frais et délais

Acheter neuf

Afficher cet article
9781447140016: A Proof Theory for Description Logics
EUR 48,74

Autre devise

EUR 9,70 expédition depuis Allemagne vers France

Destinations, frais et délais

Autres éditions populaires du même titre

9781447140030: A Proof Theory for Description Logics

Edition présentée

ISBN 10 :  1447140036 ISBN 13 :  9781447140030
Editeur : Springer, 2012
Couverture souple

Résultats de recherche pour A Proof Theory for Description Logics

Image d'archives

Alexandre Rademaker
Edité par SPRINGER NATURE, 2012
ISBN 10 : 144714001X ISBN 13 : 9781447140016
Ancien ou d'occasion Couverture souple

Vendeur : Buchpark, Trebbin, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : Sehr gut. Zustand: Sehr gut | Seiten: 106 | Sprache: Englisch | Produktart: Sonstiges. N° de réf. du vendeur 12007945/12

Contacter le vendeur

Acheter D'occasion

EUR 37,02
Autre devise
Frais de port : EUR 9,90
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Alexandre Rademaker
Edité par Springer London, 2012
ISBN 10 : 144714001X ISBN 13 : 9781447140016
Neuf Kartoniert / Broschiert

Vendeur : moluna, Greven, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Kartoniert / Broschiert. Etat : New. N° de réf. du vendeur 4184833

Contacter le vendeur

Acheter neuf

EUR 48,74
Autre devise
Frais de port : EUR 9,70
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Alexandre Rademaker
Edité par SPRINGER NATURE Mai 2012, 2012
ISBN 10 : 144714001X ISBN 13 : 9781447140016
Neuf Taschenbuch
impression à la demande

Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 106 pp. Englisch. N° de réf. du vendeur 9781447140016

Contacter le vendeur

Acheter neuf

EUR 53,49
Autre devise
Frais de port : EUR 11
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Alexandre Rademaker
Edité par Springer London, 2012
ISBN 10 : 144714001X ISBN 13 : 9781447140016
Neuf Taschenbuch

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. N° de réf. du vendeur 9781447140016

Contacter le vendeur

Acheter neuf

EUR 56,98
Autre devise
Frais de port : EUR 10,99
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Alexandre Rademaker
Edité par Springer, 2012
ISBN 10 : 144714001X ISBN 13 : 9781447140016
Neuf Couverture souple

Vendeur : Books Puddle, New York, NY, Etats-Unis

Évaluation du vendeur 4 sur 5 étoiles Evaluation 4 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. pp. 118. N° de réf. du vendeur 2658582740

Contacter le vendeur

Acheter neuf

EUR 75,18
Autre devise
Frais de port : EUR 7,63
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : 4 disponible(s)

Ajouter au panier

Image d'archives

Rademaker, Alexandre
Edité par Springer, 2012
ISBN 10 : 144714001X ISBN 13 : 9781447140016
Neuf Couverture souple
impression à la demande

Vendeur : Brook Bookstore On Demand, Napoli, NA, Italie

Évaluation du vendeur 4 sur 5 étoiles Evaluation 4 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : new. Questo è un articolo print on demand. N° de réf. du vendeur 65c0b231896e841ff43a5bd6edfa11a0

Contacter le vendeur

Acheter neuf

EUR 46,22
Autre devise
Frais de port : EUR 40
De Italie vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Rademaker Alexandre
Edité par Springer, 2012
ISBN 10 : 144714001X ISBN 13 : 9781447140016
Neuf Couverture souple
impression à la demande

Vendeur : Majestic Books, Hounslow, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. Print on Demand pp. 118 16 Illus. N° de réf. du vendeur 51009803

Contacter le vendeur

Acheter neuf

EUR 76,57
Autre devise
Frais de port : EUR 10,24
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : 4 disponible(s)

Ajouter au panier

Image d'archives

Rademaker Alexandre
Edité par Springer, 2012
ISBN 10 : 144714001X ISBN 13 : 9781447140016
Neuf Couverture souple
impression à la demande

Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. PRINT ON DEMAND pp. 118. N° de réf. du vendeur 1858582750

Contacter le vendeur

Acheter neuf

EUR 81,22
Autre devise
Frais de port : EUR 7,95
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 4 disponible(s)

Ajouter au panier

Image d'archives

Rademaker, Alexandre
Edité par Springer Verlag, 2012
ISBN 10 : 144714001X ISBN 13 : 9781447140016
Neuf Paperback

Vendeur : Revaluation Books, Exeter, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Paperback. Etat : Brand New. 106 pages. 9.25x6.20x0.25 inches. In Stock. N° de réf. du vendeur zk144714001X

Contacter le vendeur

Acheter neuf

EUR 90,05
Autre devise
Frais de port : EUR 11,57
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Rademaker, Alexandre
Edité par Springer, 2012
ISBN 10 : 144714001X ISBN 13 : 9781447140016
Ancien ou d'occasion Paperback

Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni

Évaluation du vendeur 4 sur 5 étoiles Evaluation 4 étoiles, En savoir plus sur les évaluations des vendeurs

Paperback. Etat : Like New. Like New. book. N° de réf. du vendeur ERICA796144714001X6

Contacter le vendeur

Acheter D'occasion

EUR 98,89
Autre devise
Frais de port : EUR 28,92
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier