Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Proof Theory for Description Logics

Name: Proof Theory for Description Logics
Brand: Springer London Ltd
SKU: 01425944
Price: 59.99 EUR
Availability: InStock
Author: Alexandre Rademaker
ISBN: 9781447140016

Alexandre Rademaker

Lingua

Inglese

Libro In brossura

Codice Libristo: 01425944

Casa editrice Springer London Ltd, maggio 2012

Description Logics (DLs) is a family of formalisms used to represent knowledge of a domain. They are... Descrizione completa

Codice Libristo: 01425944

147 b

59.99 €

Presso l'editore su ordinazione Inviamo tra 17-27 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

True Love Kai-Uwe Freudenberger

In brossura

7.59 €

Lucky Luke - Western Circus René Goscinny

Rigido

13.39 €

Les Fievres d'Acces Dans La Vallee de Lutzelbourg Meurthe Schwing-N-P

In brossura

13.19 €

Manipulacion del Producto Pesquero a Bordo de Las Embarcaciones Fabián Chavarría Solera

In brossura

36.49 €

Das Glucksmilieu oder die Illusion des ICH Pepe Holzer

Rigido

21.79 €

Solo Vonda Shepard

CD audio

23.89 €

Peter Tutt: Zustande In Amerika (1862) Adelbert Baudissin

In brossura

31.79 €

Les Chamanes de la préhistoire ((Réédition)) Jean Clottes

In brossura

12.09 €

Návrat Krále Šumavy Žák David Jan

CD audio

13.89 €

UVA ALIMENTOS SANOS VALPIANA

Libro

6.79 €

Súvislosti Pavol Stanislav

In brossura

3.79 €

Tonio et son ami magique Meilliez

In brossura

17.09 €

Elora im Tal der Elfen Renate Schweitzer

In brossura

11.39 €

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.