Proof Theory for Description Logics

Name: Proof Theory for Description Logics
Brand: Springer London Ltd
SKU: 9781447140016
Price: 293.49 RON
Availability: InStock

Autor: Alexandre Rademaker

Limbă:

Legare: Carte broșată

Editura: Springer London Ltd

Disponibilitate: La editor doar la comandă

Expediem în 17-27 zile

293.49 lei

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

Informații despre carte

Autor

Alexandre Rademaker

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2012

Pagini

106

EAN

9781447140016

ISBN

144714001X

Enbook ID

01425944

Editura

Springer London Ltd

Greutate

192

Dimensiuni

155 x 235 x 20

Descriere completă

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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Proof Theory for Description Logics

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și